skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Towards a logical semantics for pure Prolog

Barbuti, R., N. De Francesco, P. Mancarella, and A. Santone, "Towards a logical semantics for pure Prolog", Science of Computer Programming, vol. 32, no. 1: Elsevier, pp. 145–176, 1998.