Warren Abstract RISC Machine - A RISC modification of the Warren Abstract Machine for compiling & executing Prolog.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool