< > BotCompany Repo | #1002832 // Test rewriting using prolog engine (OK)

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

Libraryless. Click here for Pure Java version (23310L/159K/544K).

!7

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.showStuff = true;
  p.addTheory(code, "ad hoc");
  
  L<Lisp> l = p.rewrite();  // prints "mark has a gun"
  print(l(l) + " term(s) found.");
}

Author comment

Began life as a copy of #1002830

download  show line numbers  debug dex  old transpilations   

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

No comments. add comment