Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

1002
LINES
[SHOW ALL]

< > BotCompany Repo | #3000230 // Answer for stefanreich (>> log)

New Tinybrain snippet

1  


2  
clause(Lisp): "[]"(if, "[]"($x, and, "[]"(not, "()"($y))), then, "[]"($x, xor, $y), if, "[]"("[]"(not, "()"($x)), and, $y), then, "[]"($x, xor, $y)) => [l("if *", l("[]", "$x", "and", l("[]", "not", l("()", "$y")))), l("then *", l("[]", "$x", "xor", "$y")), l("if *", l("[]", l("[]", "not", l("()", "$x")), "and", "$y")), l("then *", l("[]", "$x", "xor", "$y"))]


3  
clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null


4  
clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")]


5  
clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null


6  
clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))]


7  
clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))]


8  
clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))]


9  
clause(Lisp): "[]"(if, "[]"($c, "=", tocons, "()"($list)), and, "[]"($e, "=", iter, $c), then, "[]"($e, is, in, list, $list)) => [l("if *", l("[]", "$c", "=", "tocons", l("()", "$list"))), l("and *", l("[]", "$e", "=", "iter", "$c")), l("then *", l("[]", "$e", "is", "in", "list", "$list"))]


10  
clause(Lisp): "[]"(lasagna, is, tasty) => null


11  
clause(Lisp): "[]"(if, "[]"($c, "=", tocons, "()"($list)), and, "[]"($e, "=", iter, $c), then, "[]"($e, in, $c)) => [l("if *", l("[]", "$c", "=", "tocons", l("()", "$list"))), l("and *", l("[]", "$e", "=", "iter", "$c")), l("then *", l("[]", "$e", "in", "$c"))]


12  
clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))]


13  
clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))]


14  
clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null


15  
clause(Lisp): "[]"(if, "[]"($x, "=", iter, $tail), then, "[]"($x, "=", iter, "[]"(cons, $head, $tail))) => [l("if *", l("[]", "$x", "=", "iter", "$tail")), l("then *", l("[]", "$x", "=", "iter", l("[]", "cons", "$head", "$tail")))]


16  
clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))]


17  
clause(Lisp): "[]"(if, "[]"($a, "=", intmul, "()"("[]"($b, ",", $c))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$a", "=", "intmul", l("()", l("[]", "$b", ",", "$c")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))]


18  
clause(Lisp): "[]"(if, "[]"($b, "=", intdiv, "()"("[]"($a, ",", $c))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$b", "=", "intdiv", l("()", l("[]", "$a", ",", "$c")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))]


19  
clause(Lisp): "[]"(if, "[]"($c, "=", intdiv, "()"("[]"($a, ",", $b))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$c", "=", "intdiv", l("()", l("[]", "$a", ",", "$b")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))]


20  
clause(Lisp): "[]"(if, "[]"(not, "()"($x)), then, "[]"(verify, "[]"($x, should, be, false))) => [l("if *", l("[]", "not", l("()", "$x"))), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "false")))]


21  
clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))]


22  
clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null


23  
clause(Lisp): "[]"("\",\"", is, a, fill, word) => null


24  
clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")]


25  
clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")]


26  
Starting on goal: Prolog$Goal(car=l("[]", "true", "xor", "false"))


27  
Goal arity 3: "[]"(true, xor, false)


28  
  Goal: "[]"(true, xor, false). Trying clause: "[]"(_1, xor, _2) :- "[]"(_1, and, "[]"(not, "()"(_2))); "[]"(_1, xor, _2); "[]"("[]"(not, "()"(_1)), and, _2)


29  
  Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


30  
  gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


31  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


32  
New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


33  
   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_3, xor, _4) :- "[]"(_3, and, "[]"(not, "()"(_4))); "[]"(_3, xor, _4); "[]"("[]"(not, "()"(_3)), and, _4)


34  
 No match for clause.


35  
   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_5, and, _6) :- _5; _6


36  
   Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


37  
   gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


38  
Goal arity 0: true


39  
 New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


40  
    Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


41  
    Clause unifies to: true


42  
    gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


43  
Goal arity 2: "[]"(not, "()"(false))


44  
  New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


45  
     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_7)) :- _7; "!"; false


46  
     Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


