Написать программу вычисления значения логического выражения в конъюнктивной нормальной форме.
Вводить надо или маленькие буквы, или большие, но в одинарных кавычках.
Исходный код программы Swi Prolog:
:-op(120,xfy,v).% оператор логического ИЛИ, имеет самый низкий приоритет, бинарный.
:-op(110,xfy,&). %оператор логического И, имеет приоритет выше, бинарный.
:-op(100,fx,^).
%primer zaprosa ?- p((^a v ^c) & b).
value(a,true).
value(b,true).
value(c,false).
p(F):-value(F,true).
p(^F):-value(F,false).
p(A v B):-p(A);p(B).
p(A&B):-p(A),p(B).
a(A,B,C):-append(A,B,Begin),append(Begin,_,C).%esli mozno ispolzovat vstroennii predicat sliyaniya
app([],B,B).%esli nelzya ego ispolzovat. Togda 1 i 3 pravilo opredelyayut ego.
%A vtoroe dlya togo, chtobi rezultat cliyaniya bil prefiksom, a ne imenno tretim parametrom
app([],B,C):-app(B,_,C).
app([H|Tail],B,[H|NewTail]):-app(Tail,B,NewTail).
Описание:
Вводиться новый предикат, задающий значения буквам, для того чтобы в предикате разбора
можно было проверить их значения. Маленькие буквы, потому что большие надо в кавычках,
иначе будет восприниматься как переменная и будет ошибка.
value(a,true).
value(b,true).
value(c,false).
И изменились только первые два правила в предикате разбора
p(F):-value(F,true). если текущее выражение удовлетворяет предикату value с параметром true (что может к тому же быть только
если параметр F буква, а не выражение), то значит предикат выполняется.
p(^F):-value(F,false).если текущее выражение удовлетворяет предикату value с параметром false, то значит предикат выполняется,
поскольку у нас проверяется отрицание этой буквы.
|
Главная
Каталог файлов
