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