47  
     gdash: false; "!"("4"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


48  
Goal arity 0: false


49  
   New goal: false; "!"("4"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


50  
      Goal: false; "!"("4"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


51  
    No match for clause.


52  
      Goal: false; "!"("4"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


53  
    No match for clause.


54  
      Goal: false; "!"("4"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


55  
    No match for clause.


56  
     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_8))


57  
     Clause unifies to: "[]"(not, "()"(false))


58  
     gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


59  
Goal arity 3: "[]"(true, xor, false)


60  
   New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


61  
      Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_9, xor, _10) :- "[]"(_9, and, "[]"(not, "()"(_10))); "[]"(_9, xor, _10); "[]"("[]"(not, "()"(_9)), and, _10)


62  
      Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


63  
      gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


64  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


65  
    New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


66  
       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_11, xor, _12) :- "[]"(_11, and, "[]"(not, "()"(_12))); "[]"(_11, xor, _12); "[]"("[]"(not, "()"(_11)), and, _12)


67  
     No match for clause.


68  
       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_13, and, _14) :- _13; _14


69  
       Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


70  
       gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


71  
Goal arity 0: true


72  
     New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


73  
        Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


74  
        Clause unifies to: true


75  
        gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


76  
Goal arity 2: "[]"(not, "()"(false))


77  
      New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


78  
         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_15)) :- _15; "!"; false


79  
         Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


80  
         gdash: false; "!"("8"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


81  
Goal arity 0: false


82  
       New goal: false; "!"("8"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


83  
          Goal: false; "!"("8"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


84  
        No match for clause.


85  
          Goal: false; "!"("8"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


86  
        No match for clause.


87  
          Goal: false; "!"("8"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


88  
        No match for clause.


89  
         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_16))


90  
         Clause unifies to: "[]"(not, "()"(false))


91  
         gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


92  
Goal arity 3: "[]"(true, xor, false)


93  
       New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


94  
          Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_17, xor, _18) :- "[]"(_17, and, "[]"(not, "()"(_18))); "[]"(_17, xor, _18); "[]"("[]"(not, "()"(_17)), and, _18)


95  
          Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


96  
          gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


97  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


98  
        New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


99  
           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_19, xor, _20) :- "[]"(_19, and, "[]"(not, "()"(_20))); "[]"(_19, xor, _20); "[]"("[]"(not, "()"(_19)), and, _20)


100  
         No match for clause.


101  
           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_21, and, _22) :- _21; _22


102  
           Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


103  
           gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


104  
Goal arity 0: true


105  
         New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


106  
            Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


107  
            Clause unifies to: true


108  
            gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


109  
Goal arity 2: "[]"(not, "()"(false))


110  
          New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


111  
             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_23)) :- _23; "!"; false


112  
             Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


113  
             gdash: false; "!"("12"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


114  
Goal arity 0: false


115  
           New goal: false; "!"("12"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


116  
              Goal: false; "!"("12"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


117  
            No match for clause.


118  
              Goal: false; "!"("12"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


119  
            No match for clause.


120  
              Goal: false; "!"("12"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


121  
            No match for clause.


122  
             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_24))


123  
             Clause unifies to: "[]"(not, "()"(false))


124  
             gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


125  
Goal arity 3: "[]"(true, xor, false)


126  
           New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


127  
              Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_25, xor, _26) :- "[]"(_25, and, "[]"(not, "()"(_26))); "[]"(_25, xor, _26); "[]"("[]"(not, "()"(_25)), and, _26)


128  
              Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


129  
              gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


130  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


131  
            New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


132  
               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_27, xor, _28) :- "[]"(_27, and, "[]"(not, "()"(_28))); "[]"(_27, xor, _28); "[]"("[]"(not, "()"(_27)), and, _28)


133  
             No match for clause.


134  
               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_29, and, _30) :- _29; _30


135  
               Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


136  
               gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


137  
Goal arity 0: true


138  
             New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


139  
                Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


140  
                Clause unifies to: true


141  
                gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


142  
Goal arity 2: "[]"(not, "()"(false))


143  
              New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


144  
                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_31)) :- _31; "!"; false


145  
                 Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


