Title: Proving failure of queries for definite logic programs using XSB-Prolog
Authors: Pelov, Nikolay ×
Bruynooghe, Maurice #
Issue Date: 1999
Publisher: Springer
Host Document: Lecture notes in computer science vol:1705 pages:358-375
Conference: 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) location:Tbilisi, Republic of Georgia date:6-10 September 1999
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
20016.pdf Published 231KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.