1 | 92 statements ``` |
2 | true |
3 | $x = new collector |
4 | saveTo ([$x , $collector]) |
5 | $x = retrieve ($collector) |
6 | nativeTest2 |
7 | nativeFail |
8 | $a = intmul ([$x , $y]) |
9 | $a = intdiv ([$x , $y]) |
10 | $a = intadd ([$x , $y]) |
11 | $a = intminus ([$x , $y]) |
12 | $x is greater than $y |
13 | head $h exists in theory $t |
14 | $x = all theory names |
15 | $x = tocons ($y) |
16 | $x = fromcons ($y) |
17 | $x is less than $y |
18 | $x = arg $i in $y |
19 | $x = arity of $y |
20 | $x = operator ($y) |
21 | $x = unquote ($y) |
22 | isQuoted ($x) |
23 | isWord ($x) |
24 | $x = removeWord ([$word , $y]) |
25 | $x = theory $name |
26 | solve1 $text in $theories |
27 | think $x |
28 | memorize_impl $x |
29 | $a and $b :- ... |
30 | $a and $b and $c :- ... |
31 | $a and $b and $c and $d :- ... |
32 | bits is the plural of bit |
33 | ($x) :- ... |
34 | $e1 = c # example :- ... |
35 | the dadbot is really funny |
36 | dadbot is really funny |
37 | $x = = $x |
38 | feet is the plural of foot |
39 | forall_impl ([$x , $cond , $c]) :- ... |
40 | [ice cream] is tasty |
41 | $b = if $a then $b else $c :- ... |
42 | $c = if $a then $b else $c |
43 | $e in $c :- ... |
44 | $t is a theory :- ... |
45 | $e is in list $list :- ... |
46 | $head = iter [cons $head $tail] |
47 | $x = iter [cons $head $tail] :- ... |
48 | lasagna is tasty |
49 | $list = [$x | $cond] :- ... |
50 | "and" is a fill word |
51 | "," is a fill word |
52 | $y = map ([$f , $x]) :- ... |
53 | end = map_cons ([$f , end]) |
54 | [cons $z $y] = map_cons ([$f , [cons $word $x]]) :- ... |
55 | maus = maus ($x) |
56 | memorize $x :- ... |
57 | mrshutco is a human |
58 | not ($x) :- ... |
59 | not ($x) |
60 | [not (false)] should be true |
61 | [not (true)] should be false |
62 | $x = number of theories :- ... |
63 | $e2 = number of theories :- ... |
64 | $a or $b :- ... |
65 | $a or $b :- ... |
66 | $a or $b or $c :- ... |
67 | $a or $b or $c :- ... |
68 | $a or $b or $c :- ... |
69 | $x is funny :- ... |
70 | $a = smartmul ([$b , $c]) :- ... |
71 | $a = smartmul ([$b , $c]) :- ... |
72 | $a = smartmul ([$b , $c]) :- ... |
73 | lasagna is more tasty than [ice cream] |
74 | say [ah , so $first $last must be a fit guy !] :- ... |
75 | andre agassi is supposedly a tennis player |
76 | andre agassi is supposedly a tennis player |
77 | andre agassi is supposedly a tennis player |
78 | andre agassi is supposedly a tennis player |
79 | andre agassi is supposedly a tennis player |
80 | andre agassi is supposedly a tennis player |
81 | say [it's $c !] :- ... |
82 | verify [$x should be true] :- ... |
83 | verify [$x should be false] :- ... |
84 | $x is funny :- ... |
85 | say [$x is tasty !] :- ... |
86 | $x xor $y :- ... |
87 | $x xor $y :- ... |
88 | $y = yo ($x) :- ... |
89 | end = yo_cons (end) |
90 | [cons "yo!" $y] = yo_cons ([cons $word $x]) :- ... |
91 | $y = yo2 ($x) :- ... |
92 | end = yo2_cons (end) |
93 | [cons $e1 $y] = yo2_cons ([cons $word $x]) :- ... |
94 | ``` |
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #3000303 |
Snippet name: | Answer for stefanreich (>> ai program tennis) |
Eternal ID of this version: | #3000303/1 |
Text MD5: | 0c75507ce4bc49ae62f857818ef3ba86 |
Author: | someone |
Category: | |
Type: | New Tinybrain snippet |
Gummipassword: | eleutheria-for-user |
Uploaded from IP: | 69.10.46.185 |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2016-03-12 17:46:46 |
Source code size: | 2343 bytes / 94 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 445 / 101 |
Referenced in: | [show references] |