: A Second Generation Logic Programming Language.

Danny De Schreye Maurice Bruynooghe Bart Demoen Marc Denecker Gerda Janssens Bern Martens

Published in: AI Commun. (2000)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
declarative semantics
situation calculus
logic programs
constraint solving
nonmonotonic reasoning
database
programming language
deductive databases