Характеристика на езика Prolog
Особености на езиците за логическо програмиране Програма = правила + факти Изпълнение = доказателство - дескриптивен характер.
Азбуката на езика се състои от: константи, променливи, функции, предикати, логически съюзи, квантори, символи за пунктуация...