Logic and functional programming by retractions

DOI10.1051/ITA/1988220302711MaRDI QIDQ3817574zbMATH OpenOpenAlexFDO

Authors Marco Bellia

Publication date 1988

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92309

zbMATH Keywords

combinatory expressionsfunctional programmingHerbrand universelogic programmingretractions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4037165
• Logic and functional programming by retractions : operational semantics
• Modelling the combination of functional and logic programming languages
• scientific article; zbMATH DE number 1336275
• scientific article; zbMATH DE number 4043306

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Algorithm = logic + control
• Automatic data structure choice in a language of very high level
• Can programming be liberated from the von Neumann style?
• Data Types as Lattices
• Equality, types, modules, and (why not?) generics for logic programming
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3829296 (Why is no real title available?)
• scientific article; zbMATH DE number 3921947 (Why is no real title available?)
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• scientific article; zbMATH DE number 3761371 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• Linear resolution with selection function
• Logic and functional programming by retractions : operational semantics
• NARROWER
• PARLOG: parallel programming in logic
• Recursive functions of symbolic expressions and their computation by machine, Part I
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The relation between logic and functional languages: a survey

Cited in

(4)

• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• Logic and functional programming by retractions : operational semantics
• scientific article; zbMATH DE number 1336275 (Why is no real title available?)
• scientific article; zbMATH DE number 549951 (Why is no real title available?)

Describes a project that uses

Uses Software

• PARLOG
• NARROWER

This page was built for publication: Logic and functional programming by retractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3817574)