Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Pengaturcaraan logik
Pengaturcaraan logik merupakan paradigma dalam pengaturcaraan komputer di mana ia merupakan penyelesaian logik kepada penyataan-penyataan yang diisytiharkan, dan dalam logik di mana sesuatu algoritma digunakan untuk penyelesaian logik secara mesin.
Ia berasaskan penggunaan penyatuan (yang berasaskan resolusi) ke atas subset kepada logik predikat, klausa Horn, untuk menggelintar 'ruang bukti'.
Bahasa pengaturcaraan logik yang terkenal ialah Prolog.
Previous Page Next Page
