lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

fix: update mem stack #327

Closed seelx3 closed 8 months ago

seelx3 commented 8 months ago

close #11

seelx3 commented 8 months ago

{ module(r). c(!X), d(!Y) :- cd(!X), !X><!Y. }.

a(!X), b(!X) :- ab(!X).

- 実行結果

❯ bin/slim -t --hl debug-demo/hl-merge-01.lmn 1: main. {module(r). @4. }. @5. ---->_main 2: a(!H7). b(!H9). {r.use. c(!H7). d(!H9). @4. }, {module(r). @4. }. @5. ---->_axby 3: ab(!H7). {r.use. c(!H7). d(!H7). @4. }, {module(r). @4. }. @5. ---->_cxdx 4: ab(!H7). {r.use. cd(!H7). @4. }, {module(r). @4. }. @5. ab(!H7). {r.use. cd(!H7). @4. }, {module(r). @4. }. @5.