This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
A first order logic for logic programming
J J Moreno Navarro, M Rodriguez Artalejo
pp. 303-314
Not implemented yet !