Logic programming with external procedures: Introducing S-unification
From MaRDI portal
Publication:1097682
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
logic programunification algorithmHorn clause logicrewrite rulesexternal functional proceduresterm reduction system
Uses Software
Cites Work
This page was built for publication: Logic programming with external procedures: Introducing S-unification