MatthiasNickles/fol2asp
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
ScalaApache-2.0
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
ScalaApache-2.0