Требуется реализация задачи на Prolog

@nemeno4ek · Регистрация: 11.12.2014

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

. Определим операторы:
:- op( 100, fy, ~).
:- op( 110, xfy, &).
:- op( 120, xfy, v).
Булева формула есть терм, определяемый следующим образом: константы true и false - булевы формулы; если X и Y - булевы формулы, то и X v Y, X & Y, ~X - булевы формулы, здесь v и & - бинарные инфиксные операторы дизъюнкции и конъюнкции, а ~ - унарный оператор отрицания. Напишите программу, задающую отношение negation_inward(+F1,-F2), которое выполнено, если логическая формула F2 получается из логической формулы F1 внесением всех операторов отрицания внутрь конъюнкций и дизъюнкций.
Подсказка. Вы должны написать по одному правилу для каждого следующего случая:
(для краткости записи используем обозначения из математической логики)
1. Если исходная формула имеет вид true или false, то ответ совпадает с исходной формулой.
2. Если исходная формула имеет вид X или X, где X есть атом, то ответ совпадает с исходной формулой.
3. Если исходная формула имеет вид X, то результат равен рекурсивному применению предиката negation_inward для X.
4. Если исходная формула имеет вид X & Y, то результат равен конъюнкции рекурсивных вызовов предиката negation_inward для X и Y.
5. Если исходная формула имеет вид X  Y, то результат равен дизъюнкции рекурсивных вызовов предиката negation_inward для X и Y.
6. Если исходная формула имеет вид (X  Y), то результат равен конъюнкции рекурсивных вызовов предиката negation_inward для X и Y (закон де Моргана).
7. Если исходная формула имеет вид (X & Y), то результат равен дизъюнкции рекурсивных вызовов предиката negation_inward для X и Y (закон де Моргана).

@Black Fregat · 17.01.2016, 13:21

Вы уж определитесь, где Вашим темам быть - в платном разделе или в тематическом.
А то как-то некрасиво выходит..

@nemeno4ek · 17.01.2016, 20:08 **[ТС]**

просто помогать никто не хочет.... вот хотел платно чтобы помогли. тоже молчат. пока ждал постепенно сам разобрался

Добавлено через 50 секунд
Вот код программы:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
:- op( 100, fy, ~).
:- op( 110, xfy, &).
:- op( 120, xfy, v).
 
neg(~(A & B),NeA v NeB):-!,neg(~A,NeA),neg(~B,NeB).
neg(~(A v B),NeA & NeB):-!,neg(~A,NeA), neg(~B,NeB).
neg(A & B,NewA & NewB):-!,neg(A,NewA),neg(B,NewB).
neg(A v B, NewA v NewB):-!,neg(A,NewA),neg(B,NewB).
neg(~(~A),NewA):-neg(A,NewA).
neg(F,F).
 
 
Neg(~(false v true), X).
 
X= true & false;
X=true&~true
X=~false&false
X=~false & ~ true

В итоге получается, что в виде ответом выводятся 4 ответа (из которых только 4-ый является верным):
Нужно убрать другие ответы, каким-то образом отсечь их. Буду благодарен за совет.

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	17.01.2016, 13:21
	Вы уж определитесь, где Вашим темам быть - в платном разделе или в тематическом. А то как-то некрасиво выходит.. 0