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

19
LINES

< > BotCompany Repo | #1014774 // Some More Reasoning [OK]

JavaX source code (desktop) [tags: use-pretranspiled] - run with: x30.jar

Download Jar. Uses 3874K of libraries. Click here for Pure Java version (9949L/65K).

1  
!7
2  
3  
sS program = [[
4  
  // facts
5  
  heard[question]
6  
  heard[not a question]
7  
  
8  
  // rule
9  
  heard[X] + heard[not a X] -> distinction[X, not a X]
10  
  
11  
  rewrite
12  
  
13  
  // check rule result
14  
  assert distinction[question, not a question]
15  
]];
16  
17  
p-experiment-tt {
18  
  new RuleEngine(program, true).printStuff();
19  
}

Author comment

Began life as a copy of #1014772

download  show line numbers  debug dex  old transpilations   

Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

No comments. add comment

Snippet ID: #1014774
Snippet name: Some More Reasoning [OK]
Eternal ID of this version: #1014774/8
Text MD5: 18787d99ac626240d91d50c3b2ac79a6
Transpilation MD5: a2a517bbf0a08fbbfebe5a615e339c3e
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-05-02 09:58:07
Source code size: 315 bytes / 19 lines
Pitched / IR pitched: No / No
Views / Downloads: 449 / 2276
Version history: 7 change(s)
Referenced in: [show references]