A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems

DOI10.1007/11737414_11zbMath1185.68151OpenAlexW1819779993MaRDI QIDQ3434630

Manuel V. Hermenegildo, Amadeo Casas, Daniel Cabeza

Publication date: 2 May 2007

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/14350/

zbMATH Keywords

lazy evaluationlogic programmingfunctional programminghigher orderdeclarative languageslogic-functional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (5)

From Logic to Functional Logic Programs ⋮ Description and Optimization of Abstract Machines in a Dialect of Prolog ⋮ Unnamed Item ⋮ Monadic constraint programming ⋮ Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Uses Software

• PowerForms
• HiLog
• BABEL
• Hiord
• Mercury
• SICStus

This page was built for publication: A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems