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 (4)

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

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

This page was built for publication: How to invent a Prolog machine