finally we introduce a vm compiler that runs on the VM

parent 51b36f6e
......@@ -139,6 +139,7 @@ PSSOURCES = \
logic/guile-log/guile-prolog/vm/vm-imprint2.scm \
logic/guile-log/guile-prolog/vm/vm-unify2.scm \
logic/guile-log/guile-prolog/vm/vm-goal2.scm \
logic/guile-log/guile-prolog/vm-compiler2.scm \
logic/guile-log/examples/kanren/type-inference.scm \
logic/guile-log/imatch.scm \
prolog-user.scm \
......
(define-module (logic guile-log guile-prolog vm-compiler2)
#:use-module (logic guile-log)
#:use-module (ice-9 pretty-print)
#:use-module (logic guile-log iso-prolog)
#:use-module (logic guile-log guile-prolog hash)
#:use-module (logic guile-log guile-prolog ops)
#:use-module (logic guile-log prolog swi)
#:use-module (logic guile-log vlist)
#:use-module (logic guile-log match)
#:use-module (logic guile-log guile-prolog macros)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:use-module (logic guile-log guile-prolog vm vm-goal2)
#:use-module (logic guile-log prolog compile)
#:use-module ((logic guile-log umatch) #:select (gp-var! *current-stack*))
#:use-module (system vm assembler)
#:re-export (compile_goal begin_att end_att cc pr extended_off extended_on)
#:export (compilable_scm
collect_data define-prolog-fkn
make-vm-function
compile_to_fkn
instr define-prolog
mockalambda))
#|
VM Compiler that runs on the VM Should be faster than the scheme compiler
currently unstable
|#
(include-from-path "logic/guile-log/guile-prolog/vm/vm-compiler.scm")
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment