Logic [dev.] [1007504]

< > BotCompany Repo | #1007504 // Logic [dev.]

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

!7

static new L<S> inferred;

p-subst {
  aiEnhancements();
  for (Lisp l : parsedTrueStatements_cached())
    if (l.is("oxxavewomeqofkmi")) {
      Lisp c = first(l);
      for (Lisp a : dropFirst(l))
        add(lisp("lezvyibhouajgsrs", c, a));
    }
  if (nempty(inferred)) awt {
    showControls(jbutton("Add " + n(inferred, "statements"), r-thread "Adding Truth" {
      addTruth(inferred);
    }));
  }
}

svoid add(Lisp l) {
  S s = clUnparse(l);
  if (setAdd(inferred, s)) {
    //print("  => " + l);
    print("  => " + conceptLanguageToEnglish(s));
    print("  //   " + s);
  }
}

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

Snippet ID:

#1007504

Snippet name:

Logic [dev.]

Eternal ID of this version:

#1007504/13

Text MD5:

7501824ecaab281bf00aceb287917c49

Transpilation MD5:

980b45303b5232967bd0f019094b06ed

Author:

stefan

Category:

javax / a.i.

Type:

JavaX source code

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2017-03-25 18:35:45

Source code size:

617 bytes / 27 lines

Pitched / IR pitched:

No / No

Views / Downloads:

549 / 674

Version history:

12 change(s)

Referenced in:

[show references]

1	!7
2
3	static new L<S> inferred;
4
5	p-subst {
6	aiEnhancements();
7	for (Lisp l : parsedTrueStatements_cached())
8	if (l.is("oxxavewomeqofkmi")) {
9	Lisp c = first(l);
10	for (Lisp a : dropFirst(l))
11	add(lisp("lezvyibhouajgsrs", c, a));
12	}
13	if (nempty(inferred)) awt {
14	showControls(jbutton("Add " + n(inferred, "statements"), r-thread "Adding Truth" {
15	addTruth(inferred);
16	}));
17	}
18	}
19
20	svoid add(Lisp l) {
21	S s = clUnparse(l);
22	if (setAdd(inferred, s)) {
23	//print(" => " + l);
24	print(" => " + conceptLanguageToEnglish(s));
25	print(" // " + s);
26	}
27	}