Kragujevac J. Math. 23 (2001) 119-130.
Tatjana Timotijevic
Faculty of Science, P. O. Box 60, 34000 Kragujevac, Yugoslavia
(Received July 2, 2001)
Abstract. In this paper a practical solution to the problem of implementing PL prover algorithm is offered in a form of a program written in C-language.