Functional-logic integration via minimal reciprocal extensions

DOI10.1016/S0304-3975(98)00136-4zbMath0913.68043MaRDI QIDQ1275622

Harold Boley

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Herbrand modelslogic programmingfunctional programminginnermost conditional narrowingWAM compilation

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• PERL
• HiLog
• Haskell

Cites Work

• Narrowing vs. SLD-resolution
• Oriented equational clauses as a programming language
• HiLog: A foundation for higher-order logic programming
• The integration of functions into logic programming: From theory to practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item