I am actualy working on a university project and I\'m having troubles with some predicates. The project concerns the recreation of the Dijkstra\'s algorithm with some predicates
