Mercurial > repo
log wisdom/cut elimination @ 12245:f3f954c4c8fa draft
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. |