prolog-user.scm 725 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 ops)
8
  #:use-module (logic guile-log guile-prolog set)
9
  #:use-module (logic guile-log guile-prolog attribute)
10
  #:use-module (logic guile-log guile-prolog coroutine)
11
  #:use-module (logic guile-log guile-prolog gc-call)
12
  #:use-module (logic guile-log prolog goal-expand)
13
  #:use-module (logic guile-log guile-prolog interpreter)
14
  #:use-module (logic guile-log guile-prolog dynamic-features)
15 16
  #:filename #f)

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