TEHNICI DE PROGRAMARE PROLOG PENTRU INTELIGENTA ARTIFICIALA de ADINA MAGDA FLOREA , SERBAN RADU , ANDREI HORIA MOGOS , 2007