Towards a Theory of Types in Prolog.

Published in: SLP (1984)

Keyphrases

theoretical basis
knowledge base
website
expert systems
programming language
information theory
computational model
backward chaining
computer vision
conceptual framework
theoretical framework
special case
data structure
multi agent
high level
decision trees
multimedia
web pages