reasoned-schemer

In Prolog’s terms, condA is “soft cut” a.k.a. *->, where A *-> B ; C is like (A, B ; not(A), C), only better ; whereas condU is “committed choice”, a combination of once and a soft cut so that (once(A) *-> B ; false) expresses (A, !, B) (with the cut inside): condA: A *-> … Read more