meta-predicate

4зной

3ответ

Обратный поиск в Прологе? (Как я нахожу все, что верно в отношении X?)

Итак, допустим, у меня есть следующий в базе данных Пролога: person(john). person(mary). happy(john). ясно, что если я хочу, чтобы перечислить все человек, я могу тип: person(X). Но, если я хочу

15зной

5ответ

Пролог: Фильтрация списка?

В настоящее время я работаю над очень коротким проектом на Prolog и просто застрял, пытаясь применить «фильтр», который я создал к списку. У меня есть то, что вы могли бы назвать фильтром готовым, но

2зной

2ответ

Prolog, Определить, является ли граф ациклическим

Мне нужно определить предикат acyclic/1, который принимает граф в качестве входных данных и определяет, является ли этот граф ациклическим. Так что из моего понимания graph1(a,b). graph1(b,c). graph

3зной

1ответ

макс список гну пролог

В GNU прологе, с ограничениями: У меня есть список, который, для N = 5 (к примеру), это выглядит так: [3*(1-_#0(0..1)),2*(1-_#18(0..1)),1*(1-_#36(0..1)),4*(1-_#54(0..1)),2*(1-_#72(0..1))] Я работаю на

0зной

1ответ

Пролог Оператор Ожидаемая ошибка

Я искал Пролог Operator ожидается вопросы об ошибках при переполнении стека, однако я не могу определить ошибку я получаю: 4:26: Syntax error: Operator expected % 3.pl compiled 0.00 sec, 3 clauses

13зной

2ответ

Prolog GNU - Univ оператор? Объяснение этого

Итак, оператор univ. Я не совсем понимаю это. Например это: foo(PredList,[H|_]) :- bar(PredList,H). foo(PredList,[_|T]) :- foo(PredList,T),!. bar([H|_],Item) :- G =.. [H,Item],G. bar([_|T],Item) :

3зной

1ответ

Можно ли использовать список/3 с «анонимным» предикатом?

То, что я хочу достичь с MapList/3 может быть, например, следующий псевдокод: maplist( lambda X: Z/Y=X, to_lower(Z,LC), char_code(L,LC), return L/Y, ['A'/42, 'B'/500], Res). Res = ['a'/

7зной

1ответ

Термины хилога в (XSB) Prolog

Являются ли термины Хилога (то есть соединения, имеющие как функторы произвольные члены), по-прежнему считаются мощной функцией в XSB Prolog (или любом другом Prolog)? Есть много проектов XSB, которые