146  
                 gdash: false; "!"("16"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


147  
Goal arity 0: false


148  
               New goal: false; "!"("16"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


149  
                  Goal: false; "!"("16"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


150  
                No match for clause.


151  
                  Goal: false; "!"("16"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


152  
                No match for clause.


153  
                  Goal: false; "!"("16"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


154  
                No match for clause.


155  
                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_32))


156  
                 Clause unifies to: "[]"(not, "()"(false))


157  
                 gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


158  
Goal arity 3: "[]"(true, xor, false)


159  
               New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


160  
                  Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_33, xor, _34) :- "[]"(_33, and, "[]"(not, "()"(_34))); "[]"(_33, xor, _34); "[]"("[]"(not, "()"(_33)), and, _34)


161  
                  Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


162  
                  gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


163  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


164  
                New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


165  
                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_35, xor, _36) :- "[]"(_35, and, "[]"(not, "()"(_36))); "[]"(_35, xor, _36); "[]"("[]"(not, "()"(_35)), and, _36)


166  
                 No match for clause.


167  
                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_37, and, _38) :- _37; _38


168  
                   Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


169  
                   gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


170  
Goal arity 0: true


171  
                 New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


172  
                    Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


173  
                    Clause unifies to: true


174  
                    gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


175  
Goal arity 2: "[]"(not, "()"(false))


176  
                  New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


177  
                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_39)) :- _39; "!"; false


178  
                     Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


179  
                     gdash: false; "!"("20"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


180  
Goal arity 0: false


181  
                   New goal: false; "!"("20"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


182  
                      Goal: false; "!"("20"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


183  
                    No match for clause.


184  
                      Goal: false; "!"("20"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


185  
                    No match for clause.


186  
                      Goal: false; "!"("20"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


187  
                    No match for clause.


188  
                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_40))


189  
                     Clause unifies to: "[]"(not, "()"(false))


190  
                     gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


191  
Goal arity 3: "[]"(true, xor, false)


192  
                   New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


193  
                      Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_41, xor, _42) :- "[]"(_41, and, "[]"(not, "()"(_42))); "[]"(_41, xor, _42); "[]"("[]"(not, "()"(_41)), and, _42)


194  
                      Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


195  
                      gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


196  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


197  
                    New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


198  
                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_43, xor, _44) :- "[]"(_43, and, "[]"(not, "()"(_44))); "[]"(_43, xor, _44); "[]"("[]"(not, "()"(_43)), and, _44)


199  
                     No match for clause.


200  
                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_45, and, _46) :- _45; _46


201  
                       Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


202  
                       gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


203  
Goal arity 0: true


204  
                     New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


205  
                        Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


206  
                        Clause unifies to: true


207  
                        gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


208  
Goal arity 2: "[]"(not, "()"(false))


209  
                      New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


210  
                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_47)) :- _47; "!"; false


211  
                         Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


212  
                         gdash: false; "!"("24"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


213  
Goal arity 0: false


214  
                       New goal: false; "!"("24"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


215  
                          Goal: false; "!"("24"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


216  
                        No match for clause.


217  
                          Goal: false; "!"("24"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


218  
                        No match for clause.


219  
                          Goal: false; "!"("24"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


220  
                        No match for clause.


221  
                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_48))


222  
                         Clause unifies to: "[]"(not, "()"(false))


223  
                         gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


224  
Goal arity 3: "[]"(true, xor, false)


225  
                       New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


226  
                          Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_49, xor, _50) :- "[]"(_49, and, "[]"(not, "()"(_50))); "[]"(_49, xor, _50); "[]"("[]"(not, "()"(_49)), and, _50)


227  
                          Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


228  
                          gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


229  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


230  
                        New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


231  
                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_51, xor, _52) :- "[]"(_51, and, "[]"(not, "()"(_52))); "[]"(_51, xor, _52); "[]"("[]"(not, "()"(_51)), and, _52)


232  
                         No match for clause.


233  
                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_53, and, _54) :- _53; _54


234  
                           Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


235  
                           gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


236  
Goal arity 0: true


237  
                         New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


238  
                            Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


239  
                            Clause unifies to: true


240  
                            gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


241  
Goal arity 2: "[]"(not, "()"(false))


242  
                          New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


243  
                             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_55)) :- _55; "!"; false


244  
                             Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


245  
                             gdash: false; "!"("28"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


246  
Goal arity 0: false


247  
                           New goal: false; "!"("28"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


248  
                              Goal: false; "!"("28"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


249  
                            No match for clause.


250  
                              Goal: false; "!"("28"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


251  
                            No match for clause.


252  
                              Goal: false; "!"("28"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


253  
                            No match for clause.


254  
                             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_56))


255  
                             Clause unifies to: "[]"(not, "()"(false))


256  
                             gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


257  
Goal arity 3: "[]"(true, xor, false)


258  
                           New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


259  
                              Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_57, xor, _58) :- "[]"(_57, and, "[]"(not, "()"(_58))); "[]"(_57, xor, _58); "[]"("[]"(not, "()"(_57)), and, _58)


260  
                              Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


261  
                              gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


262  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


263  
                            New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


264  
                               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_59, xor, _60) :- "[]"(_59, and, "[]"(not, "()"(_60))); "[]"(_59, xor, _60); "[]"("[]"(not, "()"(_59)), and, _60)


265  
                             No match for clause.


266  
                               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_61, and, _62) :- _61; _62


