An External Module for Implementing Linear Tabling in Prolog.

Cláudio Silva Ricardo Rocha Ricardo Lopes

Published in: ICLP (2006)

Keyphrases

logic programming
logic programming language
expert systems
knowledge representation
knowledge base
decision trees
data structure
support vector
programming language
simple linear
backward chaining
neural network
transfer function
inference engine
linear model
logic programs
machine learning