В процессе изучения Пролога я делаю простую программу, которая при определенных условиях может определять, что находится слева / справа / сверху / снизу от этой вещи. Код такой: % left_(LeftThing, ToThing) left_(bicycle, camera). left_(pencil,...

Система поддержания истинности (TMS) хранит обоснования выводов, которые приводят к определенному выводу в данной базе знаний. Хороший пример выглядит следующим образом (это Не пролог): ∀ X good_student(X) ∧ M study_hard(X) → study_hard (X) ∀...

у меня есть код пролога, который находит K-й элемент данного списка. этот код не работает. element_at(X,[X|_],1) :- !. element_at(X,[_|T],K) :- element_at(X,T,K-1). но когда я немного изменил этот код, он работает....

Это факты, которые я написал instructor(ahmed,mohammed, cs101,01). instructor(sara,salah,cs101,02). instructor(maryam,faisal,cs101,03). instructor(ali,hassan,cs311,01). enrolled(201110202,huda,issa,cs101,01)....

В настоящее время я пытаюсь написать программу Prolog, которая добавит заданный символ в конец списка. Список, который я хочу добавить, - это элементы в списке. Это то, что у меня есть на данный момент. extends(X, [], []). extends(X,...

У меня есть приложение, которое нужно разработать в школе, которое состоит в создании рабочих групп по предмету. Я должен выполнить следующие ограничения: Студенты, имеющие одинаковый средний балл, должны быть в одной группе. Студенты, которые...

Я только начинаю с пролога, и хотя я думаю, что довольно хорошо разбираюсь в том, как его использовать, я наткнулся на стену здесь. У меня такое правило: foo(A, B, C) :- bar(A, B), baz(C). foo(A, B, C) :- bar(A, C), baz(B). foo(A, B, C) :- bar(B,...