Я новичок в прологе и хочу создать "братские" отношения. Отношения должны быть симметричными, как если бы брат (alin, alex) истинно, брат (alex, alin) тоже должно быть. Оно также должно быть транзитивным, как если бы брат (алин, алекс) и...

У меня есть следующие факты, которые строят одно из крыльев моего подземелья. path(room1,e,room2). path(room2,w,room1). path(room2,e,room5). path(room5,w,room2). path(room5,e,room6). path(room6,w,room5). path(room2,n,room3). path(room3,s,room2)....

У меня есть программа о графе с черными и белыми вершинами: black(root). black(v1). black(v3). black(v4). edge(root,root). edge(v1,root). edge(v2,v1). edge(v3,v1). edge(v4,v3). edge(v5,v2). edge(v5,v4). edge(v6,v5). vertex(X) :- edge(X,_)....

Учитывая такие факты, как: Джейк умнее Ника Ник умнее Уэса Уэс умнее Дика Напишите рекурсивную программу, которая определит, что Джейк умнее Дика. Решение, которое у меня есть: smarter(jake, nik). smarter(nik, wes). smarter(wes,...

У меня проблема с рассуждениями о переходных ролях в Protégé. Я создал простую онтологию, которая гласит: «Любая штанга - часть какого-то двигателя». «Любой двигатель - часть какой-то машины». «Отношение PartOf транзитивно». Я ожидал,...

Итак, я получаю список, содержащий координаты в матрице. Например: List 1: [[1, 1], [2, 1], [3, 1], [4, 1], [2, 2], [1, 3], [2, 3], [3, 3], [4, 3]] List 2: [[1, 1], [2, 1], [3, 1], [4, 1], [1, 3], [2, 3], [3‚3], [4, 3]] Мне нужно выяснить,...

может кто-нибудь уточнить функциональность/условия путешествия (A, B, Visited, Path) и путешествия (A, B, P, [B | P]).. этот код находит путь между путем A и B на графике edge(a,b). edge(b,c). edge(b,d). edge(c,d). edge(d,b). edge(e,f)....

Я пытаюсь создать правило, которое рекурсивно вызывает себя и находит все возможные пути для обхода ориентированного графа. Я использую findall() для этого. Функции traverse(Start,End) . У меня есть: traverse(Start,End,[li]) :-...

Я пытаюсь понять Пролог и то, как он использует алгоритм разрешения. У меня есть этот пример, который я нашел: hates(1, 2). hates(2, 3). hates(3, 4). jealous(A, B) :- jealous(A, C), jealous(C,B). jealous(A,B) :- hates(A,B). Но когда я пытаюсь...