A Generic Analysis Server System for Functional Logic Programs.

Michael Hanus Fabian Reck

Published in: CoRR (2013)

Keyphrases

logic programs
logic programming
fixpoint
inductive logic programming
answer sets
stable models
answer set programming
partial deduction
background knowledge
computational properties
stable model semantics
loop formulas
term rewriting systems