A Prolog Implementation of a Large System on a Small Machine.

Luís Moniz Pereira António Porto

Published in: ICLP (1982)

Keyphrases

expert systems
logic programming
small number
efficient implementation
implementation details
functional programming
real time
databases
computer vision
lower bound
implementation issues