sortion
/
ob-pasp
mirror of https://github.com/samuelortion/ob-pasp.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Org-Babel mode to execute Clingo Potassco code within Org-mode
7 Commits 1 Branch 0 Tags 47 KiB
Emacs Lisp 100%
Go to file
Samuel Ortion 59b2541dfd
Fix a typo in Doomemacs packages.el filename 		2024-04-26 19:23:48 +02:00
LICENSE Add example of installation on Doomemacs and fix the stringp nil in error handling 2023-11-30 07:25:04 +01:00
README.org Fix a typo in Doomemacs packages.el filename 2024-04-26 19:23:48 +02:00
ob-pasp.el Add example of installation on Doomemacs and fix the stringp nil in error handling 2023-11-30 07:25:04 +01:00

README.org

ob-pasp

Org-Babel mode to execute Potassco Answer Set Programming code within Org-mode with clingo.

child(C, P) :- parent(P, C).
parent(vader, luke).
#show child/2.
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

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:

(package! pasp-mode)    ;; Add syntax highlighting for Potassco ASP
(package! ob-pasp
  :recipe (:host github :repo "samuelortion/ob-pasp"))

TODO Spacemacs :help-wanted:

use-package with straight

The following instructions should work, but I am not sure.

(use-package ob-pasp
  :straight (ob-pasp :type git :host github :repo "samuelortion/ob-pasp"))