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

Cite this