Thought space handling [shortened, WORKS] [1008197]

!7

sS script1 = "Assert (True).";
sS script2 = "Assert (False).";

sS script = [[
  Make an empty thought space X.
  Assert (X is empty).
  Add (God is good) to X.
  Assert (Not (X is empty)).
  Add (Remove (God is good)) to X.
  Apply always rules in X.
  Assert (X is empty).
]];

sS bla = [[
  // concepts
  zivsiiacmvqrolto - True
  zqbbvhdeuzyhewed - False
  jamvyfwypzbptvle - Make an empty thought space X.
  matnhiruhwprdiir - Add (X) to Y.
  aaedrmcbfcsubkkf - Apply rule (X) to Y.
  bcypplfticghlkxy - Apply always rules in X.
  yvmxaacduvvomgqi - X is empty
  rzryqdohxtczvzgn - Assert (X).
  wynynoujiakixjus - Not (X)
  chjllkocfhtwcgoj - Remove (X)
]];

p {
  myTruth(bla);
  aiStandardHandlers();

  assertLispScriptSucceeds(script1);
  assertLispScriptFails(script2);
  assertLispScriptSucceeds(print(xyzToNewIDs(script)));
  print("OK");
}

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

Snippet ID:	#1008197
Snippet name:	Thought space handling [shortened, WORKS]
Eternal ID of this version:	#1008197/4
Text MD5:	3b39be95c1c72b0b63d6985e6a6f471f
Transpilation MD5:	143a88634e780894638eaaf2d55fcf67
Author:	stefan
Category:	javax / a.i.
Type:	JavaX source code
Public (visible to everyone):	Yes
Archived (hidden from active list):	No
Created/modified:	2017-04-30 00:06:23
Source code size:	894 bytes / 38 lines
Pitched / IR pitched:	No / No
Views / Downloads:	488 / 597
Version history:	3 change(s)
Referenced in:	[show references]

< > BotCompany Repo | #1008197 // Thought space handling [shortened, WORKS]

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

Author comment

1	!7
2
3	sS script1 = "Assert (True).";
4	sS script2 = "Assert (False).";
5
6	sS script = [[
7	Make an empty thought space X.
8	Assert (X is empty).
9	Add (God is good) to X.
10	Assert (Not (X is empty)).
11	Add (Remove (God is good)) to X.
12	Apply always rules in X.
13	Assert (X is empty).
14	]];
15
16	sS bla = [[
17	// concepts
18	zivsiiacmvqrolto - True
19	zqbbvhdeuzyhewed - False
20	jamvyfwypzbptvle - Make an empty thought space X.
21	matnhiruhwprdiir - Add (X) to Y.
22	aaedrmcbfcsubkkf - Apply rule (X) to Y.
23	bcypplfticghlkxy - Apply always rules in X.
24	yvmxaacduvvomgqi - X is empty
25	rzryqdohxtczvzgn - Assert (X).
26	wynynoujiakixjus - Not (X)
27	chjllkocfhtwcgoj - Remove (X)
28	]];
29
30	p {
31	myTruth(bla);
32	aiStandardHandlers();
33
34	assertLispScriptSucceeds(script1);
35	assertLispScriptFails(script2);
36	assertLispScriptSucceeds(print(xyzToNewIDs(script)));
37	print("OK");
38	}