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

59
LINES

< > BotCompany Repo | #1002366 // Arnold Logic Test (works)

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

Transpiled version (928L) is out of date.

1  
!752
2  
3  
static L<S> statements = toLinesFullTrim([[
4  
  "arnold" is a "good guy".
5  
  a "good guy" is not a "bad guy".
6  
  a "bad guy" is not a "good guy".
7  
]]);
8  
9  
p {
10  
  checkIs("arnold", "good guy");
11  
  checkIs("arnold", "bad guy");
12  
}
13  
14  
static void checkIs(S a, S b) {
15  
  printF("Checking if * is a *", a, b);
16  
  pcall {
17  
    S answer = checkIs_impl(a, b);
18  
    print("  " + answer);
19  
  }
20  
}
21  
22  
static S checkIs_impl(S a, S b) {
23  
  // find direct statements
24  
  
25  
  L<Matches> l = findStatements(format("* is a *", a, b));
26  
  if (nempty(l))
27  
    ret "yes";
28  
  
29  
  l = findStatements(format("* is not a *", a, b));
30  
  if (nempty(l))
31  
    ret "no";
32  
    
33  
  // derived stuff (find all classes of a)
34  
  l = findStatements(quote(a) + "is a *");
35  
  new TreeSet<S> classes;
36  
  for (Matches m : l)
37  
    classes.add(m.unq(0));
38  
39  
  print("Classes found: " + structure(classes));
40  
  for (S c : classes) {
41  
    if (nempty(findStatements(format("a * is a *", c, b))))
42  
      ret "yes";
43  
      
44  
    if (nempty(findStatements(format("a * is not a *", c, b))))
45  
      ret "no";
46  
  }
47  
48  
  ret "unknown";
49  
}
50  
51  
static L<Matches> findStatements(S pat) {
52  
  new L<Matches> l;
53  
  for (S s : statements) {
54  
    new Matches m;
55  
    if (match(pat, s, m)) // todo: match quoted and identifier (arnold vs "arnold")
56  
      l.add(m);
57  
  }
58  
  ret l;
59  
}

download  show line numbers  debug dex  old transpilations   

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

No comments. add comment

Snippet ID: #1002366
Snippet name: Arnold Logic Test (works)
Eternal ID of this version: #1002366/1
Text MD5: e8c918478f4cc7fefacfc764d260a39b
Author: stefan
Category: eleu
Type: JavaX source code
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2016-01-09 21:21:47
Source code size: 1327 bytes / 59 lines
Pitched / IR pitched: No / No
Views / Downloads: 702 / 779
Referenced in: [show references]