Good & Bad Alert [WORKS] [1008203]

!7

sS script = [[
  Make an empty thought space X.
  Assert (X is empty).
  Add (God is good) to X.
  Add (God is bad) to X.
  Apply always rules in X.
  Assert (Not (X contains CONFUSION)).
  Add (Always fully apply ((Y is good) and (Y is bad) => CONFUSION)) to X.
  Apply always rules in X.
  Assert (X contains CONFUSION).
]];

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.
  anmgnlmdnkjivliq - Always fully apply (X)
  txsysipmstxmjhmi - (X) and (Y) => (Z)
  kecvwixuouqlpzhu - (X) and (Y) => Z
  unfiqixlxwqnomcs - X contains Y
  yvmxaacduvvomgqi - X is empty
  wcwlqvvrpdwjzfms - X is Y
  rzryqdohxtczvzgn - Assert (X).
  wynynoujiakixjus - Not (X)
  chjllkocfhtwcgoj - Remove (X)
]];

p {
  myTruth(bla);
  aiStandardHandlers();

  try {
    assertLispScriptSucceeds(print(xyzToNewIDs(script, "X")));
  } finally {
    printThoughtSpaces();
  }
  print("OK");
}

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

Snippet ID:	#1008203
Snippet name:	Good & Bad Alert [WORKS]
Eternal ID of this version:	#1008203/12
Text MD5:	ab6c208736398ada766f406375eb61dd
Transpilation MD5:	e8e8f1b9b9cf896e1f302d33212a1642
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:54:30
Source code size:	1120 bytes / 44 lines
Pitched / IR pitched:	No / No
Views / Downloads:	529 / 975
Version history:	11 change(s)
Referenced in:	[show references]

< > BotCompany Repo | #1008203 // Good & Bad Alert [WORKS]

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

Author comment

1	!7
2
3	sS script = [[
4	Make an empty thought space X.
5	Assert (X is empty).
6	Add (God is good) to X.
7	Add (God is bad) to X.
8	Apply always rules in X.
9	Assert (Not (X contains CONFUSION)).
10	Add (Always fully apply ((Y is good) and (Y is bad) => CONFUSION)) to X.
11	Apply always rules in X.
12	Assert (X contains CONFUSION).
13	]];
14
15	sS bla = [[
16	// concepts
17	zivsiiacmvqrolto - True
18	zqbbvhdeuzyhewed - False
19	jamvyfwypzbptvle - Make an empty thought space X.
20	matnhiruhwprdiir - Add (X) to Y.
21	aaedrmcbfcsubkkf - Apply rule (X) to Y.
22	bcypplfticghlkxy - Apply always rules in X.
23	anmgnlmdnkjivliq - Always fully apply (X)
24	txsysipmstxmjhmi - (X) and (Y) => (Z)
25	kecvwixuouqlpzhu - (X) and (Y) => Z
26	unfiqixlxwqnomcs - X contains Y
27	yvmxaacduvvomgqi - X is empty
28	wcwlqvvrpdwjzfms - X is Y
29	rzryqdohxtczvzgn - Assert (X).
30	wynynoujiakixjus - Not (X)
31	chjllkocfhtwcgoj - Remove (X)
32	]];
33
34	p {
35	myTruth(bla);
36	aiStandardHandlers();
37
38	try {
39	assertLispScriptSucceeds(print(xyzToNewIDs(script, "X")));
40	} finally {
41	printThoughtSpaces();
42	}
43	print("OK");
44	}