Хочемо вивчити й опанувати Prolog?

Приєднаймося до треку Prolog на Exercism, щоб отримати доступ до 109 вправ з автоматичним аналізом коду та персональним наставництвом, і все це 100% безкоштовно.

Про Prolog

Ключові можливості Prolog


Prolog

Сумісність

SWI-Prolog пропонує вичерпний набір вбудованих предикатів, який охоплює багато усталених стандартів.

Простота

Основою всіх відношень і програм Prolog є єдиний елемент мови, який називають клаузою.

Декларативність

У Prolog увага зосереджена на тому, що є істинним щодо розвʼязків, а не на тому, як їх реалізовано.

Логічність

Prolog ґрунтується на правилах логіки, а виконання програми є формою логічного виведення.

Гомоіконічність

Програми Prolog також є чинними термами Prolog, тож програми можуть взаємодіяти з іншими програмами Prolog.

Портативність

Існують реалізації для платформ Unix/Linux, Windows і MacOS з орієнтацією на WebAssembly (WASM).

Наставництво у стилі Prolog

У кожної мови свої звичаї. Prolog не виняток. Наші наставники допоможуть нам навчитися думати як розробник Prolog і писати ідіоматичний код мовою Prolog. Коли ми розвʼяжемо вправу, надішлімо її нашій команді волонтерів, і вони дадуть нам підказки, ідеї та відгук про те, як зробити її ближчою до того, що ми зазвичай бачимо мовою Prolog, і допоможуть нам відкрити те, чого ми не знаємо, що не знаємо.

Дізнатися більше про наставництво

Вправи Prolog від спільноти

Трек Prolog на Exercism має 109 вправ, щоб допомогти нам писати кращий код.

Переглянути всі вправи Prolog
Prolog

Почати з треку Prolog

А найкраще те, що це 100% безкоштовно для всіх.

Приєднайтеся до треку Prolog