Результати пошуку

...гою їх фіксації, це побудова послідовності функцій одного аргумента, кожна з яких повертає наступну. ...мбда-числення]], який можна застосувати тільки для функцій однієї змінної. З точки зору [[теорія множин|теорії множин]], каррування — це відповідність м ...

|Один з розв'язків задачі про вісім ферзів. ...такому розміщенні восьми [[Ферзь|ферзів]] на [[шахи|шахівниці]], що жодна з них не ставить під удар один одного. Тобто, вони не повинні стояти в одній ...

'''Зада́ча про [[місіонер]]ів і [[канібал]]ів''', а також тісно пов'язана з ними задача про ревнивого [[чоловік]]а. — класичні приклади «задач про пере ...залишатися більше, ніж місіонерів (бо якщо канібали в більшості, то можуть з'їсти місіонерів). Також човен не може перетнути річку сам по собі, без люде ...

...} / {{Не перекладено|Афіксна граматика|афіксних граматик||Affix grammar}}, з якої Пролог і було спочатку розроблено. Граматики визначених тверджень зазв ...иразу в Пролозі та інших подібних мовах; не всі способи вираження граматик з використанням визначених тверджень вважаються граматиками визначених твердж ...

...LL алгоритм]]у, який завжди є скінченним (на відміну від оцінки запиту в [[Prolog]], що може призвести до [[Нескінченний цикл|нескінченного циклу]]). ...07b.pdf |date=3 березня 2016 }}</ref> та використання оцінки запитів, типу Prolog для вирішення задач, що виникають у цих додатках. ...

...гіка|математичної логіки]]. Найвідомішою мовою логічного програмування є [[Prolog]], що є за своєю суттю універсальною машиною виводу, що працює в припущенні ...ня фактів без активного використання [[стек]]у. Потім була розроблена мова Prolog, яка не вимагала плану перебору варіантів і була, в цьому сенсі, спрощенням ...

...на саму себе, і будь-якого початкового значення {{Math|''x''₀}} з {{Mvar|S}}, послідовність ітераційних значень функції ...ахи та зайця]] [[Роберт Флойд|Роберта У. Флойда]] переміщує два вказівника з різною швидкістю по послідовності значень, поки обидва не вкажуть на рівні ...