Я использовал следующий цикл, управляемый ошибкой, чтобы перечислить все без использования точки с запятой. happiness(fred,5). happiness(john,3). happiness(grace,2). someGoal(X) :- happiness(X,Y), write(Y), tab(4), fail. В режиме...

Для моей программы в базе знаний есть атомарные операторы и правила, такие как store(itemName, ProductType) пример: магазин (iPhone5, телефон) manufacturer(itemName, Company) пример: производитель (iPhone5, яблоко) запрос состоит...

Мне нужен упорядоченный список объектов, удовлетворяющих цели. setof заботится об упорядочении, но терпит неудачу, когда ни один объект не удовлетворяет цели. Вместо этого я хочу вернуть пустой список, как это делает findall . Это работает, но...

У меня есть база данных, полная interacts отношений: % Drug, Drug, Interaction Effect interacts(terbinafine,tramadol,muscle_spasm). interacts(terbinafine,triazolam,amnesia). interacts(terbinafine,warfarin,arterial_pressure_nos_decreased)....

В Прологе, учитывая базу знаний фактов: someFact(one). someFact(two). otherFact(one, two, 123, 456). otherFact(one, four, 789, 123). Запрос setof(X, someFact(X), List). дает следующий результат: List = [one, two] Однако запрос...