pemrograman logika Komputer Komputer | metode penulisan program komputer yang didasarkan pada studi matematika tentang penalaran logika