A. M. Florea B. Dorohonceanu C. Frâncu Programare în Prolog pentru Inteligenţă Artificială UNIVERSITATEA “POLITEHNICA” BUCUREŞTI 1997