Compiling Prolog into microcode: a case study using the NCR/32-000.

Barry S. Fagin Yale N. Patt Vason P. Srini Alvin M. Despain

Published in: MICRO (1985)

Keyphrases

case study
logic programming
database
prolog programs
expert systems
knowledge representation
image processing
lower bound
programming language
logic programs
functional programming
backward chaining
constraint logic programming
rule base
multi agent systems
knowledge base
e learning
machine learning