Help for this page

Select Code to Download


  1. or download this
    % this is a comment, % is like # in Perl
% All men are mortal
...
    man(X).
% Socrates is a man.
man(socrates).
  2. or download this
    $ gprolog
GNU Prolog 1.2.8
...
no
| ?- halt.
$