Help request

Dear ECLiPSe developer,
I am using ECLiPSe to construct a simple meta-interpreter for Prolog but I meet a problem when I try to write a clause to manage the cut.
My simple interpreter is something like that:

solve(true):-!.
solve((A,B)):-!,solve(A),solve(B).
solve(not A):-!,not solve(A).
solve(A):-clause(A,B),solve(B).

I would like adding a clause like   solve(!):-......  , but neither 

solve(!):-!. 

nor 

solve(!):-!(reduce(A)).
reduce(A):-clause(A,B),solve(B). 

work.

Might you please give me any suggestion.
 
Thanks you very much for your help.
 
                                                                                                                    Yours sincerely
                                                                                                                                                Sara Bernardini