ALPprolog --- A New Logic Programming Method for Dynamic Domains

Conrad Drescher Michael Thielscher

Published in: CoRR (2011)

Keyphrases

logic programming
logic programs
knowledge representation
database
databases
knowledge base
first order logic
constraint logic programming
logic programming language