% To build first install teyjus (see https://teyjus.cs.umn.edu/,
% so: download the release from github,
%     then follow the README.md file in the release),
% then use the command:
  make
% or
  make run

% These should compile and link the files and start the lambda Prolog
% interpreter running on the module reductions.mod.

% and then try the example queries in examples.mod
% and type a

	y

% to see each step of the reduction sequence.

% Hint: use concrete strings for variables, (var "x"), not logical variables.


Local Variables:
word-wrap: 1
auto-fill-function: nil
End: