prolog-user.scm 1.05 KB
Newer Older
1
(define-module (prolog-user)
2
  #:pure
3 4
  #:use-module ((system base compile) #:select
		(compile compile-file))
5
  #:use-module (logic guile-log)
6
  #:use-module (logic guile-log iso-prolog)
7
  #:use-module (logic guile-log prolog swi)
8
  #:use-module (logic guile-log guile-prolog engine)
9
  #:use-module (logic guile-log guile-prolog paralell)
Stefan Israelsson Tampe's avatar
Stefan Israelsson Tampe committed
10
  #:use-module (logic guile-log guile-prolog fiber)
11
  #:use-module (logic guile-log guile-prolog ops)
12
  #:use-module (logic guile-log guile-prolog set)
13
  #:use-module (logic guile-log guile-prolog attribute)
14
  #:use-module (logic guile-log guile-prolog coroutine)
15
  #:use-module (logic guile-log guile-prolog gc-call)
16
  #:use-module (logic guile-log guile-prolog interpreter)
17
  #:use-module (logic guile-log guile-prolog dynamic-features)
18
  #:use-module (logic guile-log prolog goal-expand)
19
  #:use-module ((guile) #:select (@ @@ syntax))
20 21
  #:filename #f)

22
(compile-prolog-string
23 24 25 26 27 28
 "
     :- use_module(boot(if)).
     :- use_module(boot(dcg)).
     :- use_module(sandbox).
     :- use_module(user).
     :- use_module(swi(term_macro)).
29 30
")