:- module(comments_ex, []).

b.

e(A,B) :-
  A=((B-1))+1,
  b.

e( a
   ->%(
   c;b).

p(/*1*/_A/*2*/,/*3*/b/*4*/).
p( /*1*/ a/*2*/ , /*3*/ _B /*4*/ ).

f(b->c;true/*1*/).

f(a;(a,b,c)).

f(a,(a,b,c)).