facts.pl

% Simple list of facts

sunny.
cold.

% More facts

cat(felix).
cat(sylvester).
cat(tom).

% Sample queries
%
% Query: sunny.
% Yes.
% Solution: sunny.
%
% Query: cloudy.
% No.
% Query: cat(tweety).
% No.
% Query: cat(A, B, C).
% No.
%
% Query: cat(Feline).
% Yes.
% Solution: cat(felix).
% More solutions (y/n) ?
% y
% Yes.
% Solution: cat(sylvester).
% More solutions (y/n) ?
% y
% Yes.
% Solution: cat(tom).
% More solutions (y/n) ?
% y
% No.