Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpr)). foo(X). one(X) :- {X =:= 1.0}. check :- foo(X), one(X). /** <examples> ?- check, foo(X). */