Failure and Equality in Functional Logic Programming

Constructive failure has been proposed recently as a programming construct useful for functional logic programming, playing a role similar to that of constructive negation in logic programming. On the other hand, almost any functional logic program requires the use of some kind of equality test betw...

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 86; číslo 3; s. 123 - 143
Hlavní autoři:	López-Fraguas, F.J., Sánchez-Hernández, J.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.11.2003
Témata:	Constructive Failure Equality Functional Logic Programming Narrowing Narrowing Functional Logic Programming Constructive Failure Equality
ISSN:	1571-0661, 1571-0661
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!