Formalisation des structures de contrôle de PROLOG.

Published in: SPLT (1985)

Keyphrases

expert systems
knowledge base
logic programming
database
computer vision
decision making
neural network
data mining
multimedia
similarity measure
special case
knowledge representation
theorem proving
formal analysis
semantically equivalent