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

19
(compile-prolog-string ":- use_module(boot(if)).")