there are a few more, including ones supporting on disk databases https://en.wikipedia.org/wiki/Datalog#Systems_implementing_D...