Labuschagne, W.A.; Van der Westhuizen, PL
(South African Computer Society (SAICSIT), 1992)
The logician who encounters logic programming expects it to involve 'using predicate logic as a programming language'.
He is soon disillusioned. He discovers that it really means 'programming in PROLOG', which in tum seems ...