Next:
Introduction
plp
A compiler for logic programs with preferences
James Delgrande
-
Torsten Schaub
-
Hans Tompits
Introduction
Beginner's guide
Remarks.
Getting started
Syntax
Special purpose predicates
Input language
Logical Symbols
Predicates for handling preferences
Internal predicates
Facts and rules
Command predicates
General translations:
System specific translations:
Dynamic Preferences
Examples
Dynamic Preferences with Variables
Command predicates
Examples
Set Preferences
What is the idea behind sets of preferences?
Expressing sets
Command predicates
Examples
Compiling other approaches
Preferences à la Brewka and Eiter
Preferences à la Wang, Zhou, and Lin
The files
Source code
Documentation
Versions of
dlv
and
smodels
What's new?
Troubleshooting
Future gimmicks
Bibliography
About this document ...
Torsten Schaub 2000-12-05