\+,not and | should be module processed in the same way as -> ; and ,
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@711 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
5b2faebb9d
commit
4238da327d
@ -354,9 +354,16 @@ module(N) :-
|
|||||||
'$module_expansion'((A;B),(A1;B1),(AO;BO),M,MM,TM,HVars) :- !,
|
'$module_expansion'((A;B),(A1;B1),(AO;BO),M,MM,TM,HVars) :- !,
|
||||||
'$module_expansion'(A,A1,AO,M,MM,TM,HVars),
|
'$module_expansion'(A,A1,AO,M,MM,TM,HVars),
|
||||||
'$module_expansion'(B,B1,BO,M,MM,TM,HVars).
|
'$module_expansion'(B,B1,BO,M,MM,TM,HVars).
|
||||||
|
'$module_expansion'((A|B),(A1|B1),(AO|BO),M,MM,TM,HVars) :- !,
|
||||||
|
'$module_expansion'(A,A1,AO,M,MM,TM,HVars),
|
||||||
|
'$module_expansion'(B,B1,BO,M,MM,TM,HVars).
|
||||||
'$module_expansion'((A->B),(A1->B1),(AO->BO),M,MM,TM,HVars) :- !,
|
'$module_expansion'((A->B),(A1->B1),(AO->BO),M,MM,TM,HVars) :- !,
|
||||||
'$module_expansion'(A,A1,AO,M,MM,TM,HVars),
|
'$module_expansion'(A,A1,AO,M,MM,TM,HVars),
|
||||||
'$module_expansion'(B,B1,BO,M,MM,TM,HVars).
|
'$module_expansion'(B,B1,BO,M,MM,TM,HVars).
|
||||||
|
'$module_expansion'(\+A,\+A1,\+AO,M,MM,TM,HVars) :- !,
|
||||||
|
'$module_expansion'(A,A1,AO,M,MM,TM,HVars).
|
||||||
|
'$module_expansion'(not(A),not(A1),not(AO),M,MM,TM,HVars) :- !,
|
||||||
|
'$module_expansion'(A,A1,AO,M,MM,TM,HVars).
|
||||||
'$module_expansion'(true,true,true,_,_,_,_) :- !.
|
'$module_expansion'(true,true,true,_,_,_,_) :- !.
|
||||||
'$module_expansion'(fail,fail,fail,_,_,_,_) :- !.
|
'$module_expansion'(fail,fail,fail,_,_,_,_) :- !.
|
||||||
'$module_expansion'(false,false,false,_,_,_,_) :- !.
|
'$module_expansion'(false,false,false,_,_,_,_) :- !.
|
||||||
@ -591,7 +598,8 @@ source_module(Mod) :-
|
|||||||
use_module(:,?),
|
use_module(:,?),
|
||||||
use_module(?,:,?),
|
use_module(?,:,?),
|
||||||
when(?,:),
|
when(?,:),
|
||||||
^(+,:).
|
^(+,:),
|
||||||
|
\+ : .
|
||||||
|
|
||||||
|
|
||||||
%
|
%
|
||||||
|
Reference in New Issue
Block a user