Report - Curs 6: Bazele Teoretice ale Programarii Logiceweb.info.uvt.ro/~mmarin/lectures/LP/curs-07.pdf · Logica predicatelor de ordinul întâi ... Regula pentru termeni se citeste¸ astfel:

Please pass captcha verification before submit form