http://gothub.r4focoma7gu2zdwwcjjad47ysxt634lg73sxmdbkdozanwqslho5ohyd.onion/cozodb/cozo
[src, dst, distance, path] <~ ShortestPathDijkstra(*route[], start[], end[]) src dst distance path FRA YPO 4544.0 ["FRA","YUL","YVO","YKQ","YMO","YFA","ZKE","YAT","YPO"] CozoDB attempts to provide nice error messages when you make mistakes: ?[x, Y] := x = 1, y = x + 1 eval::unbound_symb_in_head × Symbol 'Y' in rule head is unbound
╭──── 1 │ ?[x, Y] := x = 1, y = x + 1
· ─ ╰──── help: Note that symbols occurring only...