Запитання з тегом «logical-purity»

2
Використання зайвих цілей у запитах
(За пропозицією @repeat ) Розгляньте запит чистої програми 1 ?- G_0. Яку користь матиме запит ?- G_0, G_0.? Виноски 1 Немає табелів (щоб бути безпечним), обмеження в порядку. Попередня публікація на цю тему.
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.