PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract).
Gerhard WetzelRobert A. KowalskiFrancesca ToniPublished in: JICSLP (1996)
Keyphrases
- programming language
- constraint language
- co occurrence
- constraint satisfaction
- high level
- modal logic
- cardinality constraints
- constraint solving
- classical logic
- automated reasoning
- object oriented programming
- geometric constraints
- logic programming
- propositional dynamic logic
- constraint networks
- deontic logic
- derivation rules
- computational properties
- semi supervised
- low level
- search space