I found it for its Datalog implementation.

https://en.wikipedia.org/wiki/Datalog and http://www.learndatalogtoday.org/.