thanks, https://github.com/eyereasoner/eyelet/blob/main/input/path-discovery.pl works fine

[josd]

Thanks a lot for Trealla Prolog and https://github.com/eyereasoner/eyelet/blob/main/input/path-discovery.pl works fine

$ tm eyelet-trealla input/path-discovery.pl

find_routes('Ostend-Bruges International Airport','Václav Havel Airport Prague',2,[route(2,['310','309','1452','1587'],['Ostend-Bruges International Airport','Liège Airport','Heraklion International Nikos Kazantzakis Airport','Václav Havel Airport Prague']),route(2,['310','309','1472','1587'],['Ostend-Bruges International Airport','Liège Airport','Diagoras Airport','Václav Havel Airport Prague']),route(2,['310','309','3998','1587'],['Ostend-Bruges International Airport','Liège Airport','Palma De Mallorca Airport','Václav Havel Airport Prague'])]).
1.450 sec, 28064 kB

Nice to see it also working for scryer and swipl

$ tm eyelet-scryer input/path-discovery.pl
find_routes('Ostend-Bruges International Airport','Václav Havel Airport Prague',2,[route(2,['310','309','1452','1587'],['Ostend-Bruges International Airport','Liège Airport','Heraklion International Nikos Kazantzakis Airport','Václav Havel Airport Prague']),route(2,['310','309','1472','1587'],['Ostend-Bruges International Airport','Liège Airport','Diagoras Airport','Václav Havel Airport Prague']),route(2,['310','309','3998','1587'],['Ostend-Bruges International Airport','Liège Airport','Palma De Mallorca Airport','Václav Havel Airport Prague'])]).
1.261 sec, 106948 kB

$ tm eyelet-swipl input/path-discovery.pl
find_routes('Ostend-Bruges International Airport', 'Václav Havel Airport Prague', 2, [route(2, ['310', '309', '1452', '1587'], ['Ostend-Bruges International Airport', 'Liège Airport', 'Heraklion International Nikos Kazantzakis Airport', 'Václav Havel Airport Prague']), route(2, ['310', '309', '1472', '1587'], ['Ostend-Bruges International Airport', 'Liège Airport', 'Diagoras Airport', 'Václav Havel Airport Prague']), route(2, ['310', '309', '3998', '1587'], ['Ostend-Bruges International Airport', 'Liège Airport', 'Palma De Mallorca Airport', 'Václav Havel Airport Prague'])]).
0.678 sec, 29800 kB