2011; Physical and Mathematical Sciences, 45(3 (226): 40–46
Shared with The Gufo

ON S L D N F-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION

Lusine Sargsyan*

Received: 2025-02-19 · Published: 2011-10-17

© 2011 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
ON S L D N F-RESOLUTION IN LOGIC PROGRAMMING WITH NEGATION
Author
Lusine Sargsyan
Published
2011-10-17
Licence
Creative Commons Attribution 4.0 International

Abstract

The paper is devoted to the logic programming with negation and with built-in predicates. General logic programs (logic programs with negation) and general goals (goals with negation) are considered. Modification of SLDNF-resolution for built-in predicates is introduced. The soundness of modified SLDNF-resolution is proved. SLDNF-resolution used in real systems (practical SLDNF-resolution) is considered and the soundness of practical SLDNF-resolution is proved.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates