Last released Mar 25, 2026
A Python package to translate First-Order Logic (FOL) into different knowledge representation languages
Supported by
