< > BotCompany Repo | #1002830 // Test class Prolog 4 (more complex rule parsing)

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

Libraryless. Click here for Pure Java version (4565L/30K/95K).

!752

static S code = [=[
  
  [
    if   [X < is < a < Y]
    and  [a < Y < has < a < Z]
    then [X < has < a < Z]
  ]
  
  [ mark < is < a < guy ]
  [ a < guy < has < a < gun ]
  
]=];

p {
  new Prolog p;
  p.upperCaseVariables = true;
  p.showStuff = true;
  p.addClauses(snlToTree(code));
  printStructure(p.solve(snlToTree("mark < has < a < X"))); // prints X = gun!
}

Author comment

Began life as a copy of #1002829

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