Compilation de Prolog sur une machine de traitement symbolique.

Abderrahmane Aggoun J. Y. Charpentier J. P. Lepape D. Ranson

Published in: SPLT (1987)

Keyphrases

logic programming
knowledge representation
programs written
batch processing
flowshop
knowledge base
objective function
prolog programs
theorem proving
relational databases
real time
website
information systems
computer vision
search engine
learning algorithm
data sets