Description and Optimization of Abstract Machines in a Dialect of Prolog

DOI10.1017/S1471068414000672zbMath1379.68079arXiv1411.5573MaRDI QIDQ4593018

Manuel V. Hermenegildo, Manuel Carro, Jose Francisco Morales

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.5573

zbMATH Keywords

optimizationprogram transformationcompilationPrologabstract machineslogic languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (1)

Fifty Years of Prolog and Beyond

Uses Software

• wamcc
• Mercury
• Ciao
• CiaoPP
• SICStus
• Python

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compiler construction. 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
• Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers.
• Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.
• An overview of Ciao and its design philosophy
• Optimal union-find in Constraint Handling Rules
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• 1983–1993: The wonder years of sequential Prolog implementation
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Logic Programming

This page was built for publication: Description and Optimization of Abstract Machines in a Dialect of Prolog