Prolog, Refinements and RLGG's.

Published in: ILP (1998)

Keyphrases

logic programming
expert systems
programming language
prolog programs
knowledge representation
database
constraint logic programming
logic programming language
abstract machine
knowledge base
inference engine
backward chaining
explanation based generalization
genetic algorithm
database systems
data structure