Mercurial > repo
view wisdom/cut elimination @ 11182:9d5983817909
<wob_jonas> learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /\xea\x99\xa9\\ .
author | HackBot |
---|---|
date | Sat, 02 Sep 2017 18:01:47 +0000 |
parents | d634e64cd991 |
children |
line wrap: on
line source
The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.