Report - Programare logică - profs.info.uaic.roalaiba/pub/prolog-2014/curs/2-Recapitulare.pdf · Tipuri de substituții Substituţia elementară [x/t] este permisă pentru F dacă t nu conţine

Please pass captcha verification before submit form