Functional-logic integration via minimal reciprocal extensions
type: Item
instance of: scholarly article
title: Functional-logic integration via minimal reciprocal extensions
zbMATH Open document ID: 0913.68043
DOI: 10.1016/S0304-3975(98)00136-4
author: Harold Boley
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1238988
zbMATH Keywords: functional programming
zbMATH Keywords: logic programming
zbMATH Keywords: Herbrand models
zbMATH Keywords: innermost conditional narrowing
zbMATH Keywords: WAM compilation
describes a project that uses: PERL
describes a project that uses: Haskell
describes a project that uses: HiLog
MaRDI profile type: Publication
cites work: Narrowing vs. SLD-resolution
cites work: HiLog: A foundation for higher-order logic programming
cites work: Q3716279
cites work: Oriented equational clauses as a programming language
cites work: The integration of functions into logic programming: From theory to practice
cites work: Q3862437
cites work: Q4844168
cites work: Q3339245
description: scientific article; zbMATH DE number 1238988