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

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 22; číslo 4; s. 538 - 554
Hlavní autor:	HANUS, MICHAEL
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2022
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!