Spécification formelle de Prolog standard.

Pierre Deransart C. Moss G. Richard

Published in: SPLT (1987)

Keyphrases

knowledge base
cooperative
expert systems
programming language
real world
artificial intelligence
decision trees
similarity measure
user interface
general purpose
logic programming