Clingo-fork replaces the semantics of disjuntive logic programs so that disjuntion in the head is undertood as forks instead of epistemic disjuntion (see Forgetting auxiliary atoms in forks for more details).
Requirements:
Usuage:
python fork.py examples/example1.lp