< > BotCompany Repo | #1014774 // Some More Reasoning [OK]

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

Download Jar. Uses 3874K of libraries. Click here for Pure Java version (9949L/65K).

!7

sS program = [[
  // facts
  heard[question]
  heard[not a question]
  
  // rule
  heard[X] + heard[not a X] -> distinction[X, not a X]
  
  rewrite
  
  // check rule result
  assert distinction[question, not a question]
]];

p-experiment-tt {
  new RuleEngine(program, true).printStuff();
}

Author comment

Began life as a copy of #1014772

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