transitive-closure

1зной

2ответ

Пролог «Из локального стека» Ошибка

Вот моя простая программа Пролог: friend(X,Y):- knows(X,Y). friend(X,Z):- friend(X,Y), friend(Y,Z). knows(brian,tom). knows(tom,peter). Если я печатаю следующий запрос friend(bria

prolog failure-slice transitive-closure 2014-02-13

---

4зной

2ответ

Переходное закрытие из списка с помощью Haskell

Мне нужно создать транзитивное закрытие по списку, используя Haskell. До сих пор я получил это: import Data.List qq [] = [] qq [x] = [x] qq x = vv (sort x) vv (x:xs) = [x] ++ (member [x] [xs]) ++

haskell transitive-closure 2013-10-06

---

2зной

1ответ

Определение пролога, которое определяет путь

Контекст, во-первых. У меня есть следующий двунаправленный граф. Представлял в Прологе так: relation(a,c). relation(b,d). relation(c,d). relation(d,e). relation(e,f). connection(X,Y) :- relation

graph prolog transitive-closure 2013-07-03

---

3зной

1ответ

PROLOG как «подключить» подобные объекты

Эй им новое для пролога и задавался вопросом: Скажем, у меня есть этот код: component(a,b). component(a,c). component(a,d). component(b,e). component(b,f). и я хочу, чтобы создать аргумент consi

prolog transitive-closure 2014-01-21

---

3зной

2ответ

Бесконечное дерево успеха или нет?

Я дал следующую программу: edge(a,b). edge(b,c). edge(a,d). path(N,M):- path(N,New),edge(New,M). path(N,M):- edge(N,M). И спросил, если при применении алгоритма доказательства дерева к следующе

prolog failure-slice transitive-closure 2013-07-07

---

6зной

1ответ

Как использовать алгоритм Варшалла для транзитивного замыкания для определения канонических замыканий парсера LR (1)?

Я пытаюсь реализовать алгоритм Warshall для быстрого вычисления замыканий LR (1). Я думаю Я понимаю, как это работает для LR (0): Узлы графа являются LR items, как A → B • C Края "переходы", начиная с

parsing lr floyd-warshall transitive-closure 2013-06-08

---