domains

    list=symbol*

    
predicates

    last(list)

    
clauses

    last([X]):-
        write("\nLast element is : "),
        write(X).
        
    last([Y|Tail]):-
        last(Tail).
                
    
OUT PUT
=======

Goal: last([a,b,c,d,e])

Last element is : e

Yes