Prolog in 10 figures

10.1145/321250.321253

Robinson. J.A. Logic: Form and Function. Edinburgh University Press. Scotland. and Elsevier North-Holland. New York. 1979. Robinson. J.A. Logic: Form and Function. Edinburgh University Press. Scotland. and Elsevier North-Holland. New York. 1979.

Kowalski R.A., Problem Solving. Artificial Intelligence Series. N.J. Nilsson. Ed. North-Holland. Amsterdam., 197

10.1145/321978.321991

Colmerauer A., 1979, Universite de Montreal

Colmerauer. A. Kanoui. H. Pasero. R. and Roussel. P. Un systeme de communication homme-machine en francais. Res. Rep. Groupe d'Intelligence Artificielle. Facule des Sciences de Luminy. Marseilles France. 1973. Colmerauer. A. Kanoui. H. Pasero. R. and Roussel. P. Un systeme de communication homme-machine en francais. Res. Rep. Groupe d'Intelligence Artificielle. Facule des Sciences de Luminy. Marseilles France. 1973.

Roussel. P. Prolog manuel de reference et d'Utilisation. Groupe d'Intelligence Artificielle. Faculte des Sciences de Luminy Marseilles France. 1975. Roussel. P. Prolog manuel de reference et d'Utilisation. Groupe d'Intelligence Artificielle. Faculte des Sciences de Luminy Marseilles France. 1975.

Colmerauer. A. Prolog and infinite trees. In Logic Programming. K.L. Clark and S.A. Tarnlund Eds. Academic Press. New York. 1982. Colmerauer. A. Prolog and infinite trees. In Logic Programming. K.L. Clark and S.A. Tarnlund Eds. Academic Press. New York. 1982.

Colmerauer A., 1984, Proceeditlgs of fhe Intemafioml Conference on Fifth Generation Computer Systems.

Colmerauer A., 1983, Trch. Sri. Inf., 2, 4

Giannesini. F. Kanoui H. Pasero. R. and Van Caneghem M. Prolog. InterEdition. Paris. 1965. (English version by Addison-Wesley Reading. Mass. will appear in 1986.) Giannesini. F. Kanoui H. Pasero. R. and Van Caneghem M. Prolog. InterEdition. Paris. 1965. (English version by Addison-Wesley Reading. Mass. will appear in 1986.)

Pique J.F., 1984, Proceedings of the 2nd International Logic Programming Conference, S.A. Tarnlund. Ed

Van Caneghem M., 1984, France

Van Emden. M. and Lloyd. J.W. A logical reconstruction of Prolog II. J. Logic Program. 1 (1984). Van Emden. M. and Lloyd. J.W. A logical reconstruction of Prolog II. J. Logic Program. 1 (1984).