A Method for Implementing Equational Theories as Logic Programs.

Mantis H. M. Cheng Douglas Stott Parker Jr.Maarten H. van Emden

Published in: ICLP (1995)

Keyphrases

logic programs
inside outside algorithm
relational databases
logic programming
inductive logic programming
answer sets
machine learning
background knowledge
answer set programming