Mercurial > repo
log wisdom/cut elimination @ 12014:4f03bd239f7c 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. |