Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
plp A compiler for logic programs with preferences

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
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