Some More Reasoning [OK] [1014774]

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).

!7

sS program = [[
  // facts
  heard[question]
  heard[not a question]
  
  // rule
  heard[X] + heard[not a X] -> distinction[X, not a X]
  
  rewrite
  
  // check rule result
  assert distinction[question, not a question]
]];

p-experiment-tt {
  new RuleEngine(program, true).printStuff();
}

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:	317 / 1978
Version history:	7 change(s)
Referenced in:	[show references]

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	}