Re: ! and ->

Bart Demoen wrote:

Suppose the clause of p() where

p() :-
a(),
( if() ->
then()
;
else()
),
b().
How would you transform that ?

in the same way:

p():-
a(),
if(), !,
then(),
b().

p():-
a(),
else(),
b().

the real "problems" come when you have nested "->", but just because you
must repeat yourself.

--
Under construction
.