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