Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
breathes(beluga, air). breathes(salmon, water). swims(beluga). swims(salmon). whale(X) :- breathes(X, air), swims(X). /** <examples> ?- whale(X) */