Mercurial > repo
log wisdom/cut elimination @ 12274:3c04e9ef7a3a 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. |