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

Grigoris Antoniou, Elmar Langetepe

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

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
Volume2
Issue number2
DOIs
Publication statusPublished - 1 Sep 1994
Externally publishedYes

Fingerprint 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