vm-goal2 vm-var2

parent 9cd0c93e
......@@ -130,6 +130,7 @@ PSSOURCES = \
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/guile-prolog/vm/vm-var2.scm \
logic/guile-log/guile-prolog/vm/vm-scm2.scm \
logic/guile-log/guile-prolog/vm/vm-args2.scm \
logic/guile-log/guile-prolog/vm/vm-handle2.scm \
......@@ -137,6 +138,7 @@ PSSOURCES = \
logic/guile-log/guile-prolog/vm/vm-conj2.scm \
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/examples/kanren/type-inference.scm \
logic/guile-log/imatch.scm \
prolog-user.scm \
......
(define-module (logic guile-log guile-prolog vm vm-scm)
(define-module (logic guile-log guile-prolog vm vm-args2)
#: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 vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:use-module (compat racket misc)
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var)
#:export (compile_scm))
#:use-module (logic guile-log guile-prolog macros)
#:use-module (logic guile-log guile-prolog vm-compiler)
#:export (caller push_args_args2 push_args_args push_args))
#;
(eval-when (compile)
(pk (prolog-run-rewind 1 (x)
(dyntrace (@@ (logic guile-log guile-prolog vm vm-handle)
handle)))))
(compile-prolog-string
"
- eval_when(compile).
the_tr2(X,[X]).
:- add_term_expansion_temp(the_tr2).
:- add_term_expansion_temp(extended_macro).
")
(eval-when (compile)
(set! (@@ (logic guile-log prolog compile) include-meta) #f))
(include-from-path "logic/guile-log/guile-prolog/vm/vm-args-model.scm")
(include-from-path "logic/guile-log/guile-prolog/vm/vm-scm-model.scm")
(eval-when (compile)
(set! (@@ (logic guile-log prolog compile) include-meta) #t))
......@@ -9,7 +9,7 @@
#:use-module (logic guile-log guile-prolog macros)
#:use-module (logic guile-log guile-prolog vm-compiler)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:export (compile_conj collect_conj))
#;
......
......@@ -9,7 +9,7 @@
#:use-module (logic guile-log soft-cut)
#:use-module (logic guile-log guile-prolog vm-compiler)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:export (compile_disj compile_disjunction collect_disj))
#;
......
This diff is collapsed.
This diff is collapsed.
(define-module (logic guile-log guile-prolog vm vm-goal2)
#:use-module (logic guile-log)
#:use-module (compat racket misc)
#: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 macros)
#:use-module (logic guile-log guile-prolog vm-compiler)
#: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-args2)
#:use-module (logic guile-log guile-prolog vm vm-unify2)
#:use-module (logic guile-log guile-prolog vm vm-imprint2)
#:use-module (logic guile-log guile-prolog vm vm-scm2)
#:use-module (logic guile-log guile-prolog vm vm-disj2)
#:use-module (logic guile-log guile-prolog vm vm-conj2)
#:use-module (logic guile-log guile-prolog vm vm-handle2)
#:use-module (system vm assembler)
#:export (begin_att end_att recur verbatim_call with_cut pr
extended_off extended_on))
#;
(eval-when (compile)
(pk (prolog-run-rewind 1 (x)
(dyntrace (@@ (logic guile-log guile-prolog vm vm-handle)
handle)))))
(compile-prolog-string
"
- eval_when(compile).
the_tr2(X,[X]).
:- add_term_expansion_temp(the_tr2).
:- add_term_expansion_temp(extended_macro).
")
(eval-when (compile)
(set! (@@ (logic guile-log prolog compile) include-meta) #f))
(include-from-path "logic/guile-log/guile-prolog/vm/vm-goal-model.scm")
(eval-when (compile)
(set! (@@ (logic guile-log prolog compile) include-meta) #t))
......@@ -8,7 +8,7 @@
#:use-module (logic guile-log guile-prolog vm-compiler)
#: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-var)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:use-module (system vm assembler)
#:export (handle_all))
......
......@@ -41,7 +41,7 @@ compile_scm((Op, ';'(max,min,+,-,*,/,<<,>>,\\/,/\\,mod))
LY=[[Op]|LL]
))).
compile_scm((Op,(+ ; -))(X),V,L,LL) :- !,
compile_scm((Op,(+ ; - ; \\))(X),V,L,LL) :- !,
ifc(compile_scm(X,V,L,LX),EX,
(
(number(EX) -> true ; throw(EX)),
......
......@@ -9,7 +9,7 @@
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog vm-compiler)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:export (compile_scm))
#;
......
......@@ -8,7 +8,7 @@
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog vm-compiler)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:use-module (logic guile-log guile-prolog vm vm-var)
#:use-module (logic guile-log guile-prolog vm vm-var2)
#:use-module (logic guile-log guile-prolog vm vm-imprint2)
#:export (compile_unify))
......
This diff is collapsed.
This diff is collapsed.
(define-module (logic guile-log guile-prolog vm vm-var2)
#: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 vlist)
#:use-module (compat racket misc)
#:use-module (system vm assembler)
#:use-module (logic guile-log guile-prolog macros)
#:use-module (logic guile-log guile-prolog vm-compiler)
#:use-module (logic guile-log guile-prolog vm vm-pre)
#:replace (first)
#:export ())
#;
(eval-when (compile)
(pk (prolog-run-rewind 1 (x)
(dyntrace (@@ (logic guile-log guile-prolog vm vm-handle)
handle)))))
(compile-prolog-string
"
- eval_when(compile).
the_tr2(X,[X]).
:- add_term_expansion_temp(the_tr2).
:- add_term_expansion_temp(extended_macro).
")
(eval-when (compile)
(set! (@@ (logic guile-log prolog compile) include-meta) #f))
(include-from-path "logic/guile-log/guile-prolog/vm/vm-var-model.scm")
(eval-when (compile)
(set! (@@ (logic guile-log prolog compile) include-meta) #t))
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