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

68
LINES

< > BotCompany Repo | #3000338 // Answer for stefanreich (>> test ai "what is" "what is the text of [theory tennis]")

New Tinybrain snippet

1  
null
2  
```
3  
Starting on goal: [think [user says [what is the text of [theory tennis]]]] and [say $x]
4  
Goal arity 3: [think [user says [what is the text of [theory tennis]]]] and [say $x]
5  
nextSolution
6  
Got clause: _1 and _2
7  
  Clause unifies to: [think [user says [what is the text of [theory tennis]]]] and [say $x]
8  
  gdash: think [user says [what is the text of [theory tennis]]]
9  
Goal arity 2: think [user says [what is the text of [theory tennis]]]
10  
 Got clause: think _7
11  
   Clause unifies to: think [user says [what is the text of [theory tennis]]]
12  
  Clause is native.
13  
   gdash: say $x
14  
 Goal arity 2: say $x
15  
  Got clause: say [it's _21 !]
16  
    Clause unifies to: say [it's _21 !]
17  
    gdash: user says [_22 * _23]
18  
  Goal arity 3: user says [_22 * _23]
19  
  Got clause: say [_53 is _54 !]
20  
    Clause unifies to: say [_53 is _54 !]
21  
    gdash: rewrite with theory "drop question mark from user input"
22  
  Goal arity 4: rewrite with theory "drop question mark from user input"
23  
   Got clause: rewrite with theory _86
24  
     Clause unifies to: rewrite with theory "drop question mark from user input"
25  
    Clause is native.
26  
Starting on goal: user says _88
27  
Goal arity 3: user says _88
28  
Got clause: user says [what is the text of [theory tennis]]
29  
  Clause unifies to: user says [what is the text of [theory tennis]]
30  
  gdash: _87 = drop question mark ([what is the text of [theory tennis]])
31  
Goal arity 6: _87 = drop question mark ([what is the text of [theory tennis]])
32  
 Got clause: _123 = drop question mark (_124)
33  
   Clause unifies to: _87 = drop question mark ([what is the text of [theory tennis]])
34  
   gdash: _125 = tocons ([what is the text of [theory tennis]])
35  
 Goal arity 4: _125 = tocons ([what is the text of [theory tennis]])
36  
  Got clause: _142 = tocons (_143)
37  
    Clause unifies to: _125 = tocons ([what is the text of [theory tennis]])
38  
   Clause is native.
39  
    gdash: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?
40  
  Goal arity 3: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?
41  
   Got clause: endswithword_c [cons _147 _148] _149
42  
     Clause unifies to: endswithword_c [cons what [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]]] ?
43  
     gdash: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ?
44  
   Goal arity 3: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ?
45  
    Got clause: endswithword_c [cons _153 _154] _155
46  
      Clause unifies to: endswithword_c [cons is [cons the [cons text [cons of [cons [theory tennis] end]]]]] ?
47  
      gdash: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ?
48  
    Goal arity 3: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ?
49  
     Got clause: endswithword_c [cons _159 _160] _161
50  
       Clause unifies to: endswithword_c [cons the [cons text [cons of [cons [theory tennis] end]]]] ?
51  
       gdash: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ?
52  
     Goal arity 3: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ?
53  
      Got clause: endswithword_c [cons _165 _166] _167
54  
        Clause unifies to: endswithword_c [cons text [cons of [cons [theory tennis] end]]] ?
55  
        gdash: endswithword_c [cons of [cons [theory tennis] end]] ?
56  
      Goal arity 3: endswithword_c [cons of [cons [theory tennis] end]] ?
57  
       Got clause: endswithword_c [cons _171 _172] _173
58  
         Clause unifies to: endswithword_c [cons of [cons [theory tennis] end]] ?
59  
         gdash: endswithword_c [cons [theory tennis] end] ?
60  
       Goal arity 3: endswithword_c [cons [theory tennis] end] ?
61  
        Got clause: endswithword_c [cons _177 _178] _179
62  
          Clause unifies to: endswithword_c [cons [theory tennis] end] ?
63  
          gdash: endswithword_c end ?
64  
        Goal arity 3: endswithword_c end ?
65  
Exception in native class main$RewriteWithTheory: java.lang.NullPointerException
66  
Native clause fails
67  


68  
No solution```



      
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:
    #3000338
  

  

    Snippet name:
    Answer for stefanreich (>> test ai "what is" "what is the text of [theory tennis]")
  

    

    Eternal ID of this version:
    #3000338/1
  

  

    Text MD5:
    e17b75db59b7a5c8d347101ba4161898
  

    

    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-14 01:39:31
  

  

    Source code size:
    4001 bytes / 68 lines
  

  

    Pitched / IR pitched:
    No / No
  

    

    Views / Downloads:
    503 / 109
  

      

    Referenced in:
[show references]