%============================================================================== % Project: SLP - An Interpreter for Super Logic Programs / Static Semantics % Module: testF.txt % Purpose: Test of complicated query, Test for the seminaive evaluation. % Last Change:12.06.2002 % Language: SLP % Author: Stefan Brass % Email: Stefan.Brass@informatik.uni-giessen.de, sbrass@sis.pitt.edu % Address: Universitaet Giessen, Arndtstr. 2, 35392 Giessen, Germany % Copyright: (c) 2002 by Stefan Brass % Licence: Distributed under the conditions of the GNU Public Licence. %============================================================================== % This was a bug in an earlier version. % The query follows from the program, but due to the bug, it could not % be derived. The problem was that in the rule $answer <- p, r. % the first body literal was matched with a conditional fact produced in % the last iteration, but not the second body literal. Due to the bug, % the seminaive evaluation required that the last body literal was matched % with a freshly derived fact. p | q. r. ? (p|q), r. $v.