1 | |
2 | Starting on goal: Prolog$Goal(car=Prolog$Var(id=0L, instance=r2)) |
3 | Trying clause: nativeTest2 :- native |
4 | SUCCESS! |
5 | Trying clause: nativeFail :- native |
6 | Native clause fails |
7 | Trying clause: "[]"(_1, "=", intmul, "()"("[]"(_2, ",", _3))) :- native |
8 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
9 | Native clause fails |
10 | Trying clause: "[]"(_4, "=", intdiv, "()"("[]"(_5, ",", _6))) :- native |
11 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
12 | Native clause fails |
13 | Trying clause: "[]"(_7, "=", intadd, "()"("[]"(_8, ",", _9))) :- native |
14 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
15 | Native clause fails |
16 | Trying clause: "[]"(_10, "=", intminus, "()"("[]"(_11, ",", _12))) :- native |
17 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
18 | Native clause fails |
19 | Trying clause: "[]"(_13, is, greater, than, _14) :- native |
20 | Exception in native: java.lang.NumberFormatException: For input string: "___" |
21 | Native clause fails |
22 | Trying clause: "[]"(head, _15, exists, in, theory, _16) :- native |
23 | Exception in native: java.lang.NullPointerException |
24 | Native clause fails |
25 | Trying clause: "[]"(_17, "=", all, theory, names) :- native |
26 | SUCCESS! |
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: | #3000214 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000214/1 |
| Text MD5: | 6d103e55fb5a418c9b6d3cdfc31023ff |
| 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-05 20:51:28 |
| Source code size: | 1235 bytes / 26 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 504 / 123 |
| Referenced in: | [show references] |