Какой из ниже перечисленных языков программирования базируется на логике предикатов 1-го порядка

• Lisp
• Pascal
• Prolog
• Smalltalk

К сожалению, у нас пока нет статистики ответов на данный вопрос.