Comment by whattheheckheck

You can ask it to provide a prolog or datalog program