В чем моя ошибка?

@tatca · Регистрация: 31.05.2011

Author24 — интернет-сервис помощи студентам

Я только начала изучать Prolog! Пожалуйста, подскажите в чем ошибка? И что нужно исправить? Заранее благодарна!!!

Prolog

predicates
    b(real)
    d(symbol,real)
    k(symbol)
clauses 
    k(S):-d(S,P), P>R, b(R).

@JokerNN · 26.01.2012, 17:13

Пожалуйста формулируйте конкретнее: какая ошибка, при каком запросе, что программа должна делать и выложите полный код. Если это полный код, то не хватает фактов в разделе Clauses, если они есть, то на вскидку могу сказать, что в правой части правила при сравнении P>R, переменная R будет ещё не конкретизирована, так как поиск её стоит после сравнения, правильнее будет, думаю так

Prolog

1	k(S):-d(S,P),b(R),P>R.

...но это лишь догадки

@tatca · 26.01.2012, 17:43 **[ТС]**

Спасибо, Вы правы!

@JokerNN · 26.01.2012, 18:01

Это значит, что не хватает фактов для предикатов, в разделе PREDICATES вы их описали, а в разделе CLAUSES нужно указать при каких условиях эти предикаты будут истины, делается это при помощи фактов, к примеру

Prolog

predicates
        b(real)
        d(symbol,real)
        k(symbol)
clauses 
    b(8).           %это факт, который говорит что b истино если аргументом являетя 8
    d("Symbol",28).    %это тоже факт
        k(S):-d(S,P), b(R),P>R.        %это правило, которое отыскивает переменную S, такую, при                      
                                                %которой будут выполняться условия из правой части

Это только пример. Тут при запросе k(S), пролог найдёт нам S=Symbol.

@tatca · 26.01.2012, 18:12 **[ТС]**

По заданию, мне нужно было найти ошибку в данной записи! Спасибо я разобралась,с Вашей помощью, даже ввела факты для предикатов и выполнила программу еще до Вашего ответа мне! Спасибо!

Новые блоги и статьи
Элементы алгоритмизации hw_wired 28.01.2025 Основы алгоритмизации В современном мире алгоритмы играют фундаментальную роль в развитии информационных технологий и программирования. Понимание основ алгоритмизации является ключевым элементом в. . .	Человек и информация hw_wired 28.01.2025 Введение: роль информации в познании мира В современном мире информация играет фундаментальную роль в процессе познания окружающей действительности. Она представляет собой совокупность сведений об. . .	Компьютер и информация hw_wired 28.01.2025 Эволюция вычислительных машин История развития вычислительной техники начинается задолго до появления первых электронных устройств. Человечество всегда стремилось упростить процесс вычислений и. . .	Информационные технологии hw_wired 28.01.2025 Введение в современные технологии работы с информацией В современном мире информационные технологии стали неотъемлемой частью практически всех сфер человеческой деятельности. Они существенно. . .	Информация вокруг нас hw_wired 28.01.2025 Основные понятия информации В современном мире понятие информации является фундаментальным и охватывает практически все сферы человеческой деятельности. Информация представляет собой совокупность. . .	Компьютер для начинающих hw_wired 28.01.2025 Введение в мир компьютерных технологий В современном мире информация стала одним из важнейших ресурсов человечества, определяющим развитие общества и технологий. Наша жизнь неразрывно связана с. . .
[golang] 189. Rotate Array alhaos 28.01.2025 Повороты рукоятки, целочисленный слайс нужно сдвинуть на целое положительное число. Мне очень нравится решение на GO / / https:/ / leetcode. com/ studyplan/ top-interview-150/ package topInterview . . .	КуМир: решение задач на матрицы bytestream 28.01.2025 КуМир представляет собой среду для обучения программированию, которая включает в себя мощные инструменты для работы с матрицами. Матрица в программировании - это двумерный массив, состоящий из. . .	КуМир: решение задач на строки bytestream 28.01.2025 В системе программирования КуМир работа со строковыми данными является одним из важнейших аспектов создания программ. Строки представляют собой последовательности символов, заключенные в кавычки,. . .	КуМир: решение геометрических задач bytestream 28.01.2025 Программирование геометрических задач в среде КуМир становится всё более актуальным в обучении школьников и студентов. КуМир — это разработанная в России обучающая программная среда, предназначенная. . .	КуМир, исполнитель Водолей: Задачи и решения bytestream 28.01.2025 КуМир — это образовательная среда для обучения программированию. Она предлагает пользователям разнообразные инструменты для разработки и отладки программ, что особенно ценно для студентов и. . .	КуМир, исполнитель Чертежник: Решение задач bytestream 28.01.2025 КуМир (Комплект Учебных МИРов) представляет собой образовательную среду для обучения основам программирования и алгоритмизации. Исполнитель Чертежник работает на координатной плоскости, где может. . .

@tatca 0 / 0 / 0 Регистрация: 31.05.2011 Сообщений: 13
	26.01.2012, 17:43 [ТС]	3
	Спасибо, Вы правы! 0

@tatca 0 / 0 / 0 Регистрация: 31.05.2011 Сообщений: 13
	26.01.2012, 18:12 [ТС]	5
	По заданию, мне нужно было найти ошибку в данной записи! Спасибо я разобралась,с Вашей помощью, даже ввела факты для предикатов и выполнила программу еще до Вашего ответа мне! Спасибо! 0