[maweki]

What are the licensing issues with First-order Horn clause logic?

Datalog is not a licensed product or software, the same way Answer Set Programming isn't.