Logic programming with external procedures: Introducing S-unification
From MaRDI portal
Publication:1097682
DOI10.1016/0020-0190(88)90072-5zbMath0635.68002MaRDI 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 program; unification algorithm; Horn clause logic; rewrite rules; external functional procedures; term reduction system
68N01: General topics in the theory of software
Uses Software
Cites Work