Geodesic
On $SLDNF$-resolution in logic programming with negation
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2011), pp. 40-46.

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: logic programming, negation, built-in predicates, $SLDNF$-resolution, soundness, practical $SLDNF$-resolution. 
@article{UZERU_2011_3_a5,
     author = {L. A. Sargsyan},
     title = {On $SLDNF$-resolution in logic programming with negation},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {40--46},
     publisher = {mathdoc},
     number = {3},
     year = {2011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2011_3_a5/}
}
TY  - JOUR
AU  - L. A. Sargsyan
TI  - On $SLDNF$-resolution in logic programming with negation
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2011
SP  - 40
EP  - 46
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2011_3_a5/
LA  - en
ID  - UZERU_2011_3_a5
ER  - 
%0 Journal Article
%A L. A. Sargsyan
%T On $SLDNF$-resolution in logic programming with negation
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2011
%P 40-46
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2011_3_a5/
%G en
%F UZERU_2011_3_a5
L. A. Sargsyan. On $SLDNF$-resolution in logic programming with negation. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2011), pp. 40-46. http://geodesic.mathdoc.fr/item/UZERU_2011_3_a5/

[1] S.A. Nigiyan, “Horn Programming with Built-in Predicates”, Programming and Computer Software, 22:1 (1996), 19–25 | MR | Zbl

[2] J.W. Lloyd, Foundations of Logic Programming, Springer–Verlag, Berlin, 1984 | MR | Zbl