Towards a logical semantics for pure Prolog

DOI10.1016/S0167-6423(97)00033-6zbMath0942.68019MaRDI QIDQ1818324

Nicoletta De Francesco, Paolo Mancarella, Antonella Santone, Roberto Barbuti

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

logic programsProlog programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Truth versus information in logic programming

This page was built for publication: Towards a logical semantics for pure Prolog