if and else and cut

[kuntilanak]

Say that I have one predicate called test, and I have another predicate called checker, basically here's what I am trying to do in Prolog:

test :- checker(T), if checker suceeds(i.e, returns yes)
then print bla..bla..bla otherwise
checker processes the remaining predicates here ........
(which is still inside of test)

how can I represent all that in prolog in one single rule of test? is such thing possible?

 

[joel76]

% SWI-Prolog syntax
test :-
  (checker(T) -> <action when success> ; <action when fail>).

If there is no action when fails :

% SWI-Prolog syntax
test :-
  (checker(T) -> <action when success> ; true).