A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.

Published in: RCLP (1991)

Keyphrases

programming language
functional programming
expert systems
implementation issues
theorem proving
computer architecture
programs written
databases
highly reliable
implementation details
massively parallel
object level
efficient implementation
logic programming
knowledge base
e learning
search engine