267  
                               Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


268  
                               gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


269  
Goal arity 0: true


270  
                             New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


271  
                                Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


272  
                                Clause unifies to: true


273  
                                gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


274  
Goal arity 2: "[]"(not, "()"(false))


275  
                              New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


276  
                                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_63)) :- _63; "!"; false


277  
                                 Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


278  
                                 gdash: false; "!"("32"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


279  
Goal arity 0: false


280  
                               New goal: false; "!"("32"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


281  
                                  Goal: false; "!"("32"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


282  
                                No match for clause.


283  
                                  Goal: false; "!"("32"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


284  
                                No match for clause.


285  
                                  Goal: false; "!"("32"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


286  
                                No match for clause.


287  
                                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_64))


288  
                                 Clause unifies to: "[]"(not, "()"(false))


289  
                                 gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


290  
Goal arity 3: "[]"(true, xor, false)


291  
                               New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


292  
                                  Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_65, xor, _66) :- "[]"(_65, and, "[]"(not, "()"(_66))); "[]"(_65, xor, _66); "[]"("[]"(not, "()"(_65)), and, _66)


293  
                                  Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


294  
                                  gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


295  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


296  
                                New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


297  
                                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_67, xor, _68) :- "[]"(_67, and, "[]"(not, "()"(_68))); "[]"(_67, xor, _68); "[]"("[]"(not, "()"(_67)), and, _68)


298  
                                 No match for clause.


299  
                                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_69, and, _70) :- _69; _70


300  
                                   Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


301  
                                   gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


302  
Goal arity 0: true


303  
                                 New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


304  
                                    Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


305  
                                    Clause unifies to: true


306  
                                    gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


307  
Goal arity 2: "[]"(not, "()"(false))


308  
                                  New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


309  
                                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_71)) :- _71; "!"; false


310  
                                     Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


311  
                                     gdash: false; "!"("36"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


312  
Goal arity 0: false


313  
                                   New goal: false; "!"("36"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


314  
                                      Goal: false; "!"("36"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


315  
                                    No match for clause.


316  
                                      Goal: false; "!"("36"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


317  
                                    No match for clause.


318  
                                      Goal: false; "!"("36"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


319  
                                    No match for clause.


320  
                                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_72))


321  
                                     Clause unifies to: "[]"(not, "()"(false))


322  
                                     gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


323  
Goal arity 3: "[]"(true, xor, false)


324  
                                   New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


325  
                                      Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_73, xor, _74) :- "[]"(_73, and, "[]"(not, "()"(_74))); "[]"(_73, xor, _74); "[]"("[]"(not, "()"(_73)), and, _74)


326  
                                      Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


327  
                                      gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


328  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


329  
                                    New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


330  
                                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_75, xor, _76) :- "[]"(_75, and, "[]"(not, "()"(_76))); "[]"(_75, xor, _76); "[]"("[]"(not, "()"(_75)), and, _76)


331  
                                     No match for clause.


332  
                                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_77, and, _78) :- _77; _78


333  
                                       Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


334  
                                       gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


335  
Goal arity 0: true


336  
                                     New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


337  
                                        Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


338  
                                        Clause unifies to: true


339  
                                        gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


340  
Goal arity 2: "[]"(not, "()"(false))


341  
                                      New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


342  
                                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_79)) :- _79; "!"; false


343  
                                         Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


