Report - IKI 30320: Sistem Cerdas Kuliah 12: First Order Logicmalifauzi.lecture.ub.ac.id/files/2015/09/iki30320_20071029_slides.pdf · Declarative: menyatakan fakta-fakta terpisah dari mekanisme/prosedur

Please pass captcha verification before submit form