| Prolog II | akronim bagi programming in logic (pengaturcaraan dlm logik, iaitu sj bahasa pengaturcaraan komputer). | Kamus Dewan Edisi Keempat |
| prolog I | 1. kata-kata atau bahagian pendahuluan kpd sandiwara atau pidato, pembukaan kpd cerita sandiwara dll; 2. peristiwa pendahuluan (permulaan). | Kamus Dewan Edisi Keempat |
| Prolog | Singkatan bagi programming in logic, iaitu pengaturcaraan dalam logik. Lihat bahasa Prolog. | Kamus Komputer |
| predikat logik tertib pertama(first-order logic predicate) | Perwakilan logik yang digunakan untuk menyatakan fakta dan hukum dalam bahasa pengaturcaraan logik, seperti Prolog. | Kamus Komputer |
| atur cara logik(logic program) | Atur cara yang terdiri daripada kenyataan logik simbolik yang dikarang dengan menggunakan bahasa pengaturcaraan logik, seperti bahasa Prolog. | Kamus Komputer |
| pengaturcaraan logik(logic programming) | Pengaturcaraan komputer yang dilakukan dengan menyatakan keterangan logik simbolik sebagai fakta dan hukum bagi masalah. Bahasa pengaturcaraan logik seperti Prolog kemudian digunakan untuk menyelesaikan masalah dengan mencari jawapan bagi masalah yang dibangkitkan. | Kamus Komputer |
| bahasa sepunya(common language) | 1. Bahasa pengaturcaraan yang boleh digunakan terus tanpa sebarang pengubahsuaian pada dua atau lebih komputer yang berbeza. Misalnya, BASIC, Pascal, C, FORTRAN, COBOL, Prolog, LISP, Modula-2, dan Ada. 2. Bahasa pengaturcaraan yang ditetapkan sebagai bahasa yang kan digunakan untuk melaksanakan semua modul dalam sesuatu projek besar yang melibatkan pelbagai kumpulan dan perkakasan. | Kamus Komputer |