vm-handle2.scm 1.11 KB
Newer Older
1 2 3 4 5 6 7 8 9 10
(define-module (logic guile-log guile-prolog vm vm-handle2)
  #: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-compiler)
  #:use-module (logic guile-log guile-prolog macros)
  #:use-module (logic guile-log guile-prolog vm vm-pre)
11
  #:use-module (logic guile-log guile-prolog vm vm-var2)
12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
  #:use-module (system vm assembler)
  #:export (handle_all))


#;
(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).
")

Stefan Israelsson Tampe's avatar
Stefan Israelsson Tampe committed
30

31 32 33 34 35 36 37 38 39
(eval-when (compile)
  (set! (@@ (logic guile-log prolog compile) include-meta) #f))

(include-from-path "logic/guile-log/guile-prolog/vm/vm-handle-model.scm")

(eval-when (compile)
  (set! (@@ (logic guile-log prolog compile) include-meta) #t))