A modular and generic analysis server system for functional logic programs.

Michael Hanus Fabian Skrlac

Published in: PEPM (2014)

Keyphrases

logic programs
logic programming
stable models
answer set programming
inductive logic programming
computational properties
normal logic programs
database
background knowledge
answer sets
fixpoint
prolog programs
expressive power