Program demonstrating how prolog can be used to solve logistics problems