Форум программистов, компьютерный форум, киберфорум
Prolog
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
0 / 0 / 0
Регистрация: 19.05.2013
Сообщений: 9

Определите предикат листинг(Р,А), работающий аналогично встроенному предикату listing(P/A)

30.12.2014, 07:12. Показов 778. Ответов 2
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Заранее прошу прощения, внезапно оказалось, что для зачета нужно сделать еще одно задание.
А в логическом программировании я слаб, да и предмет не особо интересен, но сдавать нужно сегодня:С

Заранее благодарен за помощь.
Программа по идее пишется в SWIProlog, не знаю, важно ли это.
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
30.12.2014, 07:12
Ответы с готовыми решениями:

Как работает предикат listing?
Доброго времени суток. Есть задача: Создайте динамическую базу данных о сотрудниках: фамилия, имя, должность, оклад. В программе должно...

Класс с методами, работающий аналогично Array.
Создать класс (любое название). У этого класса должен быть параметр - массив. У класса также должны быть методы: 1) add - добавление...

Навесить кванторы общности и существования на трехместный предикат P(x, y, z) и построить отрицание к предикату
Р(x,y,z) = «3х<2y^z; х,y,z∈R»

2
Фрилансер
 Аватар для Black Fregat
3709 / 2083 / 567
Регистрация: 31.05.2009
Сообщений: 6,683
30.12.2014, 07:43
Это интересная задача. Я не знаю, как её решать. Может быть, arlat подтянется, он в SWI гуру.
0
 Аватар для arlat
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
30.12.2014, 14:18
Цитата Сообщение от Panda - kun Посмотреть сообщение
по идее пишется в SWIProlog
По идее или пишется? и listing не является встроенным, он библиотечный у SWI. В реализацию библиотеки лучше не лазить, это уже выходить за рамки зачета
Не совсем понятно, препод не может хотеть много
Ну допустим
Prolog
1
2
3
4
5
6
7
listing_pred(P, A) :-
    length(Args, A),
    Goal =.. [P|Args],
    call(Goal),
    writeln(Goal),
    fail.
listing_pred(_, _).
дайте хоть это, хотя... ну я бы за такое зачёт поставил, если объяснить сумели бы
Гляньте док по SWI прежде здачи...
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
30.12.2014, 14:18
Помогаю со студенческими работами здесь

Определите предикат упорядоченный (Список)
помогите пожалуйста срочно надо. Определите предикат упорядоченный (Список) который принимает значение «истина», если Список представляет...

Clojure Определите функциональный предикат
Добрый день. Вот такая вот задача, но не знаю как это реализовать через макросы или APPLY и FUNCALL. Задание: Определите...

определите предикат sublist(Sub, List)
Определите предикат sublist(Sub, List), который выясняет является ли список Sub подсписком списка List. Например выражение sublist (, )...

В программе определены предикаты/Определите предикат
Не могу разобраться в данной задачке, поможет кто? В программе определены предикаты: группа(X); студент(X,Y) "студент,...

Определите предикат подсумма (Множ, Сумма, ПодМнож)
Определите предикат подсумма (Множ, Сумма, ПодМнож) где Множ – это список чисел, ПодМнож – подмножество этих чисел, а сумма чисел из...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Новые блоги и статьи
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 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .
Реалии
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 позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 19.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru