Вопросы с тегом «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)) , пролог: заморозить (X, пользователь: (a = …

11 prolog  sicstus-prolog  prolog-coroutining