refactorisation

parent 32383fa7
......@@ -116,13 +116,13 @@ PSSOURCES = \
logic/guile-log/guile-prolog/gc-call.scm \
logic/guile-log/guile-prolog/coroutine.scm \
logic/guile-log/guile-prolog/attributator.scm \
logic/guile-log/guile-prolog/vm-pre.scm \
logic/guile-log/guile-prolog/vm-scm.scm \
logic/guile-log/guile-prolog/vm-args.scm \
logic/guile-log/guile-prolog/vm-handle.scm \
logic/guile-log/guile-prolog/vm-imprint.scm \
logic/guile-log/guile-prolog/vm-unify.scm \
logic/guile-log/guile-prolog/vm-goal.scm \
logic/guile-log/guile-prolog/vm/vm-pre.scm \
logic/guile-log/guile-prolog/vm/vm-scm.scm \
logic/guile-log/guile-prolog/vm/vm-args.scm \
logic/guile-log/guile-prolog/vm/vm-handle.scm \
logic/guile-log/guile-prolog/vm/vm-imprint.scm \
logic/guile-log/guile-prolog/vm/vm-unify.scm \
logic/guile-log/guile-prolog/vm/vm-goal.scm \
logic/guile-log/guile-prolog/vm-compiler.scm \
logic/guile-log/examples/kanren/type-inference.scm \
logic/guile-log/imatch.scm \
......
......@@ -5,8 +5,8 @@
#: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 guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm-goal)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-goal)
#:use-module (system vm assembler)
#:export (compilable_scm collect_data compile_goal pretty instr
make-vm-function
......
(define-module (logic guile-log guile-prolog vm-args)
(define-module (logic guile-log guile-prolog vm vm-args)
#:use-module (logic guile-log)
#: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 guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (compat racket misc)
#:use-module (system vm assembler)
#:export (caller push_args_args2 push_args_args push_args))
......
(define-module (logic guile-log guile-prolog vm-disj)
(define-module (logic guile-log guile-prolog vm vm-disj)
#:use-module (logic guile-log)
#:use-module (logic guile-log iso-prolog)
#:use-module (logic guile-log guile-prolog hash)
......@@ -6,7 +6,7 @@
#:use-module (logic guile-log prolog swi)
#:use-module (compat racket misc)
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:export (compile_disj compile_disjunction collect_disjunction))
(compile-prolog-string "
......
(define-module (logic guile-log guile-prolog vm-goal)
(define-module (logic guile-log guile-prolog vm vm-goal)
#:use-module (logic guile-log)
#: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 (compat racket misc)
#:use-module (logic guile-log guile-prolog vm-args)
#:use-module (logic guile-log guile-prolog vm-unify)
#:use-module (logic guile-log guile-prolog vm-imprint)
#:use-module (logic guile-log guile-prolog vm-scm)
#:use-module (logic guile-log guile-prolog vm-disj)
#:use-module (logic guile-log guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm-handle)
#:use-module (logic guile-log guile-prolog vm vm-args)
#:use-module (logic guile-log guile-prolog vm vm-unify)
#:use-module (logic guile-log guile-prolog vm vm-imprint)
#:use-module (logic guile-log guile-prolog vm vm-scm)
#:use-module (logic guile-log guile-prolog vm vm-disj)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-handle)
#:use-module (system vm assembler)
#:re-export (compile_goal))
......
(define-module (logic guile-log guile-prolog vm-handle)
(define-module (logic guile-log guile-prolog vm vm-handle)
#:use-module (logic guile-log)
#: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 (compat racket misc)
#:use-module (logic guile-log guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (system vm assembler)
#:export (handle_all))
......
(define-module (logic guile-log guile-prolog vm-imprint)
(define-module (logic guile-log guile-prolog vm vm-imprint)
#:use-module (logic guile-log)
#:use-module (logic guile-log iso-prolog)
#:use-module (logic guile-log guile-prolog hash)
......@@ -6,7 +6,7 @@
#:use-module (logic guile-log prolog swi)
#:use-module (compat racket misc)
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:export (compile_imprint))
(compile-prolog-string "
......
(define-module (logic guile-log guile-prolog vm-pre)
(define-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log)
#:use-module (logic guile-log iso-prolog)
#:use-module (logic guile-log guile-prolog hash)
......
(define-module (logic guile-log guile-prolog vm-unify)
(define-module (logic guile-log guile-prolog vm vm-unify)
#:use-module (logic guile-log)
#:use-module (logic guile-log iso-prolog)
#:use-module (logic guile-log guile-prolog hash)
......@@ -6,8 +6,8 @@
#:use-module (logic guile-log prolog swi)
#:use-module (compat racket misc)
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog vm-pre)
#:use-module (logic guile-log guile-prolog vm-imprint)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-imprint)
#:export (compile_unify))
(compile-prolog-string "
......
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