Better Termination for Prolog with Constraints

Markus Triska Ulrich Neumerkel Jan Wielemaker

Published in: CoRR (2009)

Keyphrases

logic programming
expert systems
knowledge representation
programming language
constrained optimization
machine learning
knowledge base
logic programs
mixed integer
constraint logic programming