Программа не выводит результат

@HAMAHA · Регистрация: 17.10.2016

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

Добрый вечер! Пытаюсь запустить программу на SWI-Prolog через консоль пролога используя start(X).

Через консоль пролога получаю ответ false, а вывод не происходит

Подскажите пожалуйста в чем дело? код копировала слово в слово

Так же слово start выделяет почему то красным

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
33
34
35
36
nation(austrian).
nation(american).
nation(israeli).
 
sport(basketball).
sport(tennis).
sport(criket).
 
name(mikl).
name(saimon).
name(richard).
 
prize(1).
prize(2).
prize(3).
 
 
solve(Mans):-
  Mans = [man(X, XNat, XSp, XP), man(Y, YNat, YSp, YP), man(Z, ZNat, ZSp, ZP)],
  name(X), name(Y), name(Z),
  nation(XNat), nation(YNat), nation(ZNat),
  sport(XSp), sport(YSp), sport(ZSp),
  prize(XP), prize(YP), prize(ZP),
  % Майкл играет в баскетбол
  member(man(mikl, _, basketball, MiklPos), Mans),
  % Майкл играет лучше чем американец
  member(man(_, american, _, AmerPos), Mans), MiklPos < AmerPos,
  % Саймон - израильтянин
  member(man(saimon, israeli, _, SaimonPos), Mans),
  % Саймон играет лучше теннисиста
  member(man(_, _, tennis, TennPos), Mans), SaimonPos < TennPos,
  % игрок в крикет занят первое место
  member(man(_, _, cricket, 1), Mans).
 
[COLOR="Red"]start[/COLOR](Solve):-
  solve(Solve), Solve = [man(_, _, _, 1), man(_, _, _, 2), man(_, _, _, 3)].

@Black Fregat · 05.10.2019, 22:04

1) У Вас в двух местах cricket по-разному написан
2) Затем будут проблемы из-за того, что нет проверки на дубликаты

@HAMAHA · 05.10.2019, 22:51 **[ТС]**

Black Fregat, спасибо огромное!) сама бы не заметила

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	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 Использованы. . .

@Black Fregat Фрилансер 3709 / 2082 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	05.10.2019, 22:04
	1) У Вас в двух местах cricket по-разному написан 2) Затем будут проблемы из-за того, что нет проверки на дубликаты 0

@HAMAHA 1 / 1 / 0 Регистрация: 17.10.2016 Сообщений: 74
	05.10.2019, 22:51 [ТС]
	Black Fregat, спасибо огромное!) сама бы не заметила 0