How to invent a Prolog machine

DOI10.1007/BF03037460zbMath0614.68020OpenAlexW2103288707MaRDI QIDQ1819928

Peter Kursawe

Publication date: 1987

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037460

zbMATH Keywords

unificationpartial evaluationabstract Prolog machinecompilation of Prologcompiling Prologderiving instruction setshidden operationsWarren's new Prolog engine

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

A self-applicable partial evaluator and its use in incremental compilation, An abstract machine for the implementation of PARLOG on uniprocessors, C-expressions: A variable-free calculus for equational logic programming, Integrating Cross-Dominance Adaptation in Multi-Objective Memetic Algorithms

Cites Work

• Unnamed Item
• Mixed computation: potential applications and problems for study
• On the partial computation principle
• Some global optimizations for a PROLOG compiler