Closed
Description
For some reason I cannot get a simple Prolog snippet to work in ob-prolog:
#+BEGIN_SRC prolog :goal a(X)
a(a).
#+END_SRC
C-c C-c gives the following error:
ERROR: Prolog initialisation failed:
ERROR: create_prolog_flag/3: Arguments are not sufficiently instantiated
I'm a bit surprised to see this error, ob-prolog does not seem to set a SWI-Prolog flag from its code?
My Prolog-related configuration is as follows:
(org-babel-do-load-languages
'org-babel-load-languages
'(...
(prolog . t)))
(autoload 'run-prolog "prolog" "Start a Prolog sub-process." t)
(autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
(setq prolog-system 'swi)
(add-to-list 'auto-mode-alist '("\\.pl$" . prolog-mode))
(setq prolog-indent-width 2)
Metadata
Assignees
Labels
No labels