diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

handling queries composed by a single negative literal

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2035 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2007-12-04 22:55:17 +00:00
parent e58d6b7bb5
commit 212a27a564
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cplint/lpad.pl
View File

@ -67,7 +67,6 @@ xnotrace :-
). ).
/* isprolog(Call): Call is a Prolog subgoal */ /* isprolog(Call): Call is a Prolog subgoal */
isprolog(Call) :- isprolog(Call) :-
builtin(Call). builtin(Call).
@ -75,7 +74,6 @@ isprolog(Call) :-
It returns all true answers of Call under the well-founded semantics It returns all true answers of Call under the well-founded semantics
one by one. one by one.
*/ */
slg(Call,C,D):- slg(Call,C,D):-
slg(Call,[],C,[],D). slg(Call,[],C,[],D).
@ -110,7 +108,7 @@ s(GoalsList,Prob):-
convert_to_goal(GoalsList,Goal), convert_to_goal(GoalsList,Goal),
solve(Goal,Prob). solve(Goal,Prob).
convert_to_goal([Goal],Goal):-!. convert_to_goal([Goal],Goal):-Goal \= (\+ _) ,!.
convert_to_goal(GoalsList,Head):- convert_to_goal(GoalsList,Head):-
get_new_atom(Atom), get_new_atom(Atom),