Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
human(bill). marital_status(bill, unmarried). adult(bill). sex(bill, male). bachelor(X) :- human(X), marital_status(X, single), sex(X, male), adult(X).