Я новичок в CHR, и мне было интересно, имеет ли смысл иметь функции в качестве аргументов для...
(ns verbal-arithmetic (:require [clojure.core.logic :refer [all run* everyg lvar == membero fresh...
Это вопрос найти значение А. inverse([],[]). inverse([H|T],D) :- inverse(T,Z), append(Z,[H],D)....
вопрос Reasoned Schemer описывает, как использовать miniKanren, который похож на Prolog, но...
Первоначально я назвал этот вопрос: «Есть ли язык логики быстрее, чем пролог, но более...
Меня немного смущает определение набора ответов. S - это набор ответов P, если S - наименьшая...
В core.logic, есть ли способ преобразовать выходные данные программы, такие как (run 2 [q] (fresh...
Меня интересует философия программирования «используй правильный инструмент для работы», и у меня...
Я думал, что смогу решить деревья SLD, пока не нашел этот вопрос в предыдущих статьях. Какой...
Есть ли способ сделать логическое программирование (вспомните Пролог) на Lua? В частности: есть ли...
Я изучаю Erlang из веб-книги LearnYouSomeErlang.Одной вещью, которая поразила меня во время...
У меня есть стандартный тип данных, представляющий формулы логики предикатов. Функция,...
Я недавно сталкивался с этим примером кода на Меркурии: append(X,Y,Z) :- X == [], Z := Y. append(X...
Я пытаюсь использовать API, который в основном совместим с GNU Prolog.К сожалению, предиката GNU...
Я ищу точное описание алгоритма вывода с помощью обратной цепочки. Всякий раз, когда я ищу, я...
В последнее время я делаю Пролог. И я прочитал книгу «Искусство пролога». У них там есть реализация...
Есть ли более новый язык, чем Prolog, специализирующийся на логическом программировании?
Из раздела 3.13.3 учебника по карри : Остаточные операции называются жесткими, а узкие - гибкими....
Я пытаюсь выполнить упражнение, чтобы лучше познакомиться с прологом. Задача следующая: % Sten...
В настоящее время я прорабатываю раздел SICP по программированию логики, но я застрял в примерах,...
Предположим, что следующие факты уже введены в базу данных Пролога: father(X, Y) // X is the father...
Я экспериментирую с прологом, читая "Программирование на прологе с использованием стандарта ISO,...
emissionOf(alpha). emissionOf(beta). detected(proton), detected(electron) :- emissionOf(alpha),...
Мне трудно разобраться с реляционной логикой клаузалов, и я не уверен, стоит ли спрашивать об этом,...
Я где-то читал, что Pattern Matching, подобный тому, который поддерживается в Scala функцией...