Propositional calculus proving methods in Prolog
Štěpán, Jan
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 29 (1990), p. 301-321 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1990-01-01
Classification:  03B05,  03B35,  68T15 
@article{120239,
     author = {Jan \v St\v ep\'an},
     title = {Propositional calculus proving methods in Prolog},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     volume = {29},
     year = {1990},
     pages = {301-321},
     zbl = {0792.68165},
     mrnumber = {1144841},
     language = {en},
     url = {http://dml.mathdoc.fr/item/120239}
}

Štěpán, Jan. Propositional calculus proving methods in Prolog. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 29 (1990) pp. 301-321. http://gdmltest.u-ga.fr/item/120239/

Coelho H.; Cotta J.C.; Pereira L.M. How to solve it with Prolog, Lisboa, LNEC 1985. (1985)

Coelho H.; Cotta J.C. Prolog by example, Springer-Verlag 1988. (1988) | Zbl 0649.68004

Smullyan R.M. First order logic, Bratislava, ALFA 1979. (1979)