XLOG: types, fonctions et tableaux dans Prolog.

D. Sciamma X. Sola Aristide Mégrelis

Published in: SPLT (1985)

Keyphrases

knowledge representation
knowledge base
image processing
expert systems
functional programming
information systems
decision making
web pages
decision trees
multiresolution
programming language
theorem proving
multiple types
decision procedures