Prolog et types abstraits algébriques.

Pierre Deransart

Published in: SPLT (1982)

Keyphrases

case study
knowledge representation
programming language
knowledge base
expert systems
prolog programs
image processing
logic programming
inference engine
explanation based generalization