Mercurial > repo
log wisdom/cut elimination @ 10196:5f9b220a0802
age | author | description |
---|---|---|
Wed, 24 Feb 2016 05:54:46 +0000 | HackBot | <shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator. |