Contributors
- Kinga Ordecka
- Aleksandra Czyż
- Piotr Sowiński
- Grzegorz Ziółkowski
Sources
Preview
In order to input a logic program with following clauses:
a2 <- a1, ~a4
a1 <- a3
a5 <-
Write (you can copy & paste):
[Cl {clHead = A {idx = 2, label = []}, clPAtoms = [A {idx = 1, label = []}], clNAtoms = [A {idx = 4, label = []}]}, Cl {clHead = A {idx = 1, label = []}, clPAtoms = [A {idx = 3, label = []}], clNAtoms = []}, Fact {clHead = A {idx = 5, label = []}}]