344  
                                         gdash: false; "!"("40"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


345  
Goal arity 0: false


346  
                                       New goal: false; "!"("40"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


347  
                                          Goal: false; "!"("40"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


348  
                                        No match for clause.


349  
                                          Goal: false; "!"("40"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


350  
                                        No match for clause.


351  
                                          Goal: false; "!"("40"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


352  
                                        No match for clause.


353  
                                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_80))


354  
                                         Clause unifies to: "[]"(not, "()"(false))


355  
                                         gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


356  
Goal arity 3: "[]"(true, xor, false)


357  
                                       New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


358  
                                          Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_81, xor, _82) :- "[]"(_81, and, "[]"(not, "()"(_82))); "[]"(_81, xor, _82); "[]"("[]"(not, "()"(_81)), and, _82)


359  
                                          Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


360  
                                          gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


361  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


362  
                                        New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


363  
                                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_83, xor, _84) :- "[]"(_83, and, "[]"(not, "()"(_84))); "[]"(_83, xor, _84); "[]"("[]"(not, "()"(_83)), and, _84)


364  
                                         No match for clause.


365  
                                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_85, and, _86) :- _85; _86


366  
                                           Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


367  
                                           gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


368  
Goal arity 0: true


369  
                                         New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


370  
                                            Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


371  
                                            Clause unifies to: true


372  
                                            gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


373  
Goal arity 2: "[]"(not, "()"(false))


374  
                                          New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


375  
                                             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_87)) :- _87; "!"; false


376  
                                             Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


377  
                                             gdash: false; "!"("44"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


378  
Goal arity 0: false


379  
                                           New goal: false; "!"("44"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


380  
                                              Goal: false; "!"("44"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


381  
                                            No match for clause.


382  
                                              Goal: false; "!"("44"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


383  
                                            No match for clause.


384  
                                              Goal: false; "!"("44"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


385  
                                            No match for clause.


386  
                                             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_88))


387  
                                             Clause unifies to: "[]"(not, "()"(false))


388  
                                             gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


389  
Goal arity 3: "[]"(true, xor, false)


390  
                                           New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


391  
                                              Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_89, xor, _90) :- "[]"(_89, and, "[]"(not, "()"(_90))); "[]"(_89, xor, _90); "[]"("[]"(not, "()"(_89)), and, _90)


392  
                                              Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


393  
                                              gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


394  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


395  
                                            New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


396  
                                               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_91, xor, _92) :- "[]"(_91, and, "[]"(not, "()"(_92))); "[]"(_91, xor, _92); "[]"("[]"(not, "()"(_91)), and, _92)


397  
                                             No match for clause.


398  
                                               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_93, and, _94) :- _93; _94


399  
                                               Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


400  
                                               gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


401  
Goal arity 0: true


402  
                                             New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


403  
                                                Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


404  
                                                Clause unifies to: true


405  
                                                gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


406  
Goal arity 2: "[]"(not, "()"(false))


407  
                                              New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


408  
                                                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_95)) :- _95; "!"; false


409  
                                                 Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


410  
                                                 gdash: false; "!"("48"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


411  
Goal arity 0: false


412  
                                               New goal: false; "!"("48"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


413  
                                                  Goal: false; "!"("48"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


414  
                                                No match for clause.


415  
                                                  Goal: false; "!"("48"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


416  
                                                No match for clause.


417  
                                                  Goal: false; "!"("48"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


418  
                                                No match for clause.


419  
                                                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_96))


420  
                                                 Clause unifies to: "[]"(not, "()"(false))


421  
                                                 gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


422  
Goal arity 3: "[]"(true, xor, false)


423  
                                               New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


424  
                                                  Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_97, xor, _98) :- "[]"(_97, and, "[]"(not, "()"(_98))); "[]"(_97, xor, _98); "[]"("[]"(not, "()"(_97)), and, _98)


425  
                                                  Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


426  
                                                  gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


427  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


428  
                                                New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


429  
                                                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_99, xor, _100) :- "[]"(_99, and, "[]"(not, "()"(_100))); "[]"(_99, xor, _100); "[]"("[]"(not, "()"(_99)), and, _100)


430  
                                                 No match for clause.


431  
                                                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_101, and, _102) :- _101; _102


432  
                                                   Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


433  
                                                   gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


434  
Goal arity 0: true


435  
                                                 New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


436  
                                                    Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


437  
                                                    Clause unifies to: true


438  
                                                    gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


439  
Goal arity 2: "[]"(not, "()"(false))


440  
                                                  New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


441  
                                                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_103)) :- _103; "!"; false


442  
                                                     Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


