From Logic to Functional Logic Programs

Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 22; no. 4; pp. 538 - 554
Main Author:	HANUS, MICHAEL
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2022
Subjects:	Functional programming Language Languages Logic programming Logic programs Mathematical functions Original Article Syntax Transformations (mathematics) narrowing strategies functional logic programming transformation resolution
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!