FlightSchedulingLogic Datalog miniproject, written as a part of the Programming Paradigms course at Aalborg University.