Applying SLD-Resolution to a Class of Non-Horn Logic Programs

Grigoris Antoniou, Elmar Langetepe

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


Methods for dealing with a Horn logic program and one goal are well-known and successful. Here we are concerned with treating logic programa enhanced by some negative literals using the same methods, in particular SLD-resolutlon. We describe the approach and show it. correctness. The result can be applied to default reasoning and has some relevance for model elimination based theorem proving.

Original languageEnglish
Pages (from-to)229-241
Number of pages13
JournalLogic Journal of the IGPL
Issue number2
Publication statusPublished - 1 Sep 1994
Externally publishedYes


Dive into the research topics of 'Applying SLD-Resolution to a Class of Non-Horn Logic Programs'. Together they form a unique fingerprint.

Cite this