Мова програмування Prolog.

  1. Installing SWI-Prolog. Visual Prolog. SWI-Prolog’s interactive assistant. Try SWI-Prolog online.
  2. Практичне заняття. Робота з інтерпретатором SWI- Prolog у браузері.
  3. Визначення окремих термінів дискретної математики (програмістам необхідно володіти)
  4. Чому потрібен Prolog?
  5. Логічне програмування. Вступна лекція. Місце мови ПРОЛОГ серед засобів програмування.
  6. Перші кроки у Пролозі з розглядом простий та потужних можливостей
  7. Лекція Prolog. Основні поняття. Квантори. Читання програм. Backtracking. Відтинання. Cut. !.
  8. Чарівне злиття списків. Лекція (доповнення). Демонстрація чарівної потужності мови Prolog.
  9. Пролог. Графічний інтерфейс програм на Tau-Prolog: Логічна задача “Ханойські вежі”.
  10. Пролог. Логічна задача “Хід Коня” (Knights Tour). Два варіанти розв’язку.
  11. Пролог. Логічна задача “n-Королев”. Три методи.
  12. Запити Реляційної Алгебри Кодда та SQL в Пролозі – Максим Ксьондцик
  13. Графічний інтерфейс програм на Пролог”. Building PWAs in SWI-Prolog
  14. Вступна лекція по дисципліні “Логічне програмування” 
  15. Змінні в імперативних та декларативних мовах програмування -Логічне програмування 
  16. Логічне програмування. Практична
  17. Логічне програмування. Лекція
  18. 3 черепахи. Цікава логічна задачка. Математики не можуть її розв’язати! 
  19. Позначки параметрів предикатів SWI-Prolog.
  20. Tau-Prolog. Веб-інтерфейс для програм на Prolog.
  21. JPL. Імплементація Java з SWI-Prolog. 
  22. Родинні відношення на Prolog, Java, Haskell & SQL. 
  23. Вовк, Коза та Капуста – детальний розгляд на Prolog та Haskell.
  24. Задача про вісім ферзів. На Prolog with CLP(FD), на Haskell та на Java.
  25. Використання Prolog при розробці комерційних систем. 
  26. Fuzzy Logic – нечітка логіка Логічне програмування.
  27. Trace – Трасування логічних програм. Логічне програмування. 
  28. Фактичні та формальні параметри та типи зв’язків. Способи та напрями обміну даними.
  29. Підґрунтя Логічного програмування. 
  30. Об’єктно-орієнтоване програмування в Логічному програмуванні.
  31. SQL vs Prolog
  32. Порівняння С#, Haskell та Prolog на прикладі n-королев
  33. Чому Пролог це логіка предикатів 1-ого, а не вищого порядку?
  34. Prolog. Оцінювання речень на істинність та хибність. Квантори. Інтерпретація.
  35. Порівняння мов Prolog, Haskell та Java на прикладі роботи з бінарними деревами пошуку.
  36. Порівняння Prolog, Haskell та Java на задачі “Хід Коня”
  37. “English grammar” on Prolog. Порівняння з Haskell та Java.
  38. Порівняння Prolog, Haskell та Python на розв’язку задачі з “програмуванням обмежень”: “n-ферзів”.
  39. Eliza на Prolog, Python, Haskell з порівнянням. Трішки про ChatGPT.
  40. Дисципліна «Розробка та супровід баз знань».
  41. АВЛ-дерева на мові Пролог та на JavaScript.
  42. Чому “Відношення” = “Предикат”? Prolog. Логічне програмування.
  43. Унікальний та невідомий прийом на Prolog! Реляційні Бази Даних на Prolog. Prolog vs SQL.
  44. Дуже просто про “МініМакс”: ідея.
  45. Мова Mercury у порівнянні з Prolog, Haskell та Lisp
  46. Логічне програмування з обмеженнями. SWI-Prolog clp(fd)
  47. Порівняння Prolog, Haskell, Java на розв’язку задачі “найкоротший шлях в графі”.
  48. Моделювання мислення для отримання знань. Prolog та Haskell. Логічна задача: “3 ковпака на мудрецях”
  49. Процедурна інтерпретація логічних програм
  50. Арність Складання = 3. Класифікація термів
  51. Відсутність значення. Порожній список. 0-Pointer
  52. Списки та Структури. Списків та структур в Prolog немає.
  53. Порожній список. Списки та Структури. Списків та структур в Prolog немає.
  54. Питання до структур та списків
  55. Порівняння задачі комівояжера на С++, Haskell та Prolog.
  56. Порівняння задачі “Мінімальне кістякове дерево” на Prolog, Haskell та Kotlin
  57. Про тести
  58. Повторно: про задачі на перебір
  59. Розбір речень на англійській мові. “English grammar”. Порівняння на Prolog, Haskell та Java.
  60. Prolog VS Haskell. Sudoku – приклад з SWI з бібліотекою програмування обмежень clp(fd).
  61. Як застосовувати Prolog в програмах на C++
  62. Задача Айнштайна “День на пляжі”. Порівняння на Prolog, Haskell та С#
  63. П’ятнашки” на Prolog
  64. Лабіринт на Tau-Prolog (JavaScript). Пошук в глибину
  65. Реалізація Гри “4 в ряд” на Java, Haskell та на Prolog з графічним інтерфейсом на JavaScript (Json).
  66. Prolog. Реалізація гри Х0 на “нескінченному” полі NxM з графічним інтерфейсом
  67. Запити на “ділення” мовою Prolog до реляційної БД .
  68. Лабіринт на Prolog (та JS, CSS, HTML, VUEJS). Пошук BFS. Пошук А
  69. Реверсі на Prolog та JS (swipl).
  70. Шашки на Prolog, Haskell & Java з minmax та Alpha-Beta.
  71. Карткова гра UNO на Prolog, Haskell & Java. 
  72. Карткова гра UNO на Prolog, Haskell & Java.
  73. Шашки-піддівки на Prolog, Haskell & Java з minmax та Alpha-Beta.
  74. Головоломки з сірниками на мові Prolog. Генератор головоломок з їх розв`язками.