Logic programming with external procedures: Introducing S-unification

DOI10.1016/0020-0190(88)90072-5zbMath0635.68002OpenAlexW2076637867MaRDI QIDQ1097682

Jacek Leszczylowski, Staffan Bonnier, Jan Małuszyń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)

Uses Software

• LCF

Cites Work

• Unnamed Item
• Unnamed Item
• A polymorphic type system for Prolog
• Logic programming and rapid prototyping
• Edinburgh LCF. A mechanized logic of computation
• A theory of complete logic programs with equality
• The relation between logic and functional languages: a survey
• Horn clause computability

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