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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 22; H. 4; S. 538 - 554
1. Verfasser:	HANUS, MICHAEL
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.07.2022
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!