Applying SLD-Resolution to a Class of Non-Horn Logic Programs
From MaRDI portal
Publication:4318172
DOI10.1093/jigpal/2.2.229zbMath0823.68016DBLPjournals/igpl/AntoniouL94OpenAlexW1985920221WikidataQ58198180 ScholiaQ58198180MaRDI QIDQ4318172
Grigoris Antoniou, Elmar Langetepe
Publication date: 2 January 1995
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/34bd9355172bb4d0166b137381e254e32d1a5aa6
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Applying SLD-Resolution to a Class of Non-Horn Logic Programs
