Prolog

https://bernardopires.com/2013/10/try-logic-programming-a-gentle-introduction-to-prolog/