24 lines
451 B
Org Mode
24 lines
451 B
Org Mode
|
* ob-pasp
|
||
|
|
Org-Babel mode to execute Clingo Potassco code within Org-mode
|
||
|
|
|
||
|
|
#+begin_src pasp
|
||
|
|
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-lto3lx
|
||
|
|
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
|