[Initial version Adrian Prantl **20081207201912] [Lists work (again) Adrian Prantl **20081208150826] [[get/put]list Adrian Prantl **20081209105940] [added first version of WAM stuff gergo@complang.tuwien.ac.at**20081209115404] [bugfix Adrian Prantl **20081209132205] [Postfix notation Adrian Prantl **20081209155737] [bugfixes gergo@complang.tuwien.ac.at**20081209145451] [towards a backtracking implementation of Prolog gergo@complang.tuwien.ac.at**20081209160137] [cons fixed. Adrian Prantl **20090109154435] [Dictionary clear Adrian Prantl **20090119143535] [Improved register allocator Adrian Prantl **20090120160543] [Backtracking works! At least when executing concat-tests. Gergö Barany **20090120231406] [More bugfixes. Adrian Prantl **20090121161333] [Added environment stack, wam-allocate and wam-deallocate instructions. Gergö Barany **20090121220924] [Tons of fixes, backtracking *really* works now. New append example. Gergö Barany **20090122213039] [Fixed bug in choice point popping (hopefully). Gergö Barany **20090122220519] [Compile buffer (in progress) Adrian Prantl **20090124160837] [Evaluate (still in progress...) Adrian Prantl **20090125172247] [Implemented term comparisons; compare_terms/3 predicate. Gergö Barany **20090125171552] [Bug fixes; added pl-call and put_atom instructions. Gergö Barany **20090125212414] [Added qsort-example.fs, which at the moment contains only an implementation of split/4. Gergö Barany **20090125212424] [Execution functioning, yet buggy Adrian Prantl **20090126101614] [proceed for facts only, ' s"" for pl-execute" Adrian Prantl **20090126111614] [(Unsuccessful) messing with backtracking, another test case for split. gergo@complang.tuwien.ac.at**20090126102518] [String dispatch; clear-query-vars and register-query-var words; generic printing of substitutions for query variables. gergo@complang.tuwien.ac.at**20090126125442] [strings everywhere Adrian Prantl **20090126133431] [WAM: misc. Adrian Prantl **20090126145741] [[a,b,c] Adrian Prantl **20090126181007] [birds flying Adrian Prantl **20090126183004] [put_nil back again Adrian Prantl **20090126184406] [wam-allocate fix Adrian Prantl **20090126192730] [test-compile -> compile , run-clause -> eval Adrian Prantl **20090126201223] [Complete set of WAM instructions; note difference between constant (integer) and atom instructions; note put_new_variable/put_existing_variable. Gergö Barany **20090126171413] [put-new-variable Adrian Prantl **20090126203306] [unify_nil gergo@complang.tuwien.ac.at**20090126202844] [put_list fix gergo@complang.tuwien.ac.at**20090126204403] [Toplevel compare bugfix Adrian Prantl **20090126205318] [Updated append example to use string dispatch. gergo@complang.tuwien.ac.at**20090126204954] [added underscore gergo@complang.tuwien.ac.at**20090126205542] [Tailcall optimization Adrian Prantl **20090126210856] [compare_terms now prints solutions if called by itself. gergo@complang.tuwien.ac.at**20090126212217] [direct register allocation behaviour fix Adrian Prantl **20090127101004] [qsort working Adrian Prantl **20090127101707] [_ Adrian Prantl **20090127135805] [Preliminary shell. Adrian Prantl **20090127142842] [Shell. gergo@complang.tuwien.ac.at**20090127145135] [Grand unified shell. gergo@complang.tuwien.ac.at**20090127145914] [ unify_void Adrian Prantl **20090127153215] [bufix Adrian Prantl **20090127153643] [split gergo@complang.tuwien.ac.at**20090127154041] [beautification gergo@complang.tuwien.ac.at**20090127160349] [Yes and No Adrian Prantl **20090127164147] [Added documentation Adrian Prantl **20090128141717]