ob-pasp/README.org

* ob-pasp
Org-Babel mode to execute Potassco Answer Set Programming code within Org-mode with =clingo=.

#+begin_src pasp :exports both
child(C, P) :- parent(P, C).
parent(vader, luke).
#show child/2.
#+end_src

#+RESULTS:
#+begin_example
clingo version 5.6.2
Reading from /tmp/babel-kEapMk/clingo-4cyjcS
Solving...
Answer: 1
child(luke,vader)
SATISFIABLE

Models       : 1
Calls        : 1
Time         : 0.000s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s
#+end_example

** Installation

The package is not (yet) available on MELPA, so the package should be installed from github directly.

*** Dependencies

To be able to use =ob-pasp= you will need to install =clingo= cli.

*** Doomemacs

In your =$DOOMDIR/packages.el= file, you might want to set up the following:
#+begin_src emacs-lisp
(package! pasp-mode)    ;; Add syntax highlighting for Potassco ASP
(package! ob-pasp
  :recipe (:host github :repo "samuelortion/ob-pasp"))
#+end_src

*** TODO Spacemacs :help-wanted:

*** =use-package= with =straight=
The following instructions should work, but I am not sure.
#+begin_src emacs-lisp
(use-package ob-pasp
  :straight (ob-pasp :type git :host github :repo "samuelortion/ob-pasp"))
#+end_src