Geodesic
On simple monadic PROLOG interpreter
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2001), pp. 40-48.

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

In this paper we discuss questions concerning transformations of PROLOG-programs and PROLOG-queries intended for extension of intellectual abilities of the interpreter. Some subset of simple monadic PROLOG is considered. It is proved that one cannot transform any program and query from this subset in such a way that the interpreter will always stop with a definite answer, but it is possible to do it if the query is a logical consequence of the program.
Mots-clés : PROLOG-queries
Keywords: PROLOG-programs, interpreter. 
@article{UZERU_2001_3_a4,
     author = {A. M. Hambardzumyan},
     title = {On simple monadic {PROLOG} interpreter},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {40--48},
     publisher = {mathdoc},
     number = {3},
     year = {2001},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2001_3_a4/}
}
TY  - JOUR
AU  - A. M. Hambardzumyan
TI  - On simple monadic PROLOG interpreter
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2001
SP  - 40
EP  - 48
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2001_3_a4/
LA  - ru
ID  - UZERU_2001_3_a4
ER  - 
%0 Journal Article
%A A. M. Hambardzumyan
%T On simple monadic PROLOG interpreter
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2001
%P 40-48
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2001_3_a4/
%G ru
%F UZERU_2001_3_a4
A. M. Hambardzumyan. On simple monadic PROLOG interpreter. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2001), pp. 40-48. http://geodesic.mathdoc.fr/item/UZERU_2001_3_a4/

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

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

[3] S. A. Nigiyan, “Funktsionalnye yazyki”, Programmirovanie, 1994, no. 2, 64–73

[4] S. A. Nigiyan, L. O. Khachoyan, Programmirovanie, 1997, no. 6, 17–28 | MR | Zbl