The witness properties and the semantics of the Prolog cut
From MaRDI portal
Publication:4452589
DOI10.1017/S1471068402001540zbMath1087.68525OpenAlexW2193302029MaRDI QIDQ4452589
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068402001540
Related Items
Evolution of rule-based programs, Proving completeness of logic programs with the cut, A structured alternative to Prolog with simple compositional semantics
Uses Software