search

lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

非決定実行における HL に対する uniq #317

Open imaren opened 9 months ago

imaren commented 9 months ago

無限にルールが発火する

cap(!H0).
cap(!F) :- uniq(!F) | cap(!F),flow(!F).
:- uniq | cap(!H0).
cap(!F) :- uniq(!F) | cap(!F),flow(!F).