Analyse ascendante d'une grammaire de Montague en PROLOG.

Published in: SPLT (1984)

Keyphrases

logic programming
prolog programs
knowledge representation
expert systems
programming language
abstract machine
knowledge base
backward chaining
wireless sensor networks
case study
logic programs
knowledge based systems
information systems
theorem proving
constraint logic programming
information retrieval
database