Applying Logical Knowledge

Rule Queries

Rules can be queried just like facts. From the user's perspective, there is no difference.

?- connection(cvg, lax, X, F1, F2).

X = den
F1 = 110
F2 = 108 ;

X = bos
F1 = 113
F2 = 106

connection/5 could be a rule, or could be facts about connections.