Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

48
LINES

< > BotCompany Repo | #3000319 // Answer for stefanreich (>> say [what is the name of [theory bla] ?] in ["what is", signed])

New Tinybrain snippet

1  
FALSE in ["what is", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
2  
```
3  
Starting on goal: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
4  
Goal arity 3: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
5  
nextSolution
6  
Got clause: _1 and _2
7  
  Clause unifies to: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
8  
  gdash: think [user says [what is the name of [theory bla] ?]]
9  
Goal arity 2: think [user says [what is the name of [theory bla] ?]]
10  
 Got clause: think _7
11  
   Clause unifies to: think [user says [what is the name of [theory bla] ?]]
12  
  Clause is native.
13  
   gdash: say $x
14  
 Goal arity 2: say $x
15  
  Got clause: say [it's _20 !]
16  
    Clause unifies to: say [it's _20 !]
17  
    gdash: user says [_21 * _22]
18  
  Goal arity 3: user says [_21 * _22]
19  
  Got clause: say [_47 is _48 !]
20  
    Clause unifies to: say [_47 is _48 !]
21  
    gdash: user says _49
22  
  Goal arity 3: user says _49
23  
   Got clause: user says [what is the name of [theory bla] ?]
24  
     Clause unifies to: user says [what is the name of [theory bla] ?]
25  
     gdash: rew ! [what is the name of [theory bla] ?] to [what is _47]
26  
   Goal arity 5: rew ! [what is the name of [theory bla] ?] to [what is _47]
27  
    Got clause: rew ! _99 to _100
28  
      Clause unifies to: rew ! [what is the name of [theory bla] ?] to [what is _47]
29  
      gdash: rew [what is the name of [theory bla] ?] to [what is _47]
30  
    Goal arity 4: rew [what is the name of [theory bla] ?] to [what is _47]
31  
     Got clause: rew _159 to _160
32  
       Clause unifies to: rew [what is the name of [theory bla] ?] to [what is _47]
33  
       gdash: rewrite [what is the name of [theory bla] ?] to _161
34  
     Goal arity 4: rewrite [what is the name of [theory bla] ?] to _161
35  
      Got clause: rewrite [what is the _193 of _194 ?] to [what is [the _193 of _194] ?]
36  
        Clause unifies to: rewrite [what is the name of [theory bla] ?] to [what is [the name of [theory bla]] ?]
37  
        gdash: rew [what is [the name of [theory bla]] ?] to [what is _47]
38  
      Goal arity 4: rew [what is [the name of [theory bla]] ?] to [what is _47]
39  
       Got clause: rew _253 to _254
40  
         Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is _47]
41  
         gdash: rewrite [what is [the name of [theory bla]] ?] to _255
42  
       Goal arity 4: rewrite [what is [the name of [theory bla]] ?] to _255
43  
  Got clause: say [_449 is tasty !]
44  
    Clause unifies to: say [_449 is tasty !]
45  
    gdash: user says [what is tasty]
46  
  Goal arity 3: user says [what is tasty]
47  


48  
No solution``` 94 ms



      
download  show line numbers   
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:
    #3000319
  

  

    Snippet name:
    Answer for stefanreich (>> say [what is the name of [theory bla] ?] in ["what is", signed])
  

    

    Eternal ID of this version:
    #3000319/1
  

  

    Text MD5:
    5945db9672edc4a43bc5b02b3630e76f
  

    

    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-13 19:40:29
  

  

    Source code size:
    3881 bytes / 48 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    439 / 90
  

      

    Referenced in:
[show references]