Prolog adalah bahasa pemrograman logika atau di sebut juga sebagai bahasa non-procedural. Namanya diambil dari bahasa Prancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh Alain Colmerauer dan Robert Kowalski sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer. (Wikipedia)
Prolog juga merupakan salah satu bahasa tersulit untuk dipelajari, tidak seperti bahasa program lainnya yang menggunakan algoritma konvensional. Prolog menggunakan teknik pencarian yang disebut "heuristic" dengan pohon logika.
Operasi Logika AND, OR, XOR, NAND, NOR banyak ditemui pada pelajaran fisika, termasuk juga pemrograman. Nah, karena bahasa Prolog ini cukup berbeda dengan bahasa lainnya, maka teknik yang digunakannya pun berbeda. Tidak usah lama lagi berikut adalah Contoh pemrograman Operasi Logika pada Prolog :
1. AND
and(A,B) :- A, B.
2. OR
or(A,B) :- A; B.
3. XOR
xor(A,B) :- A \= B.
4. NAND
nand(A,B) :- not(and(A,B)).
5. NOR
nor(A,B) :- not(or(A,B)).
6. XNOR
xnor(A,B) :- A==B.
7. Implikasi
imp(A,B) :- \+ A ; B
Nah itulah beberapa kode program dari Operasi Logika pada Prolog, kurang lebih tampilannya akan jadi seperti ini
Jika sudah, lakukan "compile" lalu diuji dengan nilai true dan false seperti contoh berikut.