-
Notifications
You must be signed in to change notification settings - Fork 0
/
file-meditations.txt
4362 lines (4351 loc) · 362 KB
/
file-meditations.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
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
[algorithm,32]
[[[n,function0],[[v,a],[v,b],[v,c]],:-,[[[n,function1],[[v,a],[v,b],[v,d]]],[[n,=],[[v,c],[v,d]]]]],[[n,function1],[[v,a],[v,b],[v,c]],:-,[[[n,+],[[v,a],[v,b],[v,c]]]]]]
[1;32mCall: [0m(14) interpret(off, [[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2686)
[1;34mUnify: [0m(14) interpret(off, [[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2686)
[1;32mCall: [0m(15) convert_to_grammar_part1([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2684, _2686)
[1;34mUnify: [0m(15) convert_to_grammar_part1([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2684, _2686)
[1;32mCall: [0m(16) convert_to_grammar_part11([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2684, [], _2688, [], _2692, [], _2696)
[1;34mUnify: [0m(16) convert_to_grammar_part11([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2684, [], _2688, [], _2692, [], _2696)
[1;32mCall: [0m(17) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[_2666|_2668]
[1;32mExit: [0m(17) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]
[1;32mCall: [0m(17) [[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]=[[n, _2684], _2690, "->", _2708]
[1;31mFail: [0m(17) [[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]=[[n, _2684], _2690, "->", _2708]
[1;33mRedo: [0m(16) convert_to_grammar_part11([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2690, [], _2694, [], _2698, [], _2702)
[1;32mCall: [0m(17) [[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]=[[n, _2684], "->", _2702]
[1;31mFail: [0m(17) [[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]=[[n, _2684], "->", _2702]
[1;33mRedo: [0m(16) convert_to_grammar_part11([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2684, [], _2688, [], _2692, [], _2696)
[1;34mUnify: [0m(16) convert_to_grammar_part11([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], _2684, [], _2688, [], _2692, [], _2696)
[1;32mCall: [0m(17) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[_2666|_2668]
[1;32mExit: [0m(17) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]
[1;32mCall: [0m(17) [[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]=[_2672, _2678, ":-", _2696]
[1;32mExit: [0m(17) [[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]=[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n, function1], [[...|...]|...]], [[n|...], [...|...]]]]
[1;32mCall: [0m(17) true
[1;32mExit: [0m(17) true
[1;32mCall: [0m(17) true
[1;32mExit: [0m(17) true
[1;32mCall: [0m(17) true
[1;32mExit: [0m(17) true
[1;32mCall: [0m(17) true
[1;32mExit: [0m(17) true
[1;32mCall: [0m(17) lists:append([], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]], _2726)
[1;34mUnify: [0m(17) lists:append([], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]])
[1;32mExit: [0m(17) lists:append([], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]])
[1;32mCall: [0m(17) lists:append([], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]], _2744)
[1;34mUnify: [0m(17) lists:append([], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]])
[1;32mExit: [0m(17) lists:append([], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]])
[1;32mCall: [0m(17) convert_to_grammar_part11([[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]]], _2744, [], _2748, [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]]], _2752, [], _2756)
[1;34mUnify: [0m(17) convert_to_grammar_part11([[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]]], _2744, [], _2748, [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]]], _2752, [], _2756)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]=[_2726|_2728]
[1;32mExit: [0m(18) [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]=[[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]
[1;32mCall: [0m(18) [[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]=[[n, _2744], _2750, "->", _2768]
[1;31mFail: [0m(18) [[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]=[[n, _2744], _2750, "->", _2768]
[1;33mRedo: [0m(17) convert_to_grammar_part11([[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]]], _2750, [], _2754, [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]]], _2758, [], _2762)
[1;32mCall: [0m(18) [[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]=[[n, _2744], "->", _2762]
[1;31mFail: [0m(18) [[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]=[[n, _2744], "->", _2762]
[1;33mRedo: [0m(17) convert_to_grammar_part11([[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]]], _2744, [], _2748, [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]]], _2752, [], _2756)
[1;34mUnify: [0m(17) convert_to_grammar_part11([[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]]], _2744, [], _2748, [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]]], _2752, [], _2756)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]=[_2726|_2728]
[1;32mExit: [0m(18) [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]=[[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]
[1;32mCall: [0m(18) [[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]=[_2732, _2738, ":-", _2756]
[1;32mExit: [0m(18) [[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]=[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n, +], [[...|...]|...]]]]
[1;32mCall: [0m(18) true
[1;32mExit: [0m(18) true
[1;32mCall: [0m(18) true
[1;32mExit: [0m(18) true
[1;32mCall: [0m(18) true
[1;32mExit: [0m(18) true
[1;32mCall: [0m(18) true
[1;32mExit: [0m(18) true
[1;32mCall: [0m(18) lists:append([[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]], [[[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2786)
[1;34mUnify: [0m(18) lists:append([[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]], [[[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]|_2770])
[1;32mExit: [0m(18) lists:append([[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]]], [[[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]]])
[1;32mCall: [0m(18) lists:append([[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]], [[[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], _2810)
[1;34mUnify: [0m(18) lists:append([[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]], [[[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]|_2794])
[1;32mExit: [0m(18) lists:append([[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]]], [[[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [[[[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]], [[n, function0], [[v|...], [...|...]|...], ":-", [...|...]]], [[[n, function1], [[v|...], [...|...]|...], ":-", [...]], [[n, function1], [[...|...]|...], ":-"|...]]])
[1;32mCall: [0m(18) convert_to_grammar_part11([], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2816, [], _2820, [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], _2824, [], _2828)
[1;34mUnify: [0m(18) convert_to_grammar_part11([], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], [], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [], [])
[1;32mExit: [0m(18) convert_to_grammar_part11([], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], [], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [], [])
[1;32mExit: [0m(17) convert_to_grammar_part11([[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], [], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]]], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [], [])
[1;32mExit: [0m(16) convert_to_grammar_part11([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], [], [], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]], [], [])
[1;32mCall: [0m(16) _2812=[[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]
[1;32mExit: [0m(16) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]
[1;32mCall: [0m(16) _2812=[[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]]
[1;32mExit: [0m(16) [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]]=[[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]]
[1;32mExit: [0m(15) convert_to_grammar_part1([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[[n, function0], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...], [...|...]]], [[n, function0], [[v, a], [v|...], [...|...]], ":-", [[...|...]|...]]], [[[n, function1], [[v, a], [v|...], [...|...]], ":-", [[...|...]]], [[n, function1], [[v|...], [...|...]|...], ":-", [...]]]])
[1;32mCall: [0m(15) interpret1(off, [[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2820)
[1;34mUnify: [0m(15) interpret1(off, [[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2820)
^ [1;32mCall: [0m(16) retractall(debug(_2798))
^ [1;32mExit: [0m(16) retractall(debug(_2798))
^ [1;32mCall: [0m(16) assertz(debug(off))
^ [1;32mExit: [0m(16) assertz(debug(off))
^ [1;32mCall: [0m(16) retractall(cut(_2806))
^ [1;32mExit: [0m(16) retractall(cut(_2806))
^ [1;32mCall: [0m(16) assertz(cut(off))
^ [1;32mExit: [0m(16) assertz(cut(off))
^ [1;32mCall: [0m(16) retractall(leash1(_2814))
^ [1;32mExit: [0m(16) retractall(leash1(_2814))
^ [1;32mCall: [0m(16) assertz(leash1(off))
^ [1;32mExit: [0m(16) assertz(leash1(off))
[1;32mCall: [0m(16) member1([[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2842)
[1;34mUnify: [0m(16) member1([[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _2842)
[1;32mCall: [0m(17) cut(off)
[1;34mUnify: [0m(17) cut(off)
[1;32mExit: [0m(17) cut(off)
[1;32mCall: [0m(17) [[n, function0], [947, 918, [v, c]]]=[_2822, _2828]
[1;32mExit: [0m(17) [[n, function0], [947, 918, [v, c]]]=[[n, function0], [947, 918, [v, c]]]
[1;32mCall: [0m(17) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function0], _2846, ":-", _2864]|_2836]
[1;32mExit: [0m(17) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]
[1;32mCall: [0m(17) length([947, 918, [v, c]], _2886)
[1;34mUnify: [0m(17) length([947, 918, [v, c]], _2886)
[1;32mExit: [0m(17) length([947, 918, [v, c]], 3)
[1;32mCall: [0m(17) length([[v, a], [v, b], [v, c]], 3)
[1;34mUnify: [0m(17) length([[v, a], [v, b], [v, c]], 3)
[1;34mUnify: [0m(17) length([[v, a], [v, b], [v, c]], 3)
[1;32mExit: [0m(17) length([[v, a], [v, b], [v, c]], 3)
[1;32mCall: [0m(17) checkarguments([947, 918, [v, c]], [[v, a], [v, b], [v, c]], [], _2890, [], _2894)
[1;34mUnify: [0m(17) checkarguments([947, 918, [v, c]], [[v, a], [v, b], [v, c]], [], _2890, [], _2894)
[1;32mCall: [0m(18) [947, 918, [v, c]]=[_2870|_2872]
[1;32mExit: [0m(18) [947, 918, [v, c]]=[947, 918, [v, c]]
[1;32mCall: [0m(18) expressionnotatom3(947)
[1;34mUnify: [0m(18) expressionnotatom3(947)
[1;32mCall: [0m(19) expressionnotatom(947)
[1;34mUnify: [0m(19) expressionnotatom(947)
[1;32mCall: [0m(20) isvalstrempty(947)
[1;34mUnify: [0m(20) isvalstrempty(947)
[1;32mCall: [0m(21) var(947)
[1;31mFail: [0m(21) var(947)
[1;33mRedo: [0m(20) isvalstrempty(947)
[1;34mUnify: [0m(20) isvalstrempty(947)
[1;32mCall: [0m(21) isval(947)
[1;34mUnify: [0m(21) isval(947)
[1;32mExit: [0m(21) isval(947)
[1;32mExit: [0m(20) isvalstrempty(947)
[1;32mExit: [0m(19) expressionnotatom(947)
[1;32mExit: [0m(18) expressionnotatom3(947)
[1;32mCall: [0m(18) [[v, a], [v, b], [v, c]]=[_2876|_2878]
[1;32mExit: [0m(18) [[v, a], [v, b], [v, c]]=[[v, a], [v, b], [v, c]]
^ [1;32mCall: [0m(18) not(var([v, a]))
^ [1;34mUnify: [0m(18) not(user:var([v, a]))
^ [1;32mExit: [0m(18) not(user:var([v, a]))
[1;32mCall: [0m(18) isvar([v, a])
[1;34mUnify: [0m(18) isvar([v, a])
[1;32mExit: [0m(18) isvar([v, a])
[1;32mCall: [0m(18) putvalue([v, a], 947, [], _2912)
[1;34mUnify: [0m(18) putvalue([v, a], 947, [], _2912)
^ [1;32mCall: [0m(19) not(isvar([v, a]))
^ [1;34mUnify: [0m(19) not(user:isvar([v, a]))
[1;32mCall: [0m(20) isvar([v, a])
[1;34mUnify: [0m(20) isvar([v, a])
[1;32mExit: [0m(20) isvar([v, a])
^ [1;31mFail: [0m(19) not(user:isvar([v, a]))
[1;33mRedo: [0m(18) putvalue([v, a], 947, [], _2912)
[1;32mCall: [0m(19) isvar([v, a])
[1;34mUnify: [0m(19) isvar([v, a])
[1;32mExit: [0m(19) isvar([v, a])
[1;32mCall: [0m(19) isvalstrorundef(947)
[1;34mUnify: [0m(19) isvalstrorundef(947)
[1;32mCall: [0m(20) var(947)
[1;31mFail: [0m(20) var(947)
[1;33mRedo: [0m(19) isvalstrorundef(947)
[1;34mUnify: [0m(19) isvalstrorundef(947)
^ [1;32mCall: [0m(20) not(var(947))
^ [1;34mUnify: [0m(20) not(user:var(947))
^ [1;32mExit: [0m(20) not(user:var(947))
[1;32mCall: [0m(20) isval(947)
[1;34mUnify: [0m(20) isval(947)
[1;32mExit: [0m(20) isval(947)
[1;32mExit: [0m(19) isvalstrorundef(947)
[1;32mCall: [0m(19) updatevar([v, a], 947, [], _2922)
[1;34mUnify: [0m(19) updatevar([v, a], 947, [], _2922)
[1;32mCall: [0m(20) lists:member([[v, a], empty], [])
[1;31mFail: [0m(20) lists:member([[v, a], empty], [])
[1;33mRedo: [0m(19) updatevar([v, a], 947, [], _2922)
^ [1;32mCall: [0m(20) not(member([[v, a], _2914], []))
^ [1;34mUnify: [0m(20) not(user:member([[v, a], _2914], []))
^ [1;32mExit: [0m(20) not(user:member([[v, a], _2914], []))
[1;32mCall: [0m(20) _2914=empty
[1;32mExit: [0m(20) empty=empty
[1;32mCall: [0m(20) true
[1;32mExit: [0m(20) true
[1;32mCall: [0m(20) lists:append([], [[[v, a], 947]], _2962)
[1;34mUnify: [0m(20) lists:append([], [[[v, a], 947]], [[[v, a], 947]])
[1;32mExit: [0m(20) lists:append([], [[[v, a], 947]], [[[v, a], 947]])
[1;32mCall: [0m(20) true
[1;32mExit: [0m(20) true
[1;32mCall: [0m(20) true
[1;32mExit: [0m(20) true
[1;32mExit: [0m(19) updatevar([v, a], 947, [], [[[v, a], 947]])
[1;32mExit: [0m(18) putvalue([v, a], 947, [], [[[v, a], 947]])
[1;32mCall: [0m(18) checkarguments([918, [v, c]], [[v, b], [v, c]], [[[v, a], 947]], _2964, [], _2968)
[1;34mUnify: [0m(18) checkarguments([918, [v, c]], [[v, b], [v, c]], [[[v, a], 947]], _2964, [], _2968)
[1;32mCall: [0m(19) [918, [v, c]]=[_2944|_2946]
[1;32mExit: [0m(19) [918, [v, c]]=[918, [v, c]]
[1;32mCall: [0m(19) expressionnotatom3(918)
[1;34mUnify: [0m(19) expressionnotatom3(918)
[1;32mCall: [0m(20) expressionnotatom(918)
[1;34mUnify: [0m(20) expressionnotatom(918)
[1;32mCall: [0m(21) isvalstrempty(918)
[1;34mUnify: [0m(21) isvalstrempty(918)
[1;32mCall: [0m(22) var(918)
[1;31mFail: [0m(22) var(918)
[1;33mRedo: [0m(21) isvalstrempty(918)
[1;34mUnify: [0m(21) isvalstrempty(918)
[1;32mCall: [0m(22) isval(918)
[1;34mUnify: [0m(22) isval(918)
[1;32mExit: [0m(22) isval(918)
[1;32mExit: [0m(21) isvalstrempty(918)
[1;32mExit: [0m(20) expressionnotatom(918)
[1;32mExit: [0m(19) expressionnotatom3(918)
[1;32mCall: [0m(19) [[v, b], [v, c]]=[_2950|_2952]
[1;32mExit: [0m(19) [[v, b], [v, c]]=[[v, b], [v, c]]
^ [1;32mCall: [0m(19) not(var([v, b]))
^ [1;34mUnify: [0m(19) not(user:var([v, b]))
^ [1;32mExit: [0m(19) not(user:var([v, b]))
[1;32mCall: [0m(19) isvar([v, b])
[1;34mUnify: [0m(19) isvar([v, b])
[1;32mExit: [0m(19) isvar([v, b])
[1;32mCall: [0m(19) putvalue([v, b], 918, [[[v, a], 947]], _2986)
[1;34mUnify: [0m(19) putvalue([v, b], 918, [[[v, a], 947]], _2986)
^ [1;32mCall: [0m(20) not(isvar([v, b]))
^ [1;34mUnify: [0m(20) not(user:isvar([v, b]))
[1;32mCall: [0m(21) isvar([v, b])
[1;34mUnify: [0m(21) isvar([v, b])
[1;32mExit: [0m(21) isvar([v, b])
^ [1;31mFail: [0m(20) not(user:isvar([v, b]))
[1;33mRedo: [0m(19) putvalue([v, b], 918, [[[v, a], 947]], _2986)
[1;32mCall: [0m(20) isvar([v, b])
[1;34mUnify: [0m(20) isvar([v, b])
[1;32mExit: [0m(20) isvar([v, b])
[1;32mCall: [0m(20) isvalstrorundef(918)
[1;34mUnify: [0m(20) isvalstrorundef(918)
[1;32mCall: [0m(21) var(918)
[1;31mFail: [0m(21) var(918)
[1;33mRedo: [0m(20) isvalstrorundef(918)
[1;34mUnify: [0m(20) isvalstrorundef(918)
^ [1;32mCall: [0m(21) not(var(918))
^ [1;34mUnify: [0m(21) not(user:var(918))
^ [1;32mExit: [0m(21) not(user:var(918))
[1;32mCall: [0m(21) isval(918)
[1;34mUnify: [0m(21) isval(918)
[1;32mExit: [0m(21) isval(918)
[1;32mExit: [0m(20) isvalstrorundef(918)
[1;32mCall: [0m(20) updatevar([v, b], 918, [[[v, a], 947]], _2996)
[1;34mUnify: [0m(20) updatevar([v, b], 918, [[[v, a], 947]], _2996)
[1;32mCall: [0m(21) lists:member([[v, b], empty], [[[v, a], 947]])
[1;34mUnify: [0m(21) lists:member([[v, b], empty], [[[v, a], 947]])
[1;31mFail: [0m(21) lists:member([[v, b], empty], [[[v, a], 947]])
[1;33mRedo: [0m(20) updatevar([v, b], 918, [[[v, a], 947]], _2996)
^ [1;32mCall: [0m(21) not(member([[v, b], _2988], [[[v, a], 947]]))
^ [1;34mUnify: [0m(21) not(user:member([[v, b], _2988], [[[v, a], 947]]))
^ [1;32mExit: [0m(21) not(user:member([[v, b], _2988], [[[v, a], 947]]))
[1;32mCall: [0m(21) _2988=empty
[1;32mExit: [0m(21) empty=empty
[1;32mCall: [0m(21) true
[1;32mExit: [0m(21) true
[1;32mCall: [0m(21) lists:append([[[v, a], 947]], [[[v, b], 918]], _3036)
[1;34mUnify: [0m(21) lists:append([[[v, a], 947]], [[[v, b], 918]], [[[v, a], 947]|_3020])
[1;32mExit: [0m(21) lists:append([[[v, a], 947]], [[[v, b], 918]], [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(21) true
[1;32mExit: [0m(21) true
[1;32mCall: [0m(21) true
[1;32mExit: [0m(21) true
[1;32mExit: [0m(20) updatevar([v, b], 918, [[[v, a], 947]], [[[v, a], 947], [[v, b], 918]])
[1;32mExit: [0m(19) putvalue([v, b], 918, [[[v, a], 947]], [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3044, [], _3048)
[1;34mUnify: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3044, [], _3048)
[1;32mCall: [0m(20) [[v, c]]=[_3024|_3026]
[1;32mExit: [0m(20) [[v, c]]=[[v, c]]
[1;32mCall: [0m(20) expressionnotatom3([v, c])
[1;34mUnify: [0m(20) expressionnotatom3([v, c])
[1;32mCall: [0m(21) expressionnotatom([v, c])
[1;34mUnify: [0m(21) expressionnotatom([v, c])
[1;32mCall: [0m(22) isvalstrempty([v, c])
[1;34mUnify: [0m(22) isvalstrempty([v, c])
[1;32mCall: [0m(23) var([v, c])
[1;31mFail: [0m(23) var([v, c])
[1;33mRedo: [0m(22) isvalstrempty([v, c])
[1;34mUnify: [0m(22) isvalstrempty([v, c])
[1;32mCall: [0m(23) isval([v, c])
[1;34mUnify: [0m(23) isval([v, c])
[1;31mFail: [0m(23) isval([v, c])
[1;33mRedo: [0m(22) isvalstrempty([v, c])
[1;34mUnify: [0m(22) isvalstrempty([v, c])
[1;31mFail: [0m(22) isvalstrempty([v, c])
[1;33mRedo: [0m(21) expressionnotatom([v, c])
[1;34mUnify: [0m(21) expressionnotatom([v, c])
^ [1;32mCall: [0m(22) not(atom([v, c]))
^ [1;34mUnify: [0m(22) not(user:atom([v, c]))
^ [1;32mExit: [0m(22) not(user:atom([v, c]))
[1;32mCall: [0m(22) length([v, c], _3056)
[1;34mUnify: [0m(22) length([v, c], _3056)
[1;32mExit: [0m(22) length([v, c], 2)
[1;32mCall: [0m(22) 2>=1
[1;32mExit: [0m(22) 2>=1
[1;32mCall: [0m(22) expressionnotatom2([v, c])
[1;34mUnify: [0m(22) expressionnotatom2([v, c])
[1;32mCall: [0m(23) isvalstrempty(v)
[1;34mUnify: [0m(23) isvalstrempty(v)
[1;32mCall: [0m(24) var(v)
[1;31mFail: [0m(24) var(v)
[1;33mRedo: [0m(23) isvalstrempty(v)
[1;34mUnify: [0m(23) isvalstrempty(v)
[1;32mCall: [0m(24) isval(v)
[1;34mUnify: [0m(24) isval(v)
[1;31mFail: [0m(24) isval(v)
[1;33mRedo: [0m(23) isvalstrempty(v)
[1;34mUnify: [0m(23) isvalstrempty(v)
[1;31mFail: [0m(23) isvalstrempty(v)
[1;31mFail: [0m(22) expressionnotatom2([v, c])
[1;33mRedo: [0m(21) expressionnotatom([v, c])
[1;34mUnify: [0m(21) expressionnotatom([v, c])
[1;32mCall: [0m(22) predicate_or_rule_name([v, c])
[1;31mFail: [0m(22) predicate_or_rule_name([v, c])
[1;31mFail: [0m(21) expressionnotatom([v, c])
[1;33mRedo: [0m(20) expressionnotatom3([v, c])
[1;34mUnify: [0m(20) expressionnotatom3([v, c])
^ [1;32mCall: [0m(21) not([v, c]=[v, _3042])
^ [1;34mUnify: [0m(21) not(user:([v, c]=[v, _3042]))
^ [1;31mFail: [0m(21) not(user:([v, c]=[v, _3042]))
[1;31mFail: [0m(20) expressionnotatom3([v, c])
[1;33mRedo: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3044, [], _3048)
[1;34mUnify: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3044, [], _3048)
[1;32mCall: [0m(20) [[v, c]]=[_3024|_3026]
[1;32mExit: [0m(20) [[v, c]]=[[v, c]]
^ [1;32mCall: [0m(20) not(var([v, c]))
^ [1;34mUnify: [0m(20) not(user:var([v, c]))
^ [1;32mExit: [0m(20) not(user:var([v, c]))
[1;32mCall: [0m(20) isvar([v, c])
[1;34mUnify: [0m(20) isvar([v, c])
[1;32mExit: [0m(20) isvar([v, c])
[1;32mCall: [0m(20) [[v, c]]=[_3040|_3042]
[1;32mExit: [0m(20) [[v, c]]=[[v, c]]
[1;32mCall: [0m(20) expressionnotatom3([v, c])
[1;34mUnify: [0m(20) expressionnotatom3([v, c])
[1;32mCall: [0m(21) expressionnotatom([v, c])
[1;34mUnify: [0m(21) expressionnotatom([v, c])
[1;32mCall: [0m(22) isvalstrempty([v, c])
[1;34mUnify: [0m(22) isvalstrempty([v, c])
[1;32mCall: [0m(23) var([v, c])
[1;31mFail: [0m(23) var([v, c])
[1;33mRedo: [0m(22) isvalstrempty([v, c])
[1;34mUnify: [0m(22) isvalstrempty([v, c])
[1;32mCall: [0m(23) isval([v, c])
[1;34mUnify: [0m(23) isval([v, c])
[1;31mFail: [0m(23) isval([v, c])
[1;33mRedo: [0m(22) isvalstrempty([v, c])
[1;34mUnify: [0m(22) isvalstrempty([v, c])
[1;31mFail: [0m(22) isvalstrempty([v, c])
[1;33mRedo: [0m(21) expressionnotatom([v, c])
[1;34mUnify: [0m(21) expressionnotatom([v, c])
^ [1;32mCall: [0m(22) not(atom([v, c]))
^ [1;34mUnify: [0m(22) not(user:atom([v, c]))
^ [1;32mExit: [0m(22) not(user:atom([v, c]))
[1;32mCall: [0m(22) length([v, c], _3072)
[1;34mUnify: [0m(22) length([v, c], _3072)
[1;32mExit: [0m(22) length([v, c], 2)
[1;32mCall: [0m(22) 2>=1
[1;32mExit: [0m(22) 2>=1
[1;32mCall: [0m(22) expressionnotatom2([v, c])
[1;34mUnify: [0m(22) expressionnotatom2([v, c])
[1;32mCall: [0m(23) isvalstrempty(v)
[1;34mUnify: [0m(23) isvalstrempty(v)
[1;32mCall: [0m(24) var(v)
[1;31mFail: [0m(24) var(v)
[1;33mRedo: [0m(23) isvalstrempty(v)
[1;34mUnify: [0m(23) isvalstrempty(v)
[1;32mCall: [0m(24) isval(v)
[1;34mUnify: [0m(24) isval(v)
[1;31mFail: [0m(24) isval(v)
[1;33mRedo: [0m(23) isvalstrempty(v)
[1;34mUnify: [0m(23) isvalstrempty(v)
[1;31mFail: [0m(23) isvalstrempty(v)
[1;31mFail: [0m(22) expressionnotatom2([v, c])
[1;33mRedo: [0m(21) expressionnotatom([v, c])
[1;34mUnify: [0m(21) expressionnotatom([v, c])
[1;32mCall: [0m(22) predicate_or_rule_name([v, c])
[1;31mFail: [0m(22) predicate_or_rule_name([v, c])
[1;31mFail: [0m(21) expressionnotatom([v, c])
[1;33mRedo: [0m(20) expressionnotatom3([v, c])
[1;34mUnify: [0m(20) expressionnotatom3([v, c])
^ [1;32mCall: [0m(21) not([v, c]=[v, _3058])
^ [1;34mUnify: [0m(21) not(user:([v, c]=[v, _3058]))
^ [1;31mFail: [0m(21) not(user:([v, c]=[v, _3058]))
[1;31mFail: [0m(20) expressionnotatom3([v, c])
[1;33mRedo: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3044, [], _3048)
[1;34mUnify: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3044, [], _3048)
[1;32mCall: [0m(20) [[v, c]]=[_3024|_3026]
[1;32mExit: [0m(20) [[v, c]]=[[v, c]]
^ [1;32mCall: [0m(20) not(var([v, c]))
^ [1;34mUnify: [0m(20) not(user:var([v, c]))
^ [1;32mExit: [0m(20) not(user:var([v, c]))
[1;32mCall: [0m(20) isvar([v, c])
[1;34mUnify: [0m(20) isvar([v, c])
[1;32mExit: [0m(20) isvar([v, c])
[1;32mCall: [0m(20) [[v, c]]=[_3040|_3042]
[1;32mExit: [0m(20) [[v, c]]=[[v, c]]
^ [1;32mCall: [0m(20) not(var([v, c]))
^ [1;34mUnify: [0m(20) not(user:var([v, c]))
^ [1;32mExit: [0m(20) not(user:var([v, c]))
[1;32mCall: [0m(20) isvar([v, c])
[1;34mUnify: [0m(20) isvar([v, c])
[1;32mExit: [0m(20) isvar([v, c])
[1;32mCall: [0m(20) getvalue([v, c], _3072, [[[v, a], 947], [[v, b], 918]])
[1;34mUnify: [0m(20) getvalue([v, c], _3072, [[[v, a], 947], [[v, b], 918]])
^ [1;32mCall: [0m(21) not(isvar([v, c]))
^ [1;34mUnify: [0m(21) not(user:isvar([v, c]))
[1;32mCall: [0m(22) isvar([v, c])
[1;34mUnify: [0m(22) isvar([v, c])
[1;32mExit: [0m(22) isvar([v, c])
^ [1;31mFail: [0m(21) not(user:isvar([v, c]))
[1;33mRedo: [0m(20) getvalue([v, c], _3072, [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(21) isvar([v, c])
[1;34mUnify: [0m(21) isvar([v, c])
[1;32mExit: [0m(21) isvar([v, c])
[1;32mCall: [0m(21) isvalstrorundef(_3070)
[1;34mUnify: [0m(21) isvalstrorundef(_3070)
[1;32mCall: [0m(22) var(_3070)
[1;32mExit: [0m(22) var(_3070)
[1;32mExit: [0m(21) isvalstrorundef(_3070)
[1;32mCall: [0m(21) getvar([v, c], _3072, [[[v, a], 947], [[v, b], 918]])
[1;34mUnify: [0m(21) getvar([v, c], _3072, [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(22) lists:member([[v, c], _3062], [[[v, a], 947], [[v, b], 918]])
[1;34mUnify: [0m(22) lists:member([[v, c], _3062], [[[v, a], 947], [[v, b], 918]])
[1;31mFail: [0m(22) lists:member([[v, c], _3062], [[[v, a], 947], [[v, b], 918]])
[1;33mRedo: [0m(21) getvar([v, c], _3072, [[[v, a], 947], [[v, b], 918]])
[1;34mUnify: [0m(21) getvar([v, c], empty, [[[v, a], 947], [[v, b], 918]])
^ [1;32mCall: [0m(22) not(member([[v, c], _3068], [[[v, a], 947], [[v, b], 918]]))
^ [1;34mUnify: [0m(22) not(user:member([[v, c], _3068], [[[v, a], 947], [[v, b], 918]]))
^ [1;32mExit: [0m(22) not(user:member([[v, c], _3068], [[[v, a], 947], [[v, b], 918]]))
[1;32mCall: [0m(22) true
[1;32mExit: [0m(22) true
[1;32mExit: [0m(21) getvar([v, c], empty, [[[v, a], 947], [[v, b], 918]])
[1;32mExit: [0m(20) getvalue([v, c], empty, [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(20) true
[1;32mExit: [0m(20) true
[1;32mCall: [0m(20) putvalue([v, c], empty, [[[v, a], 947], [[v, b], 918]], _3100)
[1;34mUnify: [0m(20) putvalue([v, c], empty, [[[v, a], 947], [[v, b], 918]], _3100)
^ [1;32mCall: [0m(21) not(isvar([v, c]))
^ [1;34mUnify: [0m(21) not(user:isvar([v, c]))
[1;32mCall: [0m(22) isvar([v, c])
[1;34mUnify: [0m(22) isvar([v, c])
[1;32mExit: [0m(22) isvar([v, c])
^ [1;31mFail: [0m(21) not(user:isvar([v, c]))
[1;33mRedo: [0m(20) putvalue([v, c], empty, [[[v, a], 947], [[v, b], 918]], _3100)
[1;32mCall: [0m(21) isvar([v, c])
[1;34mUnify: [0m(21) isvar([v, c])
[1;32mExit: [0m(21) isvar([v, c])
[1;32mCall: [0m(21) isvalstrorundef(empty)
[1;34mUnify: [0m(21) isvalstrorundef(empty)
[1;32mCall: [0m(22) var(empty)
[1;31mFail: [0m(22) var(empty)
[1;33mRedo: [0m(21) isvalstrorundef(empty)
[1;34mUnify: [0m(21) isvalstrorundef(empty)
^ [1;32mCall: [0m(22) not(var(empty))
^ [1;34mUnify: [0m(22) not(user:var(empty))
^ [1;32mExit: [0m(22) not(user:var(empty))
[1;32mCall: [0m(22) isval(empty)
[1;34mUnify: [0m(22) isval(empty)
[1;31mFail: [0m(22) isval(empty)
[1;33mRedo: [0m(21) isvalstrorundef(empty)
[1;34mUnify: [0m(21) isvalstrorundef(empty)
^ [1;32mCall: [0m(22) not(var(empty))
^ [1;34mUnify: [0m(22) not(user:var(empty))
^ [1;32mExit: [0m(22) not(user:var(empty))
[1;32mCall: [0m(22) expression(empty)
[1;34mUnify: [0m(22) expression(empty)
[1;32mExit: [0m(22) expression(empty)
[1;32mExit: [0m(21) isvalstrorundef(empty)
[1;32mCall: [0m(21) updatevar([v, c], empty, [[[v, a], 947], [[v, b], 918]], _3110)
[1;34mUnify: [0m(21) updatevar([v, c], empty, [[[v, a], 947], [[v, b], 918]], _3110)
[1;32mCall: [0m(22) lists:member([[v, c], empty], [[[v, a], 947], [[v, b], 918]])
[1;34mUnify: [0m(22) lists:member([[v, c], empty], [[[v, a], 947], [[v, b], 918]])
[1;31mFail: [0m(22) lists:member([[v, c], empty], [[[v, a], 947], [[v, b], 918]])
[1;33mRedo: [0m(21) updatevar([v, c], empty, [[[v, a], 947], [[v, b], 918]], _3110)
^ [1;32mCall: [0m(22) not(member([[v, c], _3102], [[[v, a], 947], [[v, b], 918]]))
^ [1;34mUnify: [0m(22) not(user:member([[v, c], _3102], [[[v, a], 947], [[v, b], 918]]))
^ [1;32mExit: [0m(22) not(user:member([[v, c], _3102], [[[v, a], 947], [[v, b], 918]]))
[1;32mCall: [0m(22) _3102=empty
[1;32mExit: [0m(22) empty=empty
[1;32mCall: [0m(22) true
[1;32mExit: [0m(22) true
[1;32mCall: [0m(22) lists:append([[[v, a], 947], [[v, b], 918]], [[[v, c], empty]], _3150)
[1;34mUnify: [0m(22) lists:append([[[v, a], 947], [[v, b], 918]], [[[v, c], empty]], [[[v, a], 947]|_3134])
[1;32mExit: [0m(22) lists:append([[[v, a], 947], [[v, b], 918]], [[[v, c], empty]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(22) true
[1;32mExit: [0m(22) true
[1;32mCall: [0m(22) true
[1;32mExit: [0m(22) true
[1;32mExit: [0m(21) updatevar([v, c], empty, [[[v, a], 947], [[v, b], 918]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(20) putvalue([v, c], empty, [[[v, a], 947], [[v, b], 918]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(20) lists:append([], [[[v, c], [v, c]]], _3180)
[1;34mUnify: [0m(20) lists:append([], [[[v, c], [v, c]]], [[[v, c], [v, c]]])
[1;32mExit: [0m(20) lists:append([], [[[v, c], [v, c]]], [[[v, c], [v, c]]])
[1;32mCall: [0m(20) checkarguments([], [], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[v, c], [v, c]]], _3186)
[1;34mUnify: [0m(20) checkarguments([], [], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [[[v, c], [v, c]]], [[[v, c], [v, c]]])
[1;32mExit: [0m(20) checkarguments([], [], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [[[v, c], [v, c]]], [[[v, c], [v, c]]])
[1;32mExit: [0m(19) checkarguments([[v, c]], [[v, c]], [[[v, a], 947], [[v, b], 918]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], [[[v, c], [v, c]]])
[1;32mExit: [0m(18) checkarguments([918, [v, c]], [[v, b], [v, c]], [[[v, a], 947]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], [[[v, c], [v, c]]])
[1;32mExit: [0m(17) checkarguments([947, 918, [v, c]], [[v, a], [v, b], [v, c]], [], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], [[[v, c], [v, c]]])
[1;32mCall: [0m(17) debug(on)
[1;31mFail: [0m(17) debug(on)
[1;33mRedo: [0m(16) member1([[n, function0], [947, 918, [v, c]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3182)
[1;32mCall: [0m(17) true
[1;32mExit: [0m(17) true
[1;32mCall: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;34mUnify: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[_3168|_3170]|_3164]
[1;32mExit: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]
^ [1;32mCall: [0m(18) not(predicate_or_rule_name([n, function1]))
^ [1;34mUnify: [0m(18) not(user:predicate_or_rule_name([n, function1]))
[1;32mCall: [0m(19) predicate_or_rule_name([n, function1])
[1;34mUnify: [0m(19) predicate_or_rule_name([n, function1])
[1;32mExit: [0m(19) predicate_or_rule_name([n, function1])
^ [1;31mFail: [0m(18) not(user:predicate_or_rule_name([n, function1]))
[1;33mRedo: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;34mUnify: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, not], [_3192]]|_3164]
[1;31mFail: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, not], [_3192]]|_3164]
[1;33mRedo: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;34mUnify: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, or], [_3192, _3198]]|_3164]
[1;31mFail: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, or], [_3192, _3198]]|_3164]
[1;33mRedo: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;34mUnify: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, "->"], [_3198, _3204]]|_3164]
[1;31mFail: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, "->"], [_3198, _3204]]|_3164]
[1;33mRedo: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;34mUnify: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, "->"], [_3198, _3204, _3210]]|_3164]
[1;31mFail: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, "->"], [_3198, _3204, _3210]]|_3164]
[1;33mRedo: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;34mUnify: [0m(17) interpretbody([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3182, [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]], true)
[1;32mCall: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[_3162|_3164]
[1;32mExit: [0m(18) [[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]=[[[n, function1], [[v, a], [v, b], [v, d]]], [[n, =], [[v, c], [v, d]]]]
^ [1;32mCall: [0m(18) not(predicate_or_rule_name([[n, function1], [[v, a], [v, b], [v, d]]]))
^ [1;34mUnify: [0m(18) not(user:predicate_or_rule_name([[n, function1], [[v, a], [v, b], [v|...]]]))
[1;32mCall: [0m(19) predicate_or_rule_name([[n, function1], [[v, a], [v, b], [v, d]]])
[1;31mFail: [0m(19) predicate_or_rule_name([[n, function1], [[v, a], [v, b], [v, d]]])
^ [1;32mExit: [0m(18) not(user:predicate_or_rule_name([[n, function1], [[v, a], [v, b], [v|...]]]))
[1;32mCall: [0m(18) interpretstatement1([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[n, function1], [[v, a], [v, b], [v, d]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3200, _3202, _3204)
[1;34mUnify: [0m(18) interpretstatement1([[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[n, function1], [[v, a], [v, b], [v, d]]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], _3200, true, nocut)
[1;32mCall: [0m(19) [[n, function1], [[v, a], [v, b], [v, d]]]=[_3178, _3184]
[1;32mExit: [0m(19) [[n, function1], [[v, a], [v, b], [v, d]]]=[[n, function1], [[v, a], [v, b], [v, d]]]
[1;32mCall: [0m(19) substitutevarsA1([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], _3210, [], _3214)
[1;34mUnify: [0m(19) substitutevarsA1([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], _3210, [], _3214)
[1;32mCall: [0m(20) substitutevarsA2([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], _3210, [], _3214)
[1;34mUnify: [0m(20) substitutevarsA2([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], _3210, [], _3214)
[1;32mCall: [0m(21) [[v, a], [v, b], [v, d]]=[_3190|_3192]
[1;32mExit: [0m(21) [[v, a], [v, b], [v, d]]=[[v, a], [v, b], [v, d]]
[1;32mCall: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(22) not(isvar([v, a]))
^ [1;34mUnify: [0m(22) not(user:isvar([v, a]))
[1;32mCall: [0m(23) isvar([v, a])
[1;34mUnify: [0m(23) isvar([v, a])
[1;32mExit: [0m(23) isvar([v, a])
^ [1;31mFail: [0m(22) not(user:isvar([v, a]))
[1;33mRedo: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(22) isvar([v, a])
[1;34mUnify: [0m(22) isvar([v, a])
[1;32mExit: [0m(22) isvar([v, a])
[1;32mCall: [0m(22) isvalstrorundef(_3210)
[1;34mUnify: [0m(22) isvalstrorundef(_3210)
[1;32mCall: [0m(23) var(_3210)
[1;32mExit: [0m(23) var(_3210)
[1;32mExit: [0m(22) isvalstrorundef(_3210)
[1;32mCall: [0m(22) getvar([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(22) getvar([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(23) lists:member([[v, a], _3202], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) lists:member([[v, a], _3202], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(23) lists:member([[v, a], 947], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(23) not(947=empty)
^ [1;34mUnify: [0m(23) not(user:(947=empty))
^ [1;32mExit: [0m(23) not(user:(947=empty))
[1;32mExit: [0m(22) getvar([v, a], 947, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(21) getvalue([v, a], 947, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(21) 947=empty
[1;31mFail: [0m(21) 947=empty
[1;33mRedo: [0m(23) lists:member([[v, a], _3202], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(23) lists:member([[v, a], _3202], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;33mRedo: [0m(22) getvar([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(22) getvar([v, a], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(23) not(member([[v, a], _3208], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
^ [1;34mUnify: [0m(23) not(user:member([[v, a], _3208], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
^ [1;31mFail: [0m(23) not(user:member([[v, a], _3208], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
[1;33mRedo: [0m(22) getvar([v, a], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(23) lists:member([[v, a], empty], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) lists:member([[v, a], empty], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(23) lists:member([[v, a], empty], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(22) getvar([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;33mRedo: [0m(20) substitutevarsA2([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], _3216, [], _3220)
[1;32mCall: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(22) not(isvar([v, a]))
^ [1;34mUnify: [0m(22) not(user:isvar([v, a]))
[1;32mCall: [0m(23) isvar([v, a])
[1;34mUnify: [0m(23) isvar([v, a])
[1;32mExit: [0m(23) isvar([v, a])
^ [1;31mFail: [0m(22) not(user:isvar([v, a]))
[1;33mRedo: [0m(21) getvalue([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(22) isvar([v, a])
[1;34mUnify: [0m(22) isvar([v, a])
[1;32mExit: [0m(22) isvar([v, a])
[1;32mCall: [0m(22) isvalstrorundef(_3210)
[1;34mUnify: [0m(22) isvalstrorundef(_3210)
[1;32mCall: [0m(23) var(_3210)
[1;32mExit: [0m(23) var(_3210)
[1;32mExit: [0m(22) isvalstrorundef(_3210)
[1;32mCall: [0m(22) getvar([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(22) getvar([v, a], _3212, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(23) lists:member([[v, a], _3202], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) lists:member([[v, a], _3202], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(23) lists:member([[v, a], 947], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(23) not(947=empty)
^ [1;34mUnify: [0m(23) not(user:(947=empty))
^ [1;32mExit: [0m(23) not(user:(947=empty))
[1;32mExit: [0m(22) getvar([v, a], 947, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(21) getvalue([v, a], 947, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(21) lists:append([], [947], _3244)
[1;34mUnify: [0m(21) lists:append([], [947], [947])
[1;32mExit: [0m(21) lists:append([], [947], [947])
[1;32mCall: [0m(21) _3240=[]
[1;32mExit: [0m(21) []=[]
[1;32mCall: [0m(21) substitutevarsA2([[v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947], _3246, [], _3250)
[1;34mUnify: [0m(21) substitutevarsA2([[v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947], _3246, [], _3250)
[1;32mCall: [0m(22) [[v, b], [v, d]]=[_3226|_3228]
[1;32mExit: [0m(22) [[v, b], [v, d]]=[[v, b], [v, d]]
[1;32mCall: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(23) not(isvar([v, b]))
^ [1;34mUnify: [0m(23) not(user:isvar([v, b]))
[1;32mCall: [0m(24) isvar([v, b])
[1;34mUnify: [0m(24) isvar([v, b])
[1;32mExit: [0m(24) isvar([v, b])
^ [1;31mFail: [0m(23) not(user:isvar([v, b]))
[1;33mRedo: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(23) isvar([v, b])
[1;34mUnify: [0m(23) isvar([v, b])
[1;32mExit: [0m(23) isvar([v, b])
[1;32mCall: [0m(23) isvalstrorundef(_3246)
[1;34mUnify: [0m(23) isvalstrorundef(_3246)
[1;32mCall: [0m(24) var(_3246)
[1;32mExit: [0m(24) var(_3246)
[1;32mExit: [0m(23) isvalstrorundef(_3246)
[1;32mCall: [0m(23) getvar([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) getvar([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(24) lists:member([[v, b], _3238], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(24) lists:member([[v, b], _3238], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(24) lists:member([[v, b], 918], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(24) not(918=empty)
^ [1;34mUnify: [0m(24) not(user:(918=empty))
^ [1;32mExit: [0m(24) not(user:(918=empty))
[1;32mExit: [0m(23) getvar([v, b], 918, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(22) getvalue([v, b], 918, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(22) 918=empty
[1;31mFail: [0m(22) 918=empty
[1;33mRedo: [0m(24) lists:member([[v, b], _3238], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(24) lists:member([[v, b], _3238], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;33mRedo: [0m(23) getvar([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) getvar([v, b], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(24) not(member([[v, b], _3244], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
^ [1;34mUnify: [0m(24) not(user:member([[v, b], _3244], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
^ [1;31mFail: [0m(24) not(user:member([[v, b], _3244], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
[1;33mRedo: [0m(23) getvar([v, b], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(24) lists:member([[v, b], empty], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(24) lists:member([[v, b], empty], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(24) lists:member([[v, b], empty], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(23) getvar([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;33mRedo: [0m(21) substitutevarsA2([[v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947], _3252, [], _3256)
[1;32mCall: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(23) not(isvar([v, b]))
^ [1;34mUnify: [0m(23) not(user:isvar([v, b]))
[1;32mCall: [0m(24) isvar([v, b])
[1;34mUnify: [0m(24) isvar([v, b])
[1;32mExit: [0m(24) isvar([v, b])
^ [1;31mFail: [0m(23) not(user:isvar([v, b]))
[1;33mRedo: [0m(22) getvalue([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(23) isvar([v, b])
[1;34mUnify: [0m(23) isvar([v, b])
[1;32mExit: [0m(23) isvar([v, b])
[1;32mCall: [0m(23) isvalstrorundef(_3246)
[1;34mUnify: [0m(23) isvalstrorundef(_3246)
[1;32mCall: [0m(24) var(_3246)
[1;32mExit: [0m(24) var(_3246)
[1;32mExit: [0m(23) isvalstrorundef(_3246)
[1;32mCall: [0m(23) getvar([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) getvar([v, b], _3248, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(24) lists:member([[v, b], _3238], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(24) lists:member([[v, b], _3238], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(24) lists:member([[v, b], 918], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(24) not(918=empty)
^ [1;34mUnify: [0m(24) not(user:(918=empty))
^ [1;32mExit: [0m(24) not(user:(918=empty))
[1;32mExit: [0m(23) getvar([v, b], 918, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(22) getvalue([v, b], 918, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(22) lists:append([947], [918], _3280)
[1;34mUnify: [0m(22) lists:append([947], [918], [947|_3264])
[1;32mExit: [0m(22) lists:append([947], [918], [947, 918])
[1;32mCall: [0m(22) _3282=[]
[1;32mExit: [0m(22) []=[]
[1;32mCall: [0m(22) substitutevarsA2([[v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947, 918], _3288, [], _3292)
[1;34mUnify: [0m(22) substitutevarsA2([[v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947, 918], _3288, [], _3292)
[1;32mCall: [0m(23) [[v, d]]=[_3268|_3270]
[1;32mExit: [0m(23) [[v, d]]=[[v, d]]
[1;32mCall: [0m(23) getvalue([v, d], _3290, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(23) getvalue([v, d], _3290, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(24) not(isvar([v, d]))
^ [1;34mUnify: [0m(24) not(user:isvar([v, d]))
[1;32mCall: [0m(25) isvar([v, d])
[1;34mUnify: [0m(25) isvar([v, d])
[1;32mExit: [0m(25) isvar([v, d])
^ [1;31mFail: [0m(24) not(user:isvar([v, d]))
[1;33mRedo: [0m(23) getvalue([v, d], _3290, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(24) isvar([v, d])
[1;34mUnify: [0m(24) isvar([v, d])
[1;32mExit: [0m(24) isvar([v, d])
[1;32mCall: [0m(24) isvalstrorundef(_3288)
[1;34mUnify: [0m(24) isvalstrorundef(_3288)
[1;32mCall: [0m(25) var(_3288)
[1;32mExit: [0m(25) var(_3288)
[1;32mExit: [0m(24) isvalstrorundef(_3288)
[1;32mCall: [0m(24) getvar([v, d], _3290, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(24) getvar([v, d], _3290, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(25) lists:member([[v, d], _3280], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(25) lists:member([[v, d], _3280], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;31mFail: [0m(25) lists:member([[v, d], _3280], [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;33mRedo: [0m(24) getvar([v, d], _3290, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;34mUnify: [0m(24) getvar([v, d], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
^ [1;32mCall: [0m(25) not(member([[v, d], _3286], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
^ [1;34mUnify: [0m(25) not(user:member([[v, d], _3286], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
^ [1;32mExit: [0m(25) not(user:member([[v, d], _3286], [[[v, a], 947], [[v, b], 918], [[v, c], empty]]))
[1;32mCall: [0m(25) true
[1;32mExit: [0m(25) true
[1;32mExit: [0m(24) getvar([v, d], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mExit: [0m(23) getvalue([v, d], empty, [[[v, a], 947], [[v, b], 918], [[v, c], empty]])
[1;32mCall: [0m(23) empty=empty
[1;32mExit: [0m(23) empty=empty
[1;32mCall: [0m(23) lists:append([947, 918], [[v, d]], _3322)
[1;34mUnify: [0m(23) lists:append([947, 918], [[v, d]], [947|_3306])
[1;32mExit: [0m(23) lists:append([947, 918], [[v, d]], [947, 918, [v, d]])
[1;32mCall: [0m(23) isvar([v, d])
[1;34mUnify: [0m(23) isvar([v, d])
[1;32mExit: [0m(23) isvar([v, d])
[1;32mCall: [0m(23) lists:append([], [[v, d]], _3340)
[1;34mUnify: [0m(23) lists:append([], [[v, d]], [[v, d]])
[1;32mExit: [0m(23) lists:append([], [[v, d]], [[v, d]])
[1;32mCall: [0m(23) substitutevarsA2([], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947, 918, [v, d]], _3342, [[v, d]], _3346)
[1;34mUnify: [0m(23) substitutevarsA2([], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947, 918, [v, d]], [947, 918, [v, d]], [[v, d]], [[v, d]])
[1;32mExit: [0m(23) substitutevarsA2([], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947, 918, [v, d]], [947, 918, [v, d]], [[v, d]], [[v, d]])
[1;32mExit: [0m(22) substitutevarsA2([[v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947, 918], [947, 918, [v, d]], [], [[v, d]])
[1;32mExit: [0m(21) substitutevarsA2([[v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [947], [947, 918, [v, d]], [], [[v, d]])
[1;32mExit: [0m(20) substitutevarsA2([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], [947, 918, [v, d]], [], [[v, d]])
[1;32mExit: [0m(19) substitutevarsA1([[v, a], [v, b], [v, d]], [[[v, a], 947], [[v, b], 918], [[v, c], empty]], [], [947, 918, [v, d]], [], [[v, d]])
[1;32mCall: [0m(19) _3348=[[n, function1], [947, 918, [v, d]]]
[1;32mExit: [0m(19) [[n, function1], [947, 918, [v, d]]]=[[n, function1], [947, 918, [v, d]]]
[1;32mCall: [0m(19) interpret2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;34mUnify: [0m(19) interpret2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(20) member2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;34mUnify: [0m(20) member2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(21) cut(off)
[1;34mUnify: [0m(21) cut(off)
[1;32mExit: [0m(21) cut(off)
[1;32mCall: [0m(21) [[n, function1], [947, 918, [v, d]]]=[_3334, _3340]
[1;32mExit: [0m(21) [[n, function1], [947, 918, [v, d]]]=[[n, function1], [947, 918, [v, d]]]
[1;32mCall: [0m(21) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function1], _3358, ":-", _3376]|_3348]
[1;31mFail: [0m(21) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function1], _3358, ":-", _3376]|_3348]
[1;33mRedo: [0m(20) member2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(21) member21([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;34mUnify: [0m(21) member21([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(22) cut(off)
[1;34mUnify: [0m(22) cut(off)
[1;32mExit: [0m(22) cut(off)
[1;32mCall: [0m(22) [[n, function1], [947, 918, [v, d]]]=[_3334]
[1;31mFail: [0m(22) [[n, function1], [947, 918, [v, d]]]=[_3334]
[1;33mRedo: [0m(21) member21([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(22) member22([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;34mUnify: [0m(22) member22([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(23) cut(off)
[1;34mUnify: [0m(23) cut(off)
[1;32mExit: [0m(23) cut(off)
[1;32mCall: [0m(23) [[n, function1], [947, 918, [v, d]]]=[_3334, _3340]
[1;32mExit: [0m(23) [[n, function1], [947, 918, [v, d]]]=[[n, function1], [947, 918, [v, d]]]
[1;32mCall: [0m(23) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function1], _3358]|_3348]
[1;31mFail: [0m(23) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function1], _3358]|_3348]
[1;33mRedo: [0m(22) member22([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(23) member23([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;34mUnify: [0m(23) member23([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(24) cut(off)
[1;34mUnify: [0m(24) cut(off)
[1;32mExit: [0m(24) cut(off)
[1;32mCall: [0m(24) [[n, function1], [947, 918, [v, d]]]=[_3334]
[1;31mFail: [0m(24) [[n, function1], [947, 918, [v, d]]]=[_3334]
[1;33mRedo: [0m(23) member23([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], _3354)
[1;32mCall: [0m(24) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[_3334|_3336]
[1;32mExit: [0m(24) [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]=[[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]]
[1;32mCall: [0m(24) member2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], _3360)
[1;34mUnify: [0m(24) member2([[n, function1], [947, 918, [v, d]]], [[[n, function0], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]], [[...|...]|...]]], [[n, function1], [[v, a], [v, b], [v|...]], ":-", [[[...|...]|...]]]], [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]], _3360)
[1;32mCall: [0m(25) cut(off)
[1;34mUnify: [0m(25) cut(off)
[1;32mExit: [0m(25) cut(off)
[1;32mCall: [0m(25) [[n, function1], [947, 918, [v, d]]]=[_3340, _3346]
[1;32mExit: [0m(25) [[n, function1], [947, 918, [v, d]]]=[[n, function1], [947, 918, [v, d]]]
[1;32mCall: [0m(25) [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]=[[[n, function1], _3364, ":-", _3382]|_3354]
[1;32mExit: [0m(25) [[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]=[[[n, function1], [[v, a], [v, b], [v, c]], ":-", [[[n|...], [...|...]]]]]
[1;32mCall: [0m(25) length([947, 918, [v, d]], _3404)
[1;34mUnify: [0m(25) length([947, 918, [v, d]], _3404)
[1;32mExit: [0m(25) length([947, 918, [v, d]], 3)
[1;32mCall: [0m(25) length([[v, a], [v, b], [v, c]], 3)
[1;34mUnify: [0m(25) length([[v, a], [v, b], [v, c]], 3)
[1;34mUnify: [0m(25) length([[v, a], [v, b], [v, c]], 3)
[1;32mExit: [0m(25) length([[v, a], [v, b], [v, c]], 3)
[1;32mCall: [0m(25) checkarguments([947, 918, [v, d]], [[v, a], [v, b], [v, c]], [], _3408, [], _3412)
[1;34mUnify: [0m(25) checkarguments([947, 918, [v, d]], [[v, a], [v, b], [v, c]], [], _3408, [], _3412)
[1;32mCall: [0m(26) [947, 918, [v, d]]=[_3388|_3390]
[1;32mExit: [0m(26) [947, 918, [v, d]]=[947, 918, [v, d]]
[1;32mCall: [0m(26) expressionnotatom3(947)
[1;34mUnify: [0m(26) expressionnotatom3(947)
[1;32mCall: [0m(27) expressionnotatom(947)
[1;34mUnify: [0m(27) expressionnotatom(947)
[1;32mCall: [0m(28) isvalstrempty(947)
[1;34mUnify: [0m(28) isvalstrempty(947)
[1;32mCall: [0m(29) var(947)
[1;31mFail: [0m(29) var(947)
[1;33mRedo: [0m(28) isvalstrempty(947)
[1;34mUnify: [0m(28) isvalstrempty(947)
[1;32mCall: [0m(29) isval(947)
[1;34mUnify: [0m(29) isval(947)
[1;32mExit: [0m(29) isval(947)
[1;32mExit: [0m(28) isvalstrempty(947)
[1;32mExit: [0m(27) expressionnotatom(947)
[1;32mExit: [0m(26) expressionnotatom3(947)
[1;32mCall: [0m(26) [[v, a], [v, b], [v, c]]=[_3394|_3396]
[1;32mExit: [0m(26) [[v, a], [v, b], [v, c]]=[[v, a], [v, b], [v, c]]
^ [1;32mCall: [0m(26) not(var([v, a]))
^ [1;34mUnify: [0m(26) not(user:var([v, a]))
^ [1;32mExit: [0m(26) not(user:var([v, a]))
[1;32mCall: [0m(26) isvar([v, a])
[1;34mUnify: [0m(26) isvar([v, a])
[1;32mExit: [0m(26) isvar([v, a])
[1;32mCall: [0m(26) putvalue([v, a], 947, [], _3430)
[1;34mUnify: [0m(26) putvalue([v, a], 947, [], _3430)
^ [1;32mCall: [0m(27) not(isvar([v, a]))
^ [1;34mUnify: [0m(27) not(user:isvar([v, a]))
[1;32mCall: [0m(28) isvar([v, a])
[1;34mUnify: [0m(28) isvar([v, a])
[1;32mExit: [0m(28) isvar([v, a])
^ [1;31mFail: [0m(27) not(user:isvar([v, a]))
[1;33mRedo: [0m(26) putvalue([v, a], 947, [], _3430)
[1;32mCall: [0m(27) isvar([v, a])
[1;34mUnify: [0m(27) isvar([v, a])
[1;32mExit: [0m(27) isvar([v, a])
[1;32mCall: [0m(27) isvalstrorundef(947)
[1;34mUnify: [0m(27) isvalstrorundef(947)
[1;32mCall: [0m(28) var(947)
[1;31mFail: [0m(28) var(947)
[1;33mRedo: [0m(27) isvalstrorundef(947)
[1;34mUnify: [0m(27) isvalstrorundef(947)
^ [1;32mCall: [0m(28) not(var(947))
^ [1;34mUnify: [0m(28) not(user:var(947))
^ [1;32mExit: [0m(28) not(user:var(947))
[1;32mCall: [0m(28) isval(947)
[1;34mUnify: [0m(28) isval(947)
[1;32mExit: [0m(28) isval(947)
[1;32mExit: [0m(27) isvalstrorundef(947)
[1;32mCall: [0m(27) updatevar([v, a], 947, [], _3440)
[1;34mUnify: [0m(27) updatevar([v, a], 947, [], _3440)
[1;32mCall: [0m(28) lists:member([[v, a], empty], [])
[1;31mFail: [0m(28) lists:member([[v, a], empty], [])
[1;33mRedo: [0m(27) updatevar([v, a], 947, [], _3440)
^ [1;32mCall: [0m(28) not(member([[v, a], _3432], []))
^ [1;34mUnify: [0m(28) not(user:member([[v, a], _3432], []))
^ [1;32mExit: [0m(28) not(user:member([[v, a], _3432], []))
[1;32mCall: [0m(28) _3432=empty
[1;32mExit: [0m(28) empty=empty
[1;32mCall: [0m(28) true
[1;32mExit: [0m(28) true
[1;32mCall: [0m(28) lists:append([], [[[v, a], 947]], _3480)
[1;34mUnify: [0m(28) lists:append([], [[[v, a], 947]], [[[v, a], 947]])
[1;32mExit: [0m(28) lists:append([], [[[v, a], 947]], [[[v, a], 947]])
[1;32mCall: [0m(28) true
[1;32mExit: [0m(28) true
[1;32mCall: [0m(28) true
[1;32mExit: [0m(28) true
[1;32mExit: [0m(27) updatevar([v, a], 947, [], [[[v, a], 947]])
[1;32mExit: [0m(26) putvalue([v, a], 947, [], [[[v, a], 947]])
[1;32mCall: [0m(26) checkarguments([918, [v, d]], [[v, b], [v, c]], [[[v, a], 947]], _3482, [], _3486)
[1;34mUnify: [0m(26) checkarguments([918, [v, d]], [[v, b], [v, c]], [[[v, a], 947]], _3482, [], _3486)
[1;32mCall: [0m(27) [918, [v, d]]=[_3462|_3464]
[1;32mExit: [0m(27) [918, [v, d]]=[918, [v, d]]
[1;32mCall: [0m(27) expressionnotatom3(918)
[1;34mUnify: [0m(27) expressionnotatom3(918)
[1;32mCall: [0m(28) expressionnotatom(918)
[1;34mUnify: [0m(28) expressionnotatom(918)
[1;32mCall: [0m(29) isvalstrempty(918)
[1;34mUnify: [0m(29) isvalstrempty(918)
[1;32mCall: [0m(30) var(918)
[1;31mFail: [0m(30) var(918)
[1;33mRedo: [0m(29) isvalstrempty(918)
[1;34mUnify: [0m(29) isvalstrempty(918)
[1;32mCall: [0m(30) isval(918)
[1;34mUnify: [0m(30) isval(918)
[1;32mExit: [0m(30) isval(918)
[1;32mExit: [0m(29) isvalstrempty(918)
[1;32mExit: [0m(28) expressionnotatom(918)
[1;32mExit: [0m(27) expressionnotatom3(918)
[1;32mCall: [0m(27) [[v, b], [v, c]]=[_3468|_3470]
[1;32mExit: [0m(27) [[v, b], [v, c]]=[[v, b], [v, c]]
^ [1;32mCall: [0m(27) not(var([v, b]))
^ [1;34mUnify: [0m(27) not(user:var([v, b]))
^ [1;32mExit: [0m(27) not(user:var([v, b]))
[1;32mCall: [0m(27) isvar([v, b])
[1;34mUnify: [0m(27) isvar([v, b])
[1;32mExit: [0m(27) isvar([v, b])
[1;32mCall: [0m(27) putvalue([v, b], 918, [[[v, a], 947]], _3504)
[1;34mUnify: [0m(27) putvalue([v, b], 918, [[[v, a], 947]], _3504)
^ [1;32mCall: [0m(28) not(isvar([v, b]))
^ [1;34mUnify: [0m(28) not(user:isvar([v, b]))
[1;32mCall: [0m(29) isvar([v, b])
[1;34mUnify: [0m(29) isvar([v, b])
[1;32mExit: [0m(29) isvar([v, b])
^ [1;31mFail: [0m(28) not(user:isvar([v, b]))
[1;33mRedo: [0m(27) putvalue([v, b], 918, [[[v, a], 947]], _3504)
[1;32mCall: [0m(28) isvar([v, b])
[1;34mUnify: [0m(28) isvar([v, b])
[1;32mExit: [0m(28) isvar([v, b])
[1;32mCall: [0m(28) isvalstrorundef(918)
[1;34mUnify: [0m(28) isvalstrorundef(918)
[1;32mCall: [0m(29) var(918)
[1;31mFail: [0m(29) var(918)
[1;33mRedo: [0m(28) isvalstrorundef(918)
[1;34mUnify: [0m(28) isvalstrorundef(918)
^ [1;32mCall: [0m(29) not(var(918))
^ [1;34mUnify: [0m(29) not(user:var(918))
^ [1;32mExit: [0m(29) not(user:var(918))
[1;32mCall: [0m(29) isval(918)
[1;34mUnify: [0m(29) isval(918)
[1;32mExit: [0m(29) isval(918)
[1;32mExit: [0m(28) isvalstrorundef(918)
[1;32mCall: [0m(28) updatevar([v, b], 918, [[[v, a], 947]], _3514)
[1;34mUnify: [0m(28) updatevar([v, b], 918, [[[v, a], 947]], _3514)
[1;32mCall: [0m(29) lists:member([[v, b], empty], [[[v, a], 947]])
[1;34mUnify: [0m(29) lists:member([[v, b], empty], [[[v, a], 947]])
[1;31mFail: [0m(29) lists:member([[v, b], empty], [[[v, a], 947]])
[1;33mRedo: [0m(28) updatevar([v, b], 918, [[[v, a], 947]], _3514)
^ [1;32mCall: [0m(29) not(member([[v, b], _3506], [[[v, a], 947]]))
^ [1;34mUnify: [0m(29) not(user:member([[v, b], _3506], [[[v, a], 947]]))
^ [1;32mExit: [0m(29) not(user:member([[v, b], _3506], [[[v, a], 947]]))
[1;32mCall: [0m(29) _3506=empty
[1;32mExit: [0m(29) empty=empty
[1;32mCall: [0m(29) true
[1;32mExit: [0m(29) true
[1;32mCall: [0m(29) lists:append([[[v, a], 947]], [[[v, b], 918]], _3554)
[1;34mUnify: [0m(29) lists:append([[[v, a], 947]], [[[v, b], 918]], [[[v, a], 947]|_3538])
[1;32mExit: [0m(29) lists:append([[[v, a], 947]], [[[v, b], 918]], [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(29) true
[1;32mExit: [0m(29) true
[1;32mCall: [0m(29) true
[1;32mExit: [0m(29) true
[1;32mExit: [0m(28) updatevar([v, b], 918, [[[v, a], 947]], [[[v, a], 947], [[v, b], 918]])
[1;32mExit: [0m(27) putvalue([v, b], 918, [[[v, a], 947]], [[[v, a], 947], [[v, b], 918]])
[1;32mCall: [0m(27) checkarguments([[v, d]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3562, [], _3566)
[1;34mUnify: [0m(27) checkarguments([[v, d]], [[v, c]], [[[v, a], 947], [[v, b], 918]], _3562, [], _3566)
[1;32mCall: [0m(28) [[v, d]]=[_3542|_3544]
[1;32mExit: [0m(28) [[v, d]]=[[v, d]]
[1;32mCall: [0m(28) expressionnotatom3([v, d])
[1;34mUnify: [0m(28) expressionnotatom3([v, d])
[1;32mCall: [0m(29) expressionnotatom([v, d])
[1;34mUnify: [0m(29) expressionnotatom([v, d])
[1;32mCall: [0m(30) isvalstrempty([v, d])
[1;34mUnify: [0m(30) isvalstrempty([v, d])
[1;32mCall: [0m(31) var([v, d])
[1;31mFail: [0m(31) var([v, d])
[1;33mRedo: [0m(30) isvalstrempty([v, d])
[1;34mUnify: [0m(30) isvalstrempty([v, d])
[1;32mCall: [0m(31) isval([v, d])
[1;34mUnify: [0m(31) isval([v, d])
[1;31mFail: [0m(31) isval([v, d])
[1;33mRedo: [0m(30) isvalstrempty([v, d])
[1;34mUnify: [0m(30) isvalstrempty([v, d])
[1;31mFail: [0m(30) isvalstrempty([v, d])
[1;33mRedo: [0m(29) expressionnotatom([v, d])
[1;34mUnify: [0m(29) expressionnotatom([v, d])
^ [1;32mCall: [0m(30) not(atom([v, d]))
^ [1;34mUnify: [0m(30) not(user:atom([v, d]))
^ [1;32mExit: [0m(30) not(user:atom([v, d]))
[1;32mCall: [0m(30) length([v, d], _3574)
[1;34mUnify: [0m(30) length([v, d], _3574)
[1;32mExit: [0m(30) length([v, d], 2)
[1;32mCall: [0m(30) 2>=1
[1;32mExit: [0m(30) 2>=1
[1;32mCall: [0m(30) expressionnotatom2([v, d])
[1;34mUnify: [0m(30) expressionnotatom2([v, d])
[1;32mCall: [0m(31) isvalstrempty(v)
[1;34mUnify: [0m(31) isvalstrempty(v)
[1;32mCall: [0m(32) var(v)
[1;31mFail: [0m(32) var(v)
[1;33mRedo: [0m(31) isvalstrempty(v)
[1;34mUnify: [0m(31) isvalstrempty(v)
[1;32mCall: [0m(32) isval(v)
[1;34mUnify: [0m(32) isval(v)
[1;31mFail: [0m(32) isval(v)
[1;33mRedo: [0m(31) isvalstrempty(v)
[1;34mUnify: [0m(31) isvalstrempty(v)
[1;31mFail: [0m(31) isvalstrempty(v)
[1;31mFail: [0m(30) expressionnotatom2([v, d])
[1;33mRedo: [0m(29) expressionnotatom([v, d])
[1;34mUnify: [0m(29) expressionnotatom([v, d])