Пролог

От / / Оставьте комментарий

Пролог Prolog — язык логического программирования, разработанный в 1970-х годах.  Он основан на логике предикатов и имеет декларативный синтаксис.  Prolog […]

Dynamically typed programming languages, Homoiconic programming languages, Logic programming languages, Pattern matching programming languages, Programming languages created in 1972, Programming languages with an ISO standard, Prolog programming language family, Гомоиконные языки программирования, Динамически типизированные языки программирования, Семейство языков программирования Prolog, созданные в 1972 году, Языки логического программирования, Языки программирования, Языки программирования по шаблону, Языки программирования со стандартом ISO

Пролог

  • Prolog — язык логического программирования, разработанный в 1970-х годах. 
  • Он основан на логике предикатов и имеет декларативный синтаксис. 
  • Prolog используется в научных исследованиях, образовании и разработке программного обеспечения. 
  • Он обладает оптимизацией хвостового вызова и индексацией терминов для повышения эффективности. 
  • Некоторые системы Prolog реализуют методы, такие как хэширование и составление таблиц, для повышения производительности. 
  • Prolog имеет различные расширения, такие как типы, режимы, логическое программирование с ограничениями и объектно-ориентированное логическое программирование. 
  • На основе Prolog разработаны различные реализации, расширяющие возможности логического программирования. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала. 

Полный текст статьи:

Пролог — Википедия

Похожие статьи:

  1. Логическое программирование Логическое программирование Основы логического программирования Логическое программирование — это декларативный язык программирования, основанный на логике первого...
  2. Параллельное логическое программирование Параллельное логическое программирование Основы параллельного логического программирования Параллельное логическое программирование использует защищенные предложения Horn для параллельного...
  3. Декларативное программирование Декларативное программирование Определение и история декларативного программирования Декларативное программирование описывает языки, которые позволяют программистам описывать задачи...
  4. Вероятностно-логическое программирование Вероятностное логическое программирование Основы вероятностного логического программирования Вероятностное логическое программирование объединяет логическое программирование с вероятностями.  Семантика...
  5. Инференциальное программирование Логическое программирование Основы логического программирования Логическое программирование предполагает создание программы компьютером на основе заданных результатов.  Методы...
  6. Чао (язык программирования) Ciao (язык программирования) Основные характеристики Ciao Ciao — это язык программирования общего назначения с поддержкой различных...
  7. Вероятностное программирование Вероятностное программирование Определение и применение вероятностного программирования Вероятностное программирование объединяет вероятностное моделирование и традиционное программирование для...
  8. Параллельное программирование логики ограничений Параллельное программирование логики ограничений Основы параллельного логического программирования с ограничениями Параллельное логическое программирование с ограничениями фокусируется...
  9. Абдуктивное логическое программирование Абдуктивное логическое программирование Основы абдуктивного логического программирования (ALP) ALP — это метод логического программирования, который позволяет...
  10. Индуктивное программирование Индуктивное программирование Определение индуктивного программирования Индуктивное программирование изучает программы на основе неполных спецификаций.  Включает обучение алгоритмов...
  11. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  12. Стол управления Контрольный стол Основы управляющих таблиц Управляющие таблицы используются для управления выполнением программ без необходимости явного программирования...
  13. Отрицание как неудача Отрицание как неудача Отрицание как сбой (NAF) — немонотонное правило вывода в логическом программировании для получения...
  14. Индуктивное логическое программирование Индуктивное логическое программирование Основы индуктивного логического программирования Индуктивное логическое программирование (ILP) — это метод машинного обучения,...
  15. Автоматное программирование Автоматное программирование Основы автоматного программирования Автоматное программирование — это подход к программированию, основанный на теории автоматов. ...
  16. Поколения языков программирования Поколения языков программирования Классификация языков программирования Языки программирования разделены на поколения для обозначения эволюции стилей программирования. ...
  17. Программирование в большом и программирование в малом Программирование в большом и программирование в малом Различие между программированием в целом и программированием в малом...
  18. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  19. Процедурное программирование Процедурное программирование Определение и история процедурного программирования Процедурное программирование — императивная парадигма, реализующая поведение через процедуры. ...
  20. Императивное программирование Императивное программирование Императивное программирование — парадигма программирования, использующая инструкции для изменения состояния программы.  Процедурное программирование —...

Оставьте комментарий

Прокрутить вверх