Logic programming with external procedures: Introducing S-unification

DOI10.1016/0020-0190(88)90072-5zbMATH Open0635.68002OpenAlexW2076637867MaRDI QIDQ1097682FDOQ1097682

Authors Jacek Leszczylowski, Staffan Bonnier, Jan Maluszyński 

Publication date 1988

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(88)90072-5

zbMATH Keywords

logic programunification algorithmHorn clause logicrewrite rulesexternal functional proceduresterm reduction system

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 826302
• Unifying theories for logic programming
• Publication:3201744
• Extending SLD resolution to equational horn clauses using E-unification
• scientific article; zbMATH DE number 549963

Cites work

• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• A polymorphic type system for Prolog
• A theory of complete logic programs with equality
• Edinburgh LCF. A mechanized logic of computation
• Horn clause computability
• Logic programming and rapid prototyping
• The relation between logic and functional languages: a survey

Cited in

(3)

• External sources of knowledge and value invention in logic programming
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)

Describes a project that uses

Uses Software

• LCF

This page was built for publication: Logic programming with external procedures: Introducing S-unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1097682)