Comment by pfdietz

Another direction to explore logic languages is Datalog.