Expériences de parallélisme en Prolog III.

Eric Vétillard

Published in: JFPL (1992)

Keyphrases

knowledge base
logic programming
expert systems
knowledge representation
semantically equivalent
prolog programs
upper bound
programming language
neural network
inference engine
logic programs
database systems
theorem proving
constraint logic programming
case study
functional programming
data mining