API tools faq
paste
Advertisement
logicmoo

unifyp attvar

logicmoo
Feb 23rd, 2016
254
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 71.85 KB | None | 0 0
raw download clone embed print report
  1. ?- use_listing_vars.
  2. Warning: /usr/local/lib/swipl-7.3.17/boot/attvar.pl:97:
  3.         Singleton variables: [Rest,Next,Var]
  4. Warning: /usr/local/lib/swipl-7.3.17/boot/attvar.pl:144:
  5.         Singleton variables: [Var,Value]
  6. true.
  7.  
  8. ?- listing([q/2,ab/2,xy/2,equals/2,unifyp:_,plvar:_]).
  9. :- module_transparent fluent_tests:q/2.
  10.  
  11. fluent_tests:q(A, B) :-
  12.         ab(A, B),
  13.         xy(A, B).
  14.  
  15. :- module_transparent fluent_tests:ab/2.
  16.  
  17. fluent_tests:ab(a1, b1).
  18. fluent_tests:ab(a2, b2).
  19. fluent_tests:ab(a3, b3).
  20.  
  21. :- module_transparent fluent_tests:xy/2.
  22.  
  23. fluent_tests:xy(x1, y1).
  24. fluent_tests:xy(x2, y2).
  25. fluent_tests:xy(x3, y3).
  26.  
  27. :- module_transparent fluent_tests:equals/2.
  28.  
  29. fluent_tests:equals(a1, x1).
  30. fluent_tests:equals(a2, x2).
  31. fluent_tests:equals(a3, x3).
  32. fluent_tests:equals(b1, y1).
  33. fluent_tests:equals(b2, y2).
  34. fluent_tests:equals(b3, y3).
  35.  
  36.  
  37.  
  38. unifyp:attr_unify_hook(binding(Pred, Fluent, Prev), Value) :-
  39.     fluent_tests:
  40.     (   (   var(Value),
  41.             nonvar(Prev)
  42.         ->  Value=Prev
  43.         ;   Value==Prev
  44.         ->  true
  45.         ;   Value=Prev
  46.         ->  put_attr(Fluent, plvar, binding(Fluent, Value))
  47.         ;   call(Pred, Prev, Value)
  48.         ->  true
  49.         ;   call(Pred, Value, Prev)
  50.         ->  true
  51.         )
  52.     ).
  53.  
  54. plvar:verify_attributes(Var, Value, []) :-
  55.     fluent_tests:
  56.     (   get_attr(Var, plvar, binding(Var, Prev)),
  57.         Value=Prev,
  58.         get_attr(Var, plvar, binding(Var, Value))
  59.     ).
  60.  
  61.  
  62.  
  63. [debug]  ?- listing([lv/0,label_sources,matts_call]).
  64. :- module_transparent fluent_tests:lv/0.
  65.  
  66. fluent_tests:lv :-
  67.         matts_call(set_unifyp(equals), q(A, B)),
  68.         label_sources(A, B),
  69.         dmsg(q(A, B)).
  70.  
  71. :- module_transparent fluent_tests:label_sources/1.
  72.  
  73. fluent_tests:label_sources(Fluent) :-
  74.         get_attr(Fluent, plvar, binding(Fluent, Value)), !,
  75.         del_attr(Fluent, unifyp),
  76.         put_atts(Fluent, -no_bind),
  77.         Fluent=Value.
  78. fluent_tests:label_sources(_Fluent) :- !.
  79.  
  80. :- module_transparent fluent_tests:label_sources/2.
  81.  
  82. fluent_tests:label_sources(A, B) :-
  83.         label_sources(A),
  84.         label_sources(B).
  85.  
  86. :- meta_predicate fluent_tests:matts_call(1,0).
  87.  
  88. fluent_tests:matts_call(FluentFactory, Goal) :-
  89.         term_variables(Goal, A),
  90.         maplist(FluentFactory, A),
  91.         call(Goal).
  92.  
  93.  
  94.  
  95. ?- rtrace(lv).
  96. ^  Call: (11) [user] fluent_tests:lv
  97. ^  Unify: (11) [user] fluent_tests:lv
  98. ^  Call: (12) [user] fluent_tests:matts_call(set_unifyp(equals),q(_G45472,_G45473))
  99. ^  Unify: (12) [fluent_tests] fluent_tests:matts_call(user:set_unifyp(equals),user:q(_G45472,_G45473))
  100.    Call: (13) [system] term_variables(user:q(_G45472,_G45473),_G45489)
  101.    Exit: (13) [system] term_variables(user:q(_G45472,_G45473),[_G45472,_G45473])
  102.    Call: (13) [fluent_tests] apply:maplist(user:set_unifyp(equals),[_G45472,_G45473])
  103.    Unify: (13) [apply] apply:maplist(user:set_unifyp(equals),[_G45472,_G45473])
  104.    Call: (14) [apply] apply:maplist_([_G45472,_G45473],user:set_unifyp(equals))
  105.    Unify: (14) [apply] apply:maplist_([_G45472,_G45473],user:set_unifyp(equals))
  106. ^  Call: (15) [user] fluent_tests:set_unifyp(equals,_G45472)
  107. ^  Unify: (15) [user] fluent_tests:set_unifyp(equals,_G45472)
  108.    Call: (16) [user] atts:wno_dmvars((source_fluent(_G45472),put_attr(_G45472,unifyp,binding(equals,_G45472,_G45498))))
  109.    Unify: (16) [atts] atts:wno_dmvars(user: (source_fluent(_G45472),put_attr(_G45472,unifyp,binding(equals,_G45472,_G45498))))
  110.    Call: (17) [atts] atts:wno_hooks(wno_debug(user: (source_fluent(_G45472),put_attr(_G45472,unifyp,binding(equals,_G45472,_G45498)))))
  111.    Unify: (17) [atts] atts:wno_hooks(atts:wno_debug(user: (source_fluent(_G45472),put_attr(_G45472,unifyp,binding(equals,_G45472,_G45498)))))
  112.    Call: (18) [atts] atts:metaflag_set(current,meta_disabled)
  113.    Unify: (18) [atts] atts:metaflag_set(current,meta_disabled)
  114.    Call: (19) [system] metaterm_flags(current,/\,meta_disabled)
  115.  
  116.  metaterm_flags global current backtracking 552960 -> 0
  117.    Exit: (19) [system] metaterm_flags(current,/\,meta_disabled)
  118.    Exit: (18) [atts] atts:metaflag_set(current,meta_disabled)
  119.    Call: (18) [atts] atts:wno_debug(user: (source_fluent(_G45472),put_attr(_G45472,unifyp,binding(equals,_G45472,_G45498))))
  120.    Unify: (18) [atts] atts:wno_debug(user: (source_fluent(_G45472),put_attr(_G45472,unifyp,binding(equals,_G45472,_G45498))))
  121.    Call: (19) [system] 0==0
  122.    Exit: (19) [system] 0==0
  123.    Call: (20) [fluent_vars] fluent_vars:source_fluent(_G45472)
  124.    Unify: (20) [fluent_vars] fluent_vars:source_fluent(_G45472)
  125.    Call: (21) [atts] atts:mkmeta(_G45472)
  126.    Unify: (21) [atts] atts:mkmeta(_G45472)
  127.    Call: (22) [system] put_attr(_G45472,'$atts',0)
  128.    Exit: (22) [system] put_attr(_G45509{$atts = ...},'$atts',0)
  129.    Exit: (21) [atts] atts:mkmeta(_G45509{$atts = ...})
  130.    Call: (21) [fluent_vars] atts:put_atts(_G45509{$atts = ...},+no_bind)
  131.    Unify: (21) [atts] atts:put_atts(_G45509{$atts = ...},fluent_vars: +no_bind)
  132.  
  133.  metaterm_flags global current backtracking 0 -> 0
  134.  metaterm_flags global current backtracking 0 -> 0
  135.    Exit: (21) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ...},fluent_vars: +no_bind)
  136.    Exit: (20) [fluent_vars] fluent_vars:source_fluent(_G45509{$atts = ..., fluent_vars = ...})
  137.    Call: (20) [system] put_attr(_G45509{$atts = ..., fluent_vars = ...},unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ...},_G45498))
  138.    Exit: (20) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498))
  139.    Exit: (18) [atts] atts:wno_debug(user: (source_fluent(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...}),put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498))))
  140.    Exit: (17) [atts] atts:wno_hooks(atts:wno_debug(user: (source_fluent(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...}),put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498)))))
  141.    Exit: (16) [atts] atts:wno_dmvars(user: (source_fluent(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...}),put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498))))
  142. ^  Exit: (15) [user] fluent_tests:set_unifyp(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...})
  143.    Call: (15) [apply] apply:maplist_([_G45473],user:set_unifyp(equals))
  144.    Unify: (15) [apply] apply:maplist_([_G45473],user:set_unifyp(equals))
  145. ^  Call: (16) [user] fluent_tests:set_unifyp(equals,_G45473)
  146. ^  Unify: (16) [user] fluent_tests:set_unifyp(equals,_G45473)
  147.    Call: (17) [user] atts:wno_dmvars((source_fluent(_G45473),put_attr(_G45473,unifyp,binding(equals,_G45473,_G45748))))
  148.    Unify: (17) [atts] atts:wno_dmvars(user: (source_fluent(_G45473),put_attr(_G45473,unifyp,binding(equals,_G45473,_G45748))))
  149.    Call: (18) [atts] atts:wno_hooks(wno_debug(user: (source_fluent(_G45473),put_attr(_G45473,unifyp,binding(equals,_G45473,_G45748)))))
  150.    Unify: (18) [atts] atts:wno_hooks(atts:wno_debug(user: (source_fluent(_G45473),put_attr(_G45473,unifyp,binding(equals,_G45473,_G45748)))))
  151.    Call: (19) [atts] atts:metaflag_set(current,meta_disabled)
  152.    Unify: (19) [atts] atts:metaflag_set(current,meta_disabled)
  153.    Call: (20) [system] metaterm_flags(current,/\,meta_disabled)
  154.  
  155.  metaterm_flags global current backtracking 0 -> 0
  156.    Exit: (20) [system] metaterm_flags(current,/\,meta_disabled)
  157.    Exit: (19) [atts] atts:metaflag_set(current,meta_disabled)
  158.    Call: (19) [atts] atts:wno_debug(user: (source_fluent(_G45473),put_attr(_G45473,unifyp,binding(equals,_G45473,_G45748))))
  159.    Unify: (19) [atts] atts:wno_debug(user: (source_fluent(_G45473),put_attr(_G45473,unifyp,binding(equals,_G45473,_G45748))))
  160.    Call: (20) [system] 0==0
  161.    Exit: (20) [system] 0==0
  162.    Call: (21) [fluent_vars] fluent_vars:source_fluent(_G45473)
  163.    Unify: (21) [fluent_vars] fluent_vars:source_fluent(_G45473)
  164.    Call: (22) [atts] atts:mkmeta(_G45473)
  165.    Unify: (22) [atts] atts:mkmeta(_G45473)
  166.    Call: (23) [system] put_attr(_G45473,'$atts',0)
  167.    Exit: (23) [system] put_attr(_G45759{$atts = ...},'$atts',0)
  168.    Exit: (22) [atts] atts:mkmeta(_G45759{$atts = ...})
  169.    Call: (22) [fluent_vars] atts:put_atts(_G45759{$atts = ...},+no_bind)
  170.    Unify: (22) [atts] atts:put_atts(_G45759{$atts = ...},fluent_vars: +no_bind)
  171.  
  172.  metaterm_flags global current backtracking 0 -> 0
  173.  metaterm_flags global current backtracking 0 -> 0
  174.    Exit: (22) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ...},fluent_vars: +no_bind)
  175.    Exit: (21) [fluent_vars] fluent_vars:source_fluent(_G45759{$atts = ..., fluent_vars = ...})
  176.    Call: (21) [system] put_attr(_G45759{$atts = ..., fluent_vars = ...},unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ...},_G45748))
  177.    Exit: (21) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748))
  178.    Exit: (19) [atts] atts:wno_debug(user: (source_fluent(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...}),put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748))))
  179.    Exit: (18) [atts] atts:wno_hooks(atts:wno_debug(user: (source_fluent(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...}),put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748)))))
  180.    Exit: (17) [atts] atts:wno_dmvars(user: (source_fluent(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...}),put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748))))
  181. ^  Exit: (16) [user] fluent_tests:set_unifyp(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  182.    Call: (16) [apply] apply:maplist_([],user:set_unifyp(equals))
  183.    Unify: (16) [apply] apply:maplist_([],user:set_unifyp(equals))
  184.    Exit: (16) [apply] apply:maplist_([],user:set_unifyp(equals))
  185.    Exit: (15) [apply] apply:maplist_([_G45759{$atts = ..., fluent_vars = ..., unifyp = ...}],user:set_unifyp(equals))
  186.    Exit: (14) [apply] apply:maplist_([_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...}],user:set_unifyp(equals))
  187.    Exit: (13) [apply] apply:maplist(user:set_unifyp(equals),[_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...}])
  188. ^  Call: (13) [user] fluent_tests:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  189. ^  Unify: (13) [user] fluent_tests:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  190. ^  Call: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  191. ^  Unify: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  192.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),[]))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),[]))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a1))
  193.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),[]))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),[]))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a1))
  194.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a1)
  195.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a1)
  196.    Call: (21) [system] var(a1)
  197.    Fail: (21) [system] var(a1)
  198.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a1)
  199.    Call: (21) [system] a1==_G45498
  200.    Fail: (21) [system] a1==_G45498
  201.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a1)
  202.    Call: (21) [system] a1=_G45498
  203.    Exit: (21) [system] a1=a1
  204.    Call: (21) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a1))
  205.    Exit: (21) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1))
  206.    Exit: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),a1)
  207.    Call: (24) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b1)
  208.    Unify: (24) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b1)
  209.    Call: (25) [system] var(b1)
  210.    Fail: (25) [system] var(b1)
  211.    Redo: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b1)
  212.    Call: (25) [system] b1==_G45748
  213.    Fail: (25) [system] b1==_G45748
  214.    Redo: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b1)
  215.    Call: (25) [system] b1=_G45748
  216.    Exit: (25) [system] b1=b1
  217.    Call: (25) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b1))
  218.    Exit: (25) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1))
  219.    Exit: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),b1)
  220.    Exit: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1))
  221. ^  Exit: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  222. ^  Call: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  223. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  224.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  225.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  226.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x1)
  227.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x1)
  228.    Call: (21) [system] var(x1)
  229.    Fail: (21) [system] var(x1)
  230.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x1)
  231.    Call: (21) [system] x1==a1
  232.    Fail: (21) [system] x1==a1
  233.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x1)
  234.    Call: (21) [system] x1=a1
  235.    Fail: (21) [system] x1=a1
  236.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x1)
  237. ^  Call: (21) [fluent_tests] fluent_tests:equals(a1,x1)
  238. ^  Unify: (21) [fluent_tests] fluent_tests:equals(a1,x1)
  239. ^  Exit: (21) [fluent_tests] fluent_tests:equals(a1,x1)
  240.    Exit: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x1)
  241.    Call: (25) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),y1)
  242.    Unify: (25) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),y1)
  243.    Call: (26) [system] var(y1)
  244.    Fail: (26) [system] var(y1)
  245.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),y1)
  246.    Call: (26) [system] y1==b1
  247.    Fail: (26) [system] y1==b1
  248.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),y1)
  249.    Call: (26) [system] y1=b1
  250.    Fail: (26) [system] y1=b1
  251.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),y1)
  252. ^  Call: (26) [fluent_tests] fluent_tests:equals(b1,y1)
  253. ^  Unify: (26) [fluent_tests] fluent_tests:equals(b1,y1)
  254. ^  Exit: (26) [fluent_tests] fluent_tests:equals(b1,y1)
  255.    Exit: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),y1)
  256.    Exit: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  257. ^  Exit: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  258. ^  Exit: (13) [user] fluent_tests:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  259. ^  Exit: (12) [fluent_tests] fluent_tests:matts_call(user:set_unifyp(equals),user:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...}))
  260. ^  Call: (12) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  261. ^  Unify: (12) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  262. ^  Call: (13) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  263. ^  Unify: (13) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  264.    Call: (14) [system] get_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G46178))
  265.    Exit: (14) [system] get_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1))
  266.    Call: (14) [system] del_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},unifyp)
  267.    Exit: (14) [system] del_attr(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},unifyp)
  268.    Call: (14) [user] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},-no_bind)
  269.    Unify: (14) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  270.  
  271.  metaterm_flags global current backtracking 0 -> 0
  272.  metaterm_flags global current backtracking 0 -> 0
  273.    Exit: (14) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  274.    Call: (14) [system] _G45509{$atts = ..., fluent_vars = ..., plvar = ...}=a1
  275.    Exit: (14) [system] a1=a1
  276. ^  Exit: (13) [user] fluent_tests:label_sources(a1)
  277. ^  Call: (13) [user] fluent_tests:label_sources(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  278. ^  Unify: (13) [user] fluent_tests:label_sources(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  279.    Call: (14) [system] get_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G46414))
  280.    Exit: (14) [system] get_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1))
  281.    Call: (14) [system] del_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},unifyp)
  282.    Exit: (14) [system] del_attr(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},unifyp)
  283.    Call: (14) [user] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},-no_bind)
  284.    Unify: (14) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  285.  
  286.  metaterm_flags global current backtracking 0 -> 0
  287.  metaterm_flags global current backtracking 0 -> 0
  288.    Exit: (14) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  289.    Call: (14) [system] _G45759{$atts = ..., fluent_vars = ..., plvar = ...}=b1
  290.    Exit: (14) [system] b1=b1
  291. ^  Exit: (13) [user] fluent_tests:label_sources(b1)
  292. ^  Exit: (12) [user] fluent_tests:label_sources(a1,b1)
  293.    Call: (12) [system] dmsg(q(a1,b1))
  294.    Unify: (12) [system] dmsg(q(a1,b1))
  295. q(a1,b1).
  296.    Exit: (12) [atts] dmsg(q(a1,b1))
  297. ^  Exit: (11) [user] fluent_tests:lv
  298. true ;
  299. ^  Redo: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  300. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  301.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  302.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  303.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  304.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  305.    Call: (21) [system] var(x2)
  306.    Fail: (21) [system] var(x2)
  307.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  308.    Call: (21) [system] x2==a1
  309.    Fail: (21) [system] x2==a1
  310.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  311.    Call: (21) [system] x2=a1
  312.    Fail: (21) [system] x2=a1
  313.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  314. ^  Call: (21) [fluent_tests] fluent_tests:equals(a1,x2)
  315. ^  Fail: (21) [fluent_tests] fluent_tests:equals(a1,x2)
  316.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  317. ^  Call: (21) [fluent_tests] fluent_tests:equals(x2,a1)
  318. ^  Fail: (21) [fluent_tests] fluent_tests:equals(x2,a1)
  319.    Fail: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x2)
  320.    Fail: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  321. ^  Redo: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  322. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  323.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  324.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  325.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  326.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  327.    Call: (21) [system] var(x3)
  328.    Fail: (21) [system] var(x3)
  329.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  330.    Call: (21) [system] x3==a1
  331.    Fail: (21) [system] x3==a1
  332.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  333.    Call: (21) [system] x3=a1
  334.    Fail: (21) [system] x3=a1
  335.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  336. ^  Call: (21) [fluent_tests] fluent_tests:equals(a1,x3)
  337. ^  Fail: (21) [fluent_tests] fluent_tests:equals(a1,x3)
  338.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  339. ^  Call: (21) [fluent_tests] fluent_tests:equals(x3,a1)
  340. ^  Fail: (21) [fluent_tests] fluent_tests:equals(x3,a1)
  341.    Fail: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),x3)
  342.    Fail: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a1),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b1),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  343. ^  Fail: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  344. ^  Redo: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  345. ^  Unify: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  346.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),[]))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),[]))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a2))
  347.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),[]))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),[]))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a2))
  348.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a2)
  349.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a2)
  350.    Call: (21) [system] var(a2)
  351.    Fail: (21) [system] var(a2)
  352.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a2)
  353.    Call: (21) [system] a2==_G45498
  354.    Fail: (21) [system] a2==_G45498
  355.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a2)
  356.    Call: (21) [system] a2=_G45498
  357.    Exit: (21) [system] a2=a2
  358.    Call: (21) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a2))
  359.    Exit: (21) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2))
  360.    Exit: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),a2)
  361.    Call: (24) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b2)
  362.    Unify: (24) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b2)
  363.    Call: (25) [system] var(b2)
  364.    Fail: (25) [system] var(b2)
  365.    Redo: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b2)
  366.    Call: (25) [system] b2==_G45748
  367.    Fail: (25) [system] b2==_G45748
  368.    Redo: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b2)
  369.    Call: (25) [system] b2=_G45748
  370.    Exit: (25) [system] b2=b2
  371.    Call: (25) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b2))
  372.    Exit: (25) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2))
  373.    Exit: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),b2)
  374.    Exit: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2))
  375. ^  Exit: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  376. ^  Call: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  377. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  378.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  379.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  380.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  381.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  382.    Call: (21) [system] var(x1)
  383.    Fail: (21) [system] var(x1)
  384.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  385.    Call: (21) [system] x1==a2
  386.    Fail: (21) [system] x1==a2
  387.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  388.    Call: (21) [system] x1=a2
  389.    Fail: (21) [system] x1=a2
  390.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  391. ^  Call: (21) [fluent_tests] fluent_tests:equals(a2,x1)
  392. ^  Fail: (21) [fluent_tests] fluent_tests:equals(a2,x1)
  393.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  394. ^  Call: (21) [fluent_tests] fluent_tests:equals(x1,a2)
  395. ^  Fail: (21) [fluent_tests] fluent_tests:equals(x1,a2)
  396.    Fail: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x1)
  397.    Fail: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  398. ^  Redo: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  399. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  400.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  401.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  402.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x2)
  403.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x2)
  404.    Call: (21) [system] var(x2)
  405.    Fail: (21) [system] var(x2)
  406.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x2)
  407.    Call: (21) [system] x2==a2
  408.    Fail: (21) [system] x2==a2
  409.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x2)
  410.    Call: (21) [system] x2=a2
  411.    Fail: (21) [system] x2=a2
  412.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x2)
  413. ^  Call: (21) [fluent_tests] fluent_tests:equals(a2,x2)
  414. ^  Unify: (21) [fluent_tests] fluent_tests:equals(a2,x2)
  415. ^  Exit: (21) [fluent_tests] fluent_tests:equals(a2,x2)
  416.    Exit: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x2)
  417.    Call: (25) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),y2)
  418.    Unify: (25) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),y2)
  419.    Call: (26) [system] var(y2)
  420.    Fail: (26) [system] var(y2)
  421.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),y2)
  422.    Call: (26) [system] y2==b2
  423.    Fail: (26) [system] y2==b2
  424.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),y2)
  425.    Call: (26) [system] y2=b2
  426.    Fail: (26) [system] y2=b2
  427.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),y2)
  428. ^  Call: (26) [fluent_tests] fluent_tests:equals(b2,y2)
  429. ^  Unify: (26) [fluent_tests] fluent_tests:equals(b2,y2)
  430. ^  Exit: (26) [fluent_tests] fluent_tests:equals(b2,y2)
  431.    Exit: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),y2)
  432.    Exit: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  433. ^  Exit: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  434. ^  Exit: (13) [user] fluent_tests:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  435. ^  Exit: (12) [fluent_tests] fluent_tests:matts_call(user:set_unifyp(equals),user:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...}))
  436. ^  Call: (12) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  437. ^  Unify: (12) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  438. ^  Call: (13) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  439. ^  Unify: (13) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  440.    Call: (14) [system] get_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G46178))
  441.    Exit: (14) [system] get_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2))
  442.    Call: (14) [system] del_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},unifyp)
  443.    Exit: (14) [system] del_attr(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},unifyp)
  444.    Call: (14) [user] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},-no_bind)
  445.    Unify: (14) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  446.  
  447.  metaterm_flags global current backtracking 0 -> 0
  448.  metaterm_flags global current backtracking 0 -> 0
  449.    Exit: (14) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  450.    Call: (14) [system] _G45509{$atts = ..., fluent_vars = ..., plvar = ...}=a2
  451.    Exit: (14) [system] a2=a2
  452. ^  Exit: (13) [user] fluent_tests:label_sources(a2)
  453. ^  Call: (13) [user] fluent_tests:label_sources(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  454. ^  Unify: (13) [user] fluent_tests:label_sources(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  455.    Call: (14) [system] get_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G46414))
  456.    Exit: (14) [system] get_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2))
  457.    Call: (14) [system] del_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},unifyp)
  458.    Exit: (14) [system] del_attr(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},unifyp)
  459.    Call: (14) [user] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},-no_bind)
  460.    Unify: (14) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  461.  
  462.  metaterm_flags global current backtracking 0 -> 0
  463.  metaterm_flags global current backtracking 0 -> 0
  464.    Exit: (14) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  465.    Call: (14) [system] _G45759{$atts = ..., fluent_vars = ..., plvar = ...}=b2
  466.    Exit: (14) [system] b2=b2
  467. ^  Exit: (13) [user] fluent_tests:label_sources(b2)
  468. ^  Exit: (12) [user] fluent_tests:label_sources(a2,b2)
  469.    Call: (12) [system] dmsg(q(a2,b2))
  470.    Unify: (12) [system] dmsg(q(a2,b2))
  471. q(a2,b2).
  472.    Exit: (12) [atts] dmsg(q(a2,b2))
  473. ^  Exit: (11) [user] fluent_tests:lv
  474. true ;
  475. ^  Redo: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  476. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  477.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  478.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  479.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  480.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  481.    Call: (21) [system] var(x3)
  482.    Fail: (21) [system] var(x3)
  483.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  484.    Call: (21) [system] x3==a2
  485.    Fail: (21) [system] x3==a2
  486.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  487.    Call: (21) [system] x3=a2
  488.    Fail: (21) [system] x3=a2
  489.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  490. ^  Call: (21) [fluent_tests] fluent_tests:equals(a2,x3)
  491. ^  Fail: (21) [fluent_tests] fluent_tests:equals(a2,x3)
  492.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  493. ^  Call: (21) [fluent_tests] fluent_tests:equals(x3,a2)
  494. ^  Fail: (21) [fluent_tests] fluent_tests:equals(x3,a2)
  495.    Fail: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),x3)
  496.    Fail: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a2),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b2),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  497. ^  Fail: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  498. ^  Redo: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  499. ^  Unify: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ...})
  500.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),[]))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),[]))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a3))
  501.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),[]))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),[]))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a3))
  502.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a3)
  503.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a3)
  504.    Call: (21) [system] var(a3)
  505.    Fail: (21) [system] var(a3)
  506.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a3)
  507.    Call: (21) [system] a3==_G45498
  508.    Fail: (21) [system] a3==_G45498
  509.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},_G45498),a3)
  510.    Call: (21) [system] a3=_G45498
  511.    Exit: (21) [system] a3=a3
  512.    Call: (21) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ...},a3))
  513.    Exit: (21) [system] put_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3))
  514.    Exit: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),a3)
  515.    Call: (24) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b3)
  516.    Unify: (24) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b3)
  517.    Call: (25) [system] var(b3)
  518.    Fail: (25) [system] var(b3)
  519.    Redo: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b3)
  520.    Call: (25) [system] b3==_G45748
  521.    Fail: (25) [system] b3==_G45748
  522.    Redo: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},_G45748),b3)
  523.    Call: (25) [system] b3=_G45748
  524.    Exit: (25) [system] b3=b3
  525.    Call: (25) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ...},b3))
  526.    Exit: (25) [system] put_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3))
  527.    Exit: (24) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),b3)
  528.    Exit: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3))
  529. ^  Exit: (14) [user] fluent_tests:ab(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  530. ^  Call: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  531. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  532.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  533.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  534.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  535.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  536.    Call: (21) [system] var(x1)
  537.    Fail: (21) [system] var(x1)
  538.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  539.    Call: (21) [system] x1==a3
  540.    Fail: (21) [system] x1==a3
  541.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  542.    Call: (21) [system] x1=a3
  543.    Fail: (21) [system] x1=a3
  544.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  545. ^  Call: (21) [fluent_tests] fluent_tests:equals(a3,x1)
  546. ^  Fail: (21) [fluent_tests] fluent_tests:equals(a3,x1)
  547.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  548. ^  Call: (21) [fluent_tests] fluent_tests:equals(x1,a3)
  549. ^  Fail: (21) [fluent_tests] fluent_tests:equals(x1,a3)
  550.    Fail: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x1)
  551.    Fail: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y1),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x1))
  552. ^  Redo: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  553. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  554.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  555.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  556.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  557.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  558.    Call: (21) [system] var(x2)
  559.    Fail: (21) [system] var(x2)
  560.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  561.    Call: (21) [system] x2==a3
  562.    Fail: (21) [system] x2==a3
  563.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  564.    Call: (21) [system] x2=a3
  565.    Fail: (21) [system] x2=a3
  566.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  567. ^  Call: (21) [fluent_tests] fluent_tests:equals(a3,x2)
  568. ^  Fail: (21) [fluent_tests] fluent_tests:equals(a3,x2)
  569.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  570. ^  Call: (21) [fluent_tests] fluent_tests:equals(x2,a3)
  571. ^  Fail: (21) [fluent_tests] fluent_tests:equals(x2,a3)
  572.    Fail: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x2)
  573.    Fail: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y2),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x2))
  574. ^  Redo: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  575. ^  Unify: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  576.    Call: (15) [user] call(post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  577.    Unify: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  578.    Call: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x3)
  579.    Unify: (20) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x3)
  580.    Call: (21) [system] var(x3)
  581.    Fail: (21) [system] var(x3)
  582.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x3)
  583.    Call: (21) [system] x3==a3
  584.    Fail: (21) [system] x3==a3
  585.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x3)
  586.    Call: (21) [system] x3=a3
  587.    Fail: (21) [system] x3=a3
  588.    Redo: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x3)
  589. ^  Call: (21) [fluent_tests] fluent_tests:equals(a3,x3)
  590. ^  Unify: (21) [fluent_tests] fluent_tests:equals(a3,x3)
  591. ^  Exit: (21) [fluent_tests] fluent_tests:equals(a3,x3)
  592.    Exit: (20) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),x3)
  593.    Call: (25) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),y3)
  594.    Unify: (25) [unifyp] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),y3)
  595.    Call: (26) [system] var(y3)
  596.    Fail: (26) [system] var(y3)
  597.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),y3)
  598.    Call: (26) [system] y3==b3
  599.    Fail: (26) [system] y3==b3
  600.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),y3)
  601.    Call: (26) [system] y3=b3
  602.    Fail: (26) [system] y3=b3
  603.    Redo: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),y3)
  604. ^  Call: (26) [fluent_tests] fluent_tests:equals(b3,y3)
  605. ^  Unify: (26) [fluent_tests] fluent_tests:equals(b3,y3)
  606. ^  Exit: (26) [fluent_tests] fluent_tests:equals(b3,y3)
  607.    Exit: (25) [fluent_tests] unifyp:attr_unify_hook(binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),y3)
  608.    Exit: (15) [system] call(user:post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),att(plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3),[])))),post_unify(att('$atts',16,att(fluent_vars,[no_bind],att(unifyp,binding(equals,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),att(plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3),[])))),true,_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},y3),_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},x3))
  609. ^  Exit: (14) [user] fluent_tests:xy(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  610. ^  Exit: (13) [user] fluent_tests:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  611. ^  Exit: (12) [fluent_tests] fluent_tests:matts_call(user:set_unifyp(equals),user:q(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...}))
  612. ^  Call: (12) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  613. ^  Unify: (12) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  614. ^  Call: (13) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  615. ^  Unify: (13) [user] fluent_tests:label_sources(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  616.    Call: (14) [system] get_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G46178))
  617.    Exit: (14) [system] get_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},a3))
  618.    Call: (14) [system] del_attr(_G45509{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},unifyp)
  619.    Exit: (14) [system] del_attr(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},unifyp)
  620.    Call: (14) [user] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},-no_bind)
  621.    Unify: (14) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  622.  
  623.  metaterm_flags global current backtracking 0 -> 0
  624.  metaterm_flags global current backtracking 0 -> 0
  625.    Exit: (14) [atts] atts:put_atts(_G45509{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  626.    Call: (14) [system] _G45509{$atts = ..., fluent_vars = ..., plvar = ...}=a3
  627.    Exit: (14) [system] a3=a3
  628. ^  Exit: (13) [user] fluent_tests:label_sources(a3)
  629. ^  Call: (13) [user] fluent_tests:label_sources(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  630. ^  Unify: (13) [user] fluent_tests:label_sources(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...})
  631.    Call: (14) [system] get_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},_G46414))
  632.    Exit: (14) [system] get_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},plvar,binding(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},b3))
  633.    Call: (14) [system] del_attr(_G45759{$atts = ..., fluent_vars = ..., unifyp = ..., plvar = ...},unifyp)
  634.    Exit: (14) [system] del_attr(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},unifyp)
  635.    Call: (14) [user] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},-no_bind)
  636.    Unify: (14) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  637.  
  638.  metaterm_flags global current backtracking 0 -> 0
  639.  metaterm_flags global current backtracking 0 -> 0
  640.    Exit: (14) [atts] atts:put_atts(_G45759{$atts = ..., fluent_vars = ..., plvar = ...},user: -no_bind)
  641.    Call: (14) [system] _G45759{$atts = ..., fluent_vars = ..., plvar = ...}=b3
  642.    Exit: (14) [system] b3=b3
  643. ^  Exit: (13) [user] fluent_tests:label_sources(b3)
  644. ^  Exit: (12) [user] fluent_tests:label_sources(a3,b3)
  645.    Call: (12) [system] dmsg(q(a3,b3))
  646.    Unify: (12) [system] dmsg(q(a3,b3))
  647. q(a3,b3).
  648.    Exit: (12) [atts] dmsg(q(a3,b3))
  649. ^  Exit: (11) [user] fluent_tests:lv
  650. true ;
  651. false.
  652.  
  653. [trace]  ?-
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!