Запитання з тегом «prolog»

Закрито . Це питання має бути більш зосередженим . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб він зосередив увагу на одній проблемі лише редагуючи цю публікацію . Закрито 3 роки тому . Удосконаліть це питання Коли я хочу прочитати логічне програмування, я завжди натрапляю на два …

124 prolog  logic-programming  minikanren 

(За пропозицією @repeat ) Розгляньте запит чистої програми 1 ?- G_0. Яку користь матиме запит ?- G_0, G_0.? Виноски 1 Немає табелів (щоб бути безпечним), обмеження в порядку. Попередня публікація на цю тему.

12 prolog  logical-purity 

Я розігрувався з прорококоруючими предикатами freeze/2і frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (версія 4.5.1 для x86_64) дав такі відповіді: | ? - заморожувати (X, a = a), заморожувати (X, ціль). Мета = пролог: заморозити (X, користувач: (a = a)) , prolog: заморозити (X, користувач: (a = …

11 prolog  sicstus-prolog  prolog-coroutining