%% here are some simple examples of pttp.

%% This  propositional example shows pttp proving r from {p=>r, q=>r, p or q}

example1 :-
  pttp((
        % p implies q
        % p => r
        (r ; not_p),

        % q imples r
        % q => r
        (r ; not_q),

       % p or q is true
       % p OR q
       (p ; q),
  
       % the query: is r true?
       (query :- r))),
  fail.

example1 :- prove(query).