Fundamentele programarii logice. Initiere in Prolog - Dorin Bocu