/fol2asp

A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)

Primary LanguageScalaApache License 2.0Apache-2.0

Watchers