TODO

parent 5ba5576f
* refine closures according to spec
* tablating / memoization
* hash / document
* zip /document
* interleave / document
* closures / document
* clean up C warnings
* fix ++ bug
* general cleanup
* testing
......@@ -1746,11 +1746,11 @@ solutions to search for, or @code{*} to search for all solutions. @code{v ...}
@subsection Example
@verbatim
(use-modules (logic guile-log iso-prolog))
(reset-prolog)
(compile-string "f(X,Y) :- (X=1,Y=2;Y=3);X=Y.")
(prolog-run * (X Y) (f X Y))
->
(use-modules (logic guile-log iso-prolog))
(reset-prolog)
(compile-prolog-string "f(X,Y) :- (X=1,Y=2;Y=3);X=Y.")
(prolog-run * (X Y) (f X Y))
$1 = ((1 2) (v0 3) (v0 v0))
@end verbatim
@node deviations
......
(define-module (logic guile-log code-load)
#:use-module (system vm vm)
#:use-module (ice-9 format)
#:use-module (srfi srfi-11)
#:use-module (srfi srfi-9)
#:use-module (srfi srfi-9 gnu)
......@@ -70,6 +71,8 @@
get-index-set get-index-test
))
;; Tos silence the compiler, those are fetched from the .so file
(define setup-vlist #f)
;;need to add modded,
......@@ -77,7 +80,6 @@
(lambda ()
(load-extension "libguile-log" "gp_init"))
(lambda x
(warn "libguile-log is not reached from standard extension location")
(let ((file
(%search-load-path "logic/guile-log/src/.libs/libguile-log.so")))
(if
......@@ -136,7 +138,7 @@
(cdr x)
s)
(values #f #f #f)))
#;
(if (and #f (module-defined? (current-module) 'the-c-closure-tag))
(begin
(definek gp-c-system #t)
......@@ -205,7 +207,7 @@
(format port "#<vlist ~a>"
(vlist->list vl))))))
(define x (setup-vlist <vlist>))
(define x (setup-vlist <vlist>))
(define vlist-null (list-ref x 0))
(define block-growth-factor (list-ref x 1))
(define init-block-size (list-ref x 2))
......@@ -215,10 +217,10 @@
(define (vlist-pair? x) (and (vlist? x) (not (vlist-null? x))))
(define (vlist-thread-inc)
(fluid-set! thread-seq (+ thread-inc (flud-ref thread-seq))))
(fluid-set! thread-seq (+ thread-inc (fluid-ref thread-seq))))
(define (vlist-new-thread)
(fluid-set! thread-nr (+ thread-inc (flud-ref thread-nr)))
(fluid-set! thread-nr (+ thread-inc (fluid-ref thread-nr)))
(fluid-set! thread-seq thread-inc))
(define (vlist-last-val x)
......
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