Why do we use ad-hoc parsing for Datalog if datalog is a subset of Prolog?

[gciatto]

• The prolog parser could be re-used instead
• Hence avoiding the need to convert Prolog theories into datalog