Ok So I Was Just Wondering If Somebody Could Point Me In The Direction Where I Can Find Some Documentation On Or Example Of A Warren Abstract Machine Written In Assembly, And Possibly A Compiler From Prolog To WAM Machine Code, Preferably written in assembly, but anything will do, as long as it isn't some huge monstrosity. You see I want Just the core functionality of Both Prolog And LISP systems but not all of the file system, os, networking, and gui stuff, just the rules, and the facts, the functions, and the expressions. All of the other stuff will be available to a higher layer of the system