Concurrent Prolog: Modèle de calcul et gestion de la mémoire.

Jacques Bellone R. Picca

Published in: SPLT (1986)

Keyphrases

logic programming
knowledge representation
expert systems
prolog programs
knowledge base
theorem proving
abstract machine
logic programs
inference engine
logic programming language
data sets
decision trees
constraint logic programming
long running
concurrent programs