Подправить уже написаный код

@Ferrari F1 · Регистрация: 27.01.2015

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

Добрый день, решаю такую логическую задачу:
Витя, Юра и Миша сидели на скамейке. В каком порядке они сидели, если известно, что Юра сидел слева от Миши и справа от Вити?

Решение данной задачи нашел на турбо прологе, а мне нужно сделать на visual prolog, пытался перенести код с турбо на вижуал, но компиль выдает ошибки, помогите пожалуйста подправить мой код, т.к. пролог вобще не знаю.
Буду очень благодарен!

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
implement qwerty
    open core, console
 
    constants
        className = "qwerty".
        classVersion = "".
        
class predicates
    imya : (string) procedure (i).
    sleva : (string, string) procedure (i, i).
    ryad : (string, string, string) procedure (i, i, i).
    solve : ().
    
clauses
    imya(iyra).
    imya(misha).
    imya(vitya).
    sleva(X, Y):-imya(X), imya(Y), X=iyra, Y=misha.
    sleva(X, Y):-imya(X), imya(Y), X=vitya, Y=iyra.
    
    ryad(X, Y, Z):- sleva(Y, X), sleva(Z, Y).
    
    solve:-ryad(X, Y, Z), write(X, "-", Y,"-", Z), nl.
 
    clauses
        classInfo(className, classVersion).
 
    clauses
    run ():-
        init (),
        solve,
        _ = readLine().
end implement qwerty
 
goal
    mainExe::run(qwerty::run).

@Black Fregat · 28.06.2015, 21:08

Ошибки - в студию.

Добавлено через 1 час 4 минуты
1) Все имена - в двойные кавычки
2) Объявления предикатов неправильные:

Prolog
1
2
3
4
    imya : (string) multi (o) determ (i).
    sleva : (string, string) nondeterm anyflow.
    ryad : (string, string, string) nondeterm (o, o, o).
    solve : () nondeterm.

3) run замкнуть до процедуры, например, так:

Prolog
1
2
3
4
5
6
    run ():-
        init (),
        solve,
        !,
        _ = readLine();
        write("No solution").

Если кому-то непонятны пункты 2-3, читать Режимы детерминизма предикатов в Visual Prolog

Дополнительные пояснения по пункту 3:
solve по факту nondeterm, что означает: есть развилки, возможен неуспех.
run должен быть procedure, что означает: нет развилок, невозможен неуспех.
Значит, нужно
1) отсечь развилки (строка 4)
2) обработать неуспех (строка 6, после точки с запятой в строке 5)

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .	SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	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, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .