Prolog with arrays and bounded quantifications.

Jonas Barklund Johan Bevemyr

Published in: J. Program. Lang. (1996)

Keyphrases

logic programming
expert systems
programming language
knowledge representation
prolog programs
cellular automata
inference engine
constraint logic programming
logic programming language
functional programming
data sets
machine learning
bayesian networks
programming paradigms
minimum redundancy