:- module(del_last_literal, [del_last_literal/0]).

del_last_literal :-
    a,
    ( b  ).

a.

b.