TP de paradigmas: Prolog