443  
                                                     gdash: false; "!"("52"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


444  
Goal arity 0: false


445  
                                                   New goal: false; "!"("52"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


446  
                                                      Goal: false; "!"("52"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


447  
                                                    No match for clause.


448  
                                                      Goal: false; "!"("52"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


449  
                                                    No match for clause.


450  
                                                      Goal: false; "!"("52"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


451  
                                                    No match for clause.


452  
                                                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_104))


453  
                                                     Clause unifies to: "[]"(not, "()"(false))


454  
                                                     gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


455  
Goal arity 3: "[]"(true, xor, false)


456  
                                                   New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


457  
                                                      Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_105, xor, _106) :- "[]"(_105, and, "[]"(not, "()"(_106))); "[]"(_105, xor, _106); "[]"("[]"(not, "()"(_105)), and, _106)


458  
                                                      Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


459  
                                                      gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


460  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


461  
                                                    New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


462  
                                                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_107, xor, _108) :- "[]"(_107, and, "[]"(not, "()"(_108))); "[]"(_107, xor, _108); "[]"("[]"(not, "()"(_107)), and, _108)


463  
                                                     No match for clause.


464  
                                                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_109, and, _110) :- _109; _110


465  
                                                       Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


466  
                                                       gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


467  
Goal arity 0: true


468  
                                                     New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


469  
                                                        Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


470  
                                                        Clause unifies to: true


471  
                                                        gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


472  
Goal arity 2: "[]"(not, "()"(false))


473  
                                                      New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


474  
                                                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_111)) :- _111; "!"; false


475  
                                                         Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


476  
                                                         gdash: false; "!"("56"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


477  
Goal arity 0: false


478  
                                                       New goal: false; "!"("56"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


479  
                                                          Goal: false; "!"("56"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


480  
                                                        No match for clause.


481  
                                                          Goal: false; "!"("56"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


482  
                                                        No match for clause.


483  
                                                          Goal: false; "!"("56"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


484  
                                                        No match for clause.


485  
                                                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_112))


486  
                                                         Clause unifies to: "[]"(not, "()"(false))


487  
                                                         gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


488  
Goal arity 3: "[]"(true, xor, false)


489  
                                                       New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


490  
                                                          Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_113, xor, _114) :- "[]"(_113, and, "[]"(not, "()"(_114))); "[]"(_113, xor, _114); "[]"("[]"(not, "()"(_113)), and, _114)


491  
                                                          Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


492  
                                                          gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


493  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


494  
                                                        New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


495  
                                                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_115, xor, _116) :- "[]"(_115, and, "[]"(not, "()"(_116))); "[]"(_115, xor, _116); "[]"("[]"(not, "()"(_115)), and, _116)


496  
                                                         No match for clause.


497  
                                                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_117, and, _118) :- _117; _118


498  
                                                           Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


499  
                                                           gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


500  
Goal arity 0: true


501  
                                                         New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


502  
                                                            Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


503  
                                                            Clause unifies to: true


504  
                                                            gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


505  
Goal arity 2: "[]"(not, "()"(false))


506  
                                                          New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


507  
                                                             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_119)) :- _119; "!"; false


508  
                                                             Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


509  
                                                             gdash: false; "!"("60"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


510  
Goal arity 0: false


511  
                                                           New goal: false; "!"("60"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


512  
                                                              Goal: false; "!"("60"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


513  
                                                            No match for clause.


514  
                                                              Goal: false; "!"("60"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


515  
                                                            No match for clause.


516  
                                                              Goal: false; "!"("60"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


517  
                                                            No match for clause.


518  
                                                             Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_120))


519  
                                                             Clause unifies to: "[]"(not, "()"(false))


520  
                                                             gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


521  
Goal arity 3: "[]"(true, xor, false)


522  
                                                           New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


523  
                                                              Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_121, xor, _122) :- "[]"(_121, and, "[]"(not, "()"(_122))); "[]"(_121, xor, _122); "[]"("[]"(not, "()"(_121)), and, _122)


524  
                                                              Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


525  
                                                              gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


526  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


527  
                                                            New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


528  
                                                               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_123, xor, _124) :- "[]"(_123, and, "[]"(not, "()"(_124))); "[]"(_123, xor, _124); "[]"("[]"(not, "()"(_123)), and, _124)


529  
                                                             No match for clause.


530  
                                                               Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_125, and, _126) :- _125; _126


531  
                                                               Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


532  
                                                               gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


533  
Goal arity 0: true


534  
                                                             New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


535  
                                                                Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


536  
                                                                Clause unifies to: true


537  
                                                                gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


538  
Goal arity 2: "[]"(not, "()"(false))


539  
                                                              New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


540  
                                                                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_127)) :- _127; "!"; false


541  
                                                                 Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


542  
                                                                 gdash: false; "!"("64"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


543  
Goal arity 0: false


544  
                                                               New goal: false; "!"("64"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


545  
                                                                  Goal: false; "!"("64"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


546  
                                                                No match for clause.


547  
                                                                  Goal: false; "!"("64"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


548  
                                                                No match for clause.


549  
                                                                  Goal: false; "!"("64"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


550  
                                                                No match for clause.


551  
                                                                 Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_128))


552  
                                                                 Clause unifies to: "[]"(not, "()"(false))


553  
                                                                 gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


554  
Goal arity 3: "[]"(true, xor, false)


555  
                                                               New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


556  
                                                                  Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_129, xor, _130) :- "[]"(_129, and, "[]"(not, "()"(_130))); "[]"(_129, xor, _130); "[]"("[]"(not, "()"(_129)), and, _130)


557  
                                                                  Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


558  
                                                                  gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


559  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


560  
                                                                New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


561  
                                                                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_131, xor, _132) :- "[]"(_131, and, "[]"(not, "()"(_132))); "[]"(_131, xor, _132); "[]"("[]"(not, "()"(_131)), and, _132)


562  
                                                                 No match for clause.


563  
                                                                   Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_133, and, _134) :- _133; _134


564  
                                                                   Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


565  
                                                                   gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


566  
Goal arity 0: true


567  
                                                                 New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


568  
                                                                    Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


569  
                                                                    Clause unifies to: true


570  
                                                                    gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


571  
Goal arity 2: "[]"(not, "()"(false))


572  
                                                                  New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


573  
                                                                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_135)) :- _135; "!"; false


574  
                                                                     Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


575  
                                                                     gdash: false; "!"("68"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


576  
Goal arity 0: false


577  
                                                                   New goal: false; "!"("68"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


578  
                                                                      Goal: false; "!"("68"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


579  
                                                                    No match for clause.


580  
                                                                      Goal: false; "!"("68"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


581  
                                                                    No match for clause.


582  
                                                                      Goal: false; "!"("68"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


583  
                                                                    No match for clause.


584  
                                                                     Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_136))


585  
                                                                     Clause unifies to: "[]"(not, "()"(false))


586  
                                                                     gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


587  
Goal arity 3: "[]"(true, xor, false)


588  
                                                                   New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


589  
                                                                      Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_137, xor, _138) :- "[]"(_137, and, "[]"(not, "()"(_138))); "[]"(_137, xor, _138); "[]"("[]"(not, "()"(_137)), and, _138)


590  
                                                                      Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


591  
                                                                      gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


592  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


593  
                                                                    New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


594  
                                                                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_139, xor, _140) :- "[]"(_139, and, "[]"(not, "()"(_140))); "[]"(_139, xor, _140); "[]"("[]"(not, "()"(_139)), and, _140)


595  
                                                                     No match for clause.


596  
                                                                       Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_141, and, _142) :- _141; _142


597  
                                                                       Clause unifies to: "[]"(true, and, "[]"(not, "()"(false))) :- true; "[]"(not, "()"(false))


598  
                                                                       gdash: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


599  
Goal arity 0: true


600  
                                                                     New goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


601  
                                                                        Goal: true; "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


602  
                                                                        Clause unifies to: true


603  
                                                                        gdash: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


604  
Goal arity 2: "[]"(not, "()"(false))


605  
                                                                      New goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


606  
                                                                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_143)) :- _143; "!"; false


607  
                                                                         Clause unifies to: "[]"(not, "()"(false)) :- false; "!"; false


