scientific article; zbMATH DE number 3872643

MaRDI QIDQ3339249zbMATH OpenFDO

Authors Atanas A. Radensky

Publication date 1984

zbMATH Keywords

functional programminglogical programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Logic programming, functional programming, and inductive definitions
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• A logic programming language with lambda-abstraction, function variables, and simple unification
• Publication:3210146
• On a Tighter Integration of Functional and Logic Programming

Cited in

(14)

• A logic programming language with lambda-abstraction, function variables, and simple unification
• Functional fold based programming in SWI-Prolog
• A note on higher-order functions versus logical variables
• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• scientific article; zbMATH DE number 4191084 (Why is no real title available?)
• scientific article; zbMATH DE number 1688813 (Why is no real title available?)
• scientific article; zbMATH DE number 4164126 (Why is no real title available?)
• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• scientific article; zbMATH DE number 1336275 (Why is no real title available?)
• Logic programming, functional programming, and inductive definitions
• Modelling the combination of functional and logic programming languages
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 2087601 (Why is no real title available?)
• Functional programming with side-effects

This page was built for publication:

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