swi-prologでplusという述語発見。isと違って逆演算が出来るのがいい。 ?- R is 2+3. R = 5 ?- 5 is 2+R. ERROR: Arguments are not sufficiently instantiated ?- plus(2,3,R). R = 5 ?- plus(2,R,5). R = 3 ?- plus(R,3,5). R = 2 ?- plus(X,Y,5). ERROR: …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。