Как вывести таблицу истинности для логического выражения на SWI-Prolog?

@stwwww · Регистрация: 05.03.2019

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

Или почему этот код падает с ошибкой "Sandbox restriction! Could not derive which predicate may be called from call(C) and(A,or(A,B)) call(and(D,or(D,E))) do(A,B,and(A,or(A,B))) table(A,B,and(A,or(A,B)))"?

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
% Example:
% ?- table(A,B,and(A,or(A,B))).
% true  true  true
% true  fail  true
% fail  true  fail
% fail  fail  fail
    
and(A,B) :- A, B.
 
or(A,_) :- A.
or(_,B) :- B.
 
equ(A,B) :- or(and(A,B), and(not(A),not(B))).
 
xor(A,B) :- not(equ(A,B)).
 
nor(A,B) :- not(or(A,B)).
 
nand(A,B) :- not(and(A,B)).
 
impl(A,B) :- or(not(A),B).
 
% bind(X) :- instantiate X to be true and false successively
 
bind(true).
bind(fail).
 
table(A,B,Expr) :- bind(A), bind(B), do(A,B,Expr), fail.
 
do(A,B,_) :- write(A), write('  '), write(B), write('  '), fail.
do(_,_,Expr) :- Expr, !, write(true), nl.
do(_,_,_) :- write(fail), nl.

@Black Fregat · 05.03.2019, 11:30

Потому что в песочнице запускаете. У неё ограничения на вызов некоторых предикатов
Поставьте на свою машину полную версию и запускайте

@llil · 06.03.2019, 11:28

А можно ли как-то поправить программу для запуска в песочнице?

@arlat · 06.03.2019, 14:07

Сообщение от llil

А можно ли как-то поправить программу для запуска в песочнице?

Переделать без метауровня...

@sssean · 08.03.2019, 04:57

Можете это и то, как работает вывод таблицы в данной программе чуть подробнее объяснить, пожалуйста?

Новые блоги и статьи Все статьи Все блоги /
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере 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. . . .

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	05.03.2019, 11:30
	Потому что в песочнице запускаете. У неё ограничения на вызов некоторых предикатов Поставьте на свою машину полную версию и запускайте 0

@llil 0 / 0 / 0 Регистрация: 06.03.2019 Сообщений: 1
	06.03.2019, 11:28
	А можно ли как-то поправить программу для запуска в песочнице? 0

@sssean 0 / 0 / 0 Регистрация: 08.03.2019 Сообщений: 3
	08.03.2019, 04:57
	Можете это и то, как работает вывод таблицы в данной программе чуть подробнее объяснить, пожалуйста? 0