!7 sS defs = [[ A cup of water = A cup with water inside A cup of Peter = A cup that belongs to Peter A cup of glass = A cup that consists of glass A cup of style = A cup that has a lot of style a $a with $b inside = [implies] $b is smaller than a $a a $a that belongs to $b = [implies] $b is a person a $a that consists of $b = [implies] $b is a material a $a that has a lot of $b = [implies] $b is a property Joe = a person ]]; sclass Confirmed(Statement st) {} sclass Rejected(Statement st) {} p-exp { new ThoughtSpace1 ts; ts.objects.add(Input("a cup of joe")); ts.addDefinitions(defs); ts.think(false); for (Definition d : ts.definitionsForInput()) { print("\nTrying definition " + sfu(d)); new ThoughtSpace1 ts2; ts2.objects.add(Input((S) d.rhs)); ts2.addDefinitions(defs); ts2.steppers.add(voidfunc(ThoughtSpace1 ts) { for (ts.list(Statement)) })); ts2.think(false); ts2.removeInitialObjects(); pnlStruct(ts2.statements()); } }
Began life as a copy of #1017041
download show line numbers debug dex old transpilations
Travelled to 14 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, irmadwmeruwu, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1017042 |
Snippet name: | Patterns Step 3 [dev.] |
Eternal ID of this version: | #1017042/1 |
Text MD5: | f6d1752d27c9cf1e2c243ff468f8b2a1 |
Author: | stefan |
Category: | javax / a.i. |
Type: | JavaX source code (desktop) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2018-07-11 13:24:13 |
Source code size: | 1046 bytes / 38 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 498 / 681 |
Referenced in: | -