How to do unify_with_occurs_check/2 and dif/2 together in SWI-Prolog?

前端未结

关注

 0  1424

Got this strange behaviour. I was running these test cases:

s1 :-
   Q=[[lambda,symbol(_3026),[cons,[quote,_3434],
     [quote,_3514]]],[quote,_3206]],
   P=[


                      
              相关标签: