Логическая задача про месяца и солнечные дни.

@_Loader_ · Регистрация: 18.04.2012

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

Всем привет! прошу помощи(

Вот задачка:
Метеорологи установили, что в апреле, июне и сентябре 1926 года было разное количество солнечных дней. В одном из месяцев было 12 солнечных дней, в другом — 10, еще в одном — 16. В каком месяце было 16 солнечных дней, если известно, что:
1) в сентябре было не 12 солнечных дней;
2) в июне таких дней было не 16;
3) 12 солнечных дней было не в июне?...

Вот что у меня получилось:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
domains
    month = april; june; september.
    number = _10; _12; _16.
predicates
    nondeterm solar(month, number).
    nondeterm nonsolar (month, number).
clauses
    nonsolar (september, _12).
    nonsolar (june, _16).
    nonsolar (june, _12).
    
    
    solar (X,_16):-
goal
    solar (X,_16).

но ни как не получается составить условие(

@Грымзик · 23.10.2013, 22:26

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
predicates
    nondeterm month(string).  
    nondeterm solve(string, string, string).
 
clauses
    month(X):- X="april"; X="june"; X="september".
   
    solve(Month10, Month12, Month16):-
        month(Month10), month(Month12), Month10<>Month12,
        Month12<>"september", Month12<>"june",
        month(Month16), Month10<>Month16, Month12<>Month16,
        Month16<>"june".
        
goal
    solve(A, B, C).

@_Loader_ · 04.11.2013, 22:18 **[ТС]**

Грымзик, решил по другому не много, выложу что получилось позже)

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

@_Loader_ 6 / 6 / 1 Регистрация: 18.04.2012 Сообщений: 92
	04.11.2013, 22:18 [ТС]
	Грымзик, решил по другому не много, выложу что получилось позже) 0