cTI: A constraint-based termination inference tool for ISO-Prolog.

Frédéric Mesnard Roberto Bagnara

Published in: Theory Pract. Log. Program. (2005)

Keyphrases

inference engine
bayesian networks
knowledge representation
expert systems
logic programming
neural network
knowledge base
programming language
constraint satisfaction
database
probabilistic inference
software tools
memory space
backward chaining