Next:
Introduction
User Guide of the SICStus
abduction
module:
Abductive Logic Programming for Prolog
Jiefei Ma (email:
jiefei.ma AT imperial.ac.uk
)
Introduction
Getting Started
Writing an abductive theory file
Loading the abductive system
Importing the abductive theory
Submitting abductive queries
Useful Features
Using constraints over finite domain
Using constraint over reals
Using inequality over logical terms
Forcing the grounding of finite domain variable in the answers
Specifying argument types for abducible (Experimental)
Computing globally minimal answers
Trace Visualisation
Acknowledgement
Bibliography
About this document ...
Jiefei Ma 2011-02-14
