docs: Add example
This commit is contained in:
parent
bf5a83719a
commit
dd44e574d4
|
@ -10,7 +10,7 @@ parent(vader, luke).
|
||||||
#+RESULTS:
|
#+RESULTS:
|
||||||
#+begin_example
|
#+begin_example
|
||||||
clingo version 5.6.2
|
clingo version 5.6.2
|
||||||
Reading from /tmp/babel-kEapMk/clingo-lto3lx
|
Reading from /tmp/babel-kEapMk/clingo-4cyjcS
|
||||||
Solving...
|
Solving...
|
||||||
Answer: 1
|
Answer: 1
|
||||||
child(luke,vader)
|
child(luke,vader)
|
||||||
|
|
Loading…
Reference in New Issue