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
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


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