annotate paste/paste.4822 @ 6946:d634e64cd991
<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.
author |
HackBot |
date |
Wed, 24 Feb 2016 05:54:46 +0000 |
parents |
89a1e14c33fe |
children |
|
rev |
line source |
1217
|
1 2012-01-01.txt:00:30:37: <Phantom_Hoover> Did I mention when I wanted to become a locksmith?
|
|
2 2012-01-01.txt:00:30:50: <elliott> `addquote <Phantom_Hoover> "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," <Phantom_Hoover> OK I need to become a pyrotechnician. <ais523> Phantom_Hoover: that's like wanting to become a locksmith <ais523> so that you can legally own lockpicks <Phantom_Hoover> Did I mention when I wanted to become a locksmith?
|
|
3 2012-01-01.txt:00:31:00: <HackEgo> 789) <Phantom_Hoover> "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," <Phantom_Hoover> OK I need to become a pyrotechnician. <ais523> Phantom_Hoover: that's like wanting to become a locksmith <ais523> so that you can legally own lockpicks <Phantom_Hoover> Did I mention when I wanted to become a locksmith?
|
|
4 2012-04-15.txt:16:16:38: <HackEgo> 780) <Phantom_Hoover> "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," <Phantom_Hoover> OK I need to become a pyrotechnician. <ais523> Phantom_Hoover: that's like wanting to become a locksmith <ais523> so that you can legally own lockpicks <Phantom_Hoover> Did I mention when I wanted to become a locksmith?
|
|
5 2013-01-01.txt:06:40:43: <HackEgo> 692) <Phantom_Hoover> "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," <Phantom_Hoover> OK I need to become a pyrotechnician. <ais523> Phantom_Hoover: that's like wanting to become a locksmith <ais523> so that you can legally own lockpicks <Phantom_Hoover> Did I mention when I want
|
|
6 2013-01-01.txt:11:02:18: <hagb4rd> `log Did I mention when I want
|
|
7 2013-01-01.txt:11:05:12: <hagb4rd> `pastelog Did I mention when I want
|