scientific article; zbMATH DE number 3872643

zbMATH Open0547.68008MaRDI QIDQ3339249FDOQ3339249

Authors: Atanas A. Radensky 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

functional programminglogical programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (14)

• Functional fold based programming in SWI-Prolog
• A note on higher-order functions versus logical variables
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Functional programming with side-effects
• A logic programming language with lambda-abstraction, function variables, and simple unification

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)