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

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

zbMATH Keywords

logic programunification algorithmHorn clause logicrewrite rulesexternal functional proceduresterm reduction system

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Edinburgh LCF. A mechanized logic of computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of complete logic programs with equality
• The relation between logic and functional languages: a survey
• Horn clause computability
• A polymorphic type system for Prolog
• Logic programming and rapid prototyping

Cited In (3)

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

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)