Базы и банки знаний
Prolog – это декларативный язык , программы на котором содержат объявления логических взаимосвязей, необходимых для решения задачи . Обозначения, используемые в Prolog для выражения логических взаимосвязей, унаследованы из логики предикатов.