ktp-forked-repos / shortest-path-in-prolog Goto Github PK
View Code? Open in Web Editor NEWThis project forked from remusbompa/shortest-path-in-prolog
The project implements using Prolog a “Shortest path” program, in which the found path complies with a LTL (linear temporal logic) constraint.