В программе определены предикаты/Определите предикат

@GloomZ · Регистрация: 15.09.2016

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

Не могу разобраться в данной задачке, поможет кто?

В программе определены предикаты:
группа(X);
студент(X,Y) "студент, обучающийся в данной группе";
дисциплина(X);
преподаватель(X,Y) "преподаватель, который ведет данную дисциплину".

Определите предикат студент_обучающийся_у_преподавателя(X,Y) .

@Black Fregat · 15.09.2016, 22:23

Не вижу в условии никакой связи между студентами-групами с одной стороны и преподавателями-дисциплинами с другой.

@GloomZ · 17.09.2016, 17:28 **[ТС]**

В каждой группе есть студенты.... у каждой дисциплины есть преподаватели... группа ходит на дисциплину которую ведет преподаватель, в этой группе есть студент который получается ходит к этому преподавателю так же как и вся группа "ну это я так понял, а задача формулируется так и видимо её до меня кто то уже решал, а у меня вот не получается"

Язык программирования SWIprolog

@Black Fregat · 18.09.2016, 04:05

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

В каждой группе есть студенты.... у каждой дисциплины есть преподаватели...

Это да, это задано в условии.

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

группа ходит на дисциплину которую ведет преподаватель

А вот этого среди заданных предикатов нет.

Или задача, как всегда, предполагает творческое домысливание условия?

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

@GloomZ 0 / 0 / 0 Регистрация: 15.09.2016 Сообщений: 3

	В программе определены предикаты/Определите предикат 15.09.2016, 20:26. Показов 1261. Ответов 3 Метки нет (Все метки) Не могу разобраться в данной задачке, поможет кто? В программе определены предикаты: группа(X); студент(X,Y) "студент, обучающийся в данной группе"; дисциплина(X); преподаватель(X,Y) "преподаватель, который ведет данную дисциплину". Определите предикат студент_обучающийся_у_преподавателя(X,Y) . 0

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	15.09.2016, 22:23
	Не вижу в условии никакой связи между студентами-групами с одной стороны и преподавателями-дисциплинами с другой. 0

@GloomZ 0 / 0 / 0 Регистрация: 15.09.2016 Сообщений: 3
	17.09.2016, 17:28 [ТС]
	В каждой группе есть студенты.... у каждой дисциплины есть преподаватели... группа ходит на дисциплину которую ведет преподаватель, в этой группе есть студент который получается ходит к этому преподавателю так же как и вся группа "ну это я так понял, а задача формулируется так и видимо её до меня кто то уже решал, а у меня вот не получается" Язык программирования SWIprolog 0