Login / Signup
Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs.
Ludovic Langevine
Mireille Ducassé
Published in:
Theory Pract. Log. Program. (2008)
Keyphrases
</>
logic programs
logic programming
fixpoint
answer set programming
answer sets
stable models
inductive logic programming
background knowledge
computational properties
normal logic programs
partial deduction
description logics
classical logic
prolog programs