Es macht nichts ; Es wird hier verwendet, um Paare zu konstruieren, wie Sie bereits angenommen haben.
Da / nicht auf der rechten Seite von is auftritt oder an einer anderen Stelle, an der eine arithmetische Auswertung durchgeführt wird, erzeugt Prolog nur zwei Argumente mit / als Funktor. / wird verwendet, weil es infix geschrieben werden kann; - ist auch eine beliebte Wahl für einen generischen Konstruktor.