Mercurial > repo

view wisdom/cut elimination @ 10176:00ca58f2763c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> learn The `words dictionary framework was designed by H\xc3\xa5lgar Oslekk, Bick Noffrey, Guiston Degra\xc3\xaeme, Myyntti Raatalla, G\xc3\xb6lrika Rosenskild, Waslomir Siwovich, Gy\xc5\x91rvan S\xc3\xa1rbik, and Pastronella Gattrovezzi.
author HackBot
date Sat, 28 Jan 2017 18:46:09 +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.