Real-size Compiler Writing Using Prolog with Arrows.

Jean-François Monin

Published in: ICLP (1991)

Keyphrases

programming language
real world
general purpose
knowledge base
real life
data sets
data mining
high level
knowledge representation
logic programming
memory requirements
theorem proving
prolog programs
programs written
abstract machine