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

  • Lisp
  • Pascal
  • Prolog
  • Smalltalk

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