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.
Klausa Horn
Satu kepala sahaja:
A(x1, x2,…, xk) ← B1(…),B2(…),…,Bn(…).
Resolusi
Gelintaran dipacu sasaran bagi penyelesaian suatu sistem logik, menggunakan reductio ad absurdum menerusi modus tollens.
Penyatuan
Penggantian-penggantian pembolehubah yang paling umum supaya 2 ungkapan kalkulus predikat padan.
Jika anda melihat rencana yang menggunakan templat {{tunas}} ini, gantikanlah dengan templat tunas yang lebih spesifik.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