608  
                                                                         gdash: false; "!"("72"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


609  
Goal arity 0: false


610  
                                                                       New goal: false; "!"("72"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


611  
                                                                          Goal: false; "!"("72"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: true


612  
                                                                        No match for clause.


613  
                                                                          Goal: false; "!"("72"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeTest2 :- native


614  
                                                                        No match for clause.


615  
                                                                          Goal: false; "!"("72"); false; "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: nativeFail :- native


616  
                                                                        No match for clause.


617  
                                                                         Goal: "[]"(not, "()"(false)); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(not, "()"(_144))


618  
                                                                         Clause unifies to: "[]"(not, "()"(false))


619  
                                                                         gdash: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


620  
Goal arity 3: "[]"(true, xor, false)


621  
                                                                       New goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


622  
                                                                          Goal: "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_145, xor, _146) :- "[]"(_145, and, "[]"(not, "()"(_146))); "[]"(_145, xor, _146); "[]"("[]"(not, "()"(_145)), and, _146)


623  
                                                                          Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false)


624  
                                                                          gdash: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


625  
Goal arity 3: "[]"(true, and, "[]"(not, "()"(false)))


626  
                                                                        New goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false)


627  
                                                                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false). Trying clause: "[]"(_147, xor, _148) :- "[]"(_147, and, "[]"(not, "()"(_148))); "[]"(_147, xor, _148); "[]"("[]"(not, "()"(_147)), and, _148)


628  
                                                                         No match for clause.


629  
                                                                           Goal: "[]"(true, and, "[]"(not, "()"(false))); "[]"(true, xor, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and, false); "[]"("[]"(not, "()"(true)), and


630  
[...]


631  


632  


633  


634  


635  


636  


637  


638  


639  


640  


641  


642  


643  


644  


645  


646  


647  


648  


649  


650  


651  


652  


653  


654  


655  


656  


657  


658  


659  


660  


661  


662  


663  


664  


665  


666  


667  


668  


669  


670  


671  


672  


673  


674  


675  


676  


677  


678  


679  


680  


681  


682  


683  


684  


685  


686  


687  


688  


689  


690  


691  


692  


693  


694  


695  


696  


697  


698  


699  


700  


701  


702  


703  


704  


705  


706  


707  


708  


709  


710  


711  


712  


713  


714  


715  


716  


717  


718  


719  


720  


721  


722  


723  


724  


725  


726  


727  


728  


729  


730  


731  


732  


733  


734  


735  


736  


737  


738  


739  


740  


741  


742  


743  


744  


745  


746  


747  


748  


749  


750  


751  


752  


753  


754  


755  


756  


757  


758  


759  


760  


761  


762  


763  


764  


765  


766  


767  


768  


769  


770  


771  


772  


773  


774  


775  


776  


777  


778  


779  


780  


781  


782  


783  


784  


785  


786  


787  


788  


789  


790  


791  


792  


793  


794  


795  


796  


797  


798  


799  


800  


801  


802  


803  


804  


805  


806  


807  


808  


809  


810  


811  


812  


813  


814  


815  


816  


817  


818  


819  


820  


821  


822  


823  


824  


825  


826  


827  


828  


829  


830  


831  


832  


833  


834  


835  


836  


837  


838  


839  


840  


841  


842  


843  


844  


845  


846  


847  


848  


849  


850  


851  


852  


853  


854  


855  


856  


857  


858  


859  


860  


861  


862  


863  


864  


865  


866  


867  


868  


869  


870  


871  


872  


873  


874  


875  


876  


877  


878  


879  


880  


881  


882  


883  


884  


885  


886  


887  


888  


889  


890  


891  


892  


893  


894  


895  


896  


897  


898  


899  


900  


901  


902  


903  


904  


905  


906  


907  


908  


909  


910  


911  


912  


913  


914  


915  


916  


917  


918  


919  


920  


921  


922  


923  


924  


925  


926  


927  


928  


929  


930  


931  


932  


933  


934  


935  


936  


937  


938  


939  


940  


941  


942  


943  


944  


945  


946  


947  


948  


949  


950  


951  


952  


953  


954  


955  


956  


957  


958  


959  


960  


961  


962  


963  


964  


965  


966  


967  


968  


969  


970  


971  


972  


973  


974  


975  


976  


977  


978  


979  


980  


981  


982  


983  


984  


985  


986  


987  


988  


989  


990  


991  


992  


993  


994  


995  


996  


997  


998  


999  


1000  


1001  


1002  



      
full source  download  show line numbers   
Snippet is not live. 
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt


No comments. add comment
      
      
  

  

    Snippet ID:
    #3000230
  

  

    Snippet name:
    Answer for stefanreich (>> log)
  

    

    Eternal ID of this version:
    #3000230/1
  

  

    Text MD5:
    8f6d65d6ca3b1c88506884e4abe9abce
  

    

    Author:
    someone
  

  

    Category:
    
  

  

    Type:
    New Tinybrain snippet
  

    

    Gummipassword:
    eleutheria-for-user
  

        

    Uploaded from IP:
    69.10.46.185
  

    

    Public (visible to everyone):
    Yes
  

  

    Archived (hidden from active list):
    No
  

  

    Created/modified:
      2016-03-06 02:53:10
  

  

    Source code size:
    469389 bytes / 1002 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    743 / 139
  

      

    Referenced in:
[show references]