Это может звучать странно, но это используется в парсере, я хочу иметь возможность анализировать...
Таким образом, мы можем легко найти и заменить атом другим атомом в Прологе, выполнив что-то вроде:...
Имейте любопытство, связанное с предикатным контролем Пролога. Возможно, у меня есть предикат f (A,...
Я попытался использовать реализацию mini-kanren в clojure. Но изо всех сил пытался понять разницу...
Допустим, у меня есть это правило: andR( conj(C,D) ). Поэтому я хочу, чтобы оно совпадало с такими...
Я пытался выучить Пролог и наткнулся на этот синтаксис на примере кода. solve(Hs) :- Hs = [_,_,_,_...
хорошо, поэтому я использую пролог для создания простого парсера xml. И у меня есть следующий...
У меня есть следующие определения: memberx(X, [X|_]). memberx(X, [_|T]) :- memberx(X, T)....
Предположим, у меня есть следующие правила: unify('test', 'this is a test')....
В настоящее время я играю с DCG в Прологе, чтобы разобрать файл XML. Мне удалось получить следующий...
это моя программа tran('father','otosan'). tran('father'...
Мне нужны 2 программы, которые создают приведенные ниже примеры выходных данных: 1)
Я хотел бы включить код из другого исходного файла. Кто-нибудь знает, как это сделать?
Я хочу сгенерировать все подсписки данного списка с заданным свойством, чтобы они имели...
В прологе мы можем сделать что-то вроде следующего: myFunction a (a:xs) = ... Это когда 1-й...
?-mod5(X,[a,16,b,c(5),[[12]],8]). X = [a,1,b,c(5),[[12]],3]. Нецелое число должно оставаться...
rel(X,Y) :- dep(X,Y). rel(X,Y) :- aux(X,Y). rel(X,Y) :- auxpass(X,Y). rel(X,Y) :- cop(X,Y). rel(X,Y)...
Я работаю с ограничениями в прологе (swi), используя библиотеку clpfd. Я пытаюсь определить, когда...
Мне нужно создать семейные отношения, используя Пролог. Я установил SWI Prolog на свой ноутбук и...
Я просто хочу создать что-то вроде: like(x,y). Я давно пытаюсь и очень расстроен, может кто-нибудь...
Я пытаюсь написать двоичный предикат, чтобы взять один список, вычислить мод 5 для каждого элемента...
Используя предикат листинга SWI-Prolog (или предикат SICStus в своей библиотеке списков), мы имеем:...
Я знаю, как записывать в обычные файлы, но я не нашел в Интернете никаких ресурсов о бинарных...
У меня есть проблема планирования задач. Каждое задание имеет предполагаемое время начала T (оно...
Это для GNU-Prolog У меня проблемы с получением определенного предиката для работы.Его...