Sémantique logique et dénotationnelle des interpréteurs PROLOG Jean-Paul Delahaye RAIRO-Theor. Inf. Appl., 22 1 (1988) 3-42 Published online: 01 February 2017 DOI: 10.1051/ita/1988220100031