Ошибка The predicate 'main::run/0', which is declared as 'procedure', is actually 'nondeterm', VP 7.4

03.05.2014, 14:36. Показов 4995. Ответов 0

Метки нет (Все метки)

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

Добрый день!
Начал изучать visual prolog 7, но столкнулся с проблемой. после изучения turbo prolog никак не могу освоится с синтаксисом. вроде бы программу формил практически правильно, но не понимаю некоторых вещей, как исправить ошибку
Type Description Filename e631 The predicate 'main::run/0', which is declared as 'procedure', is actually 'nondeterm' main.pro

Листинг пролог программы

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
implement main
    open core
 
predicates
    cat : (symbol) nondeterm(i) nondeterm(o).
    dog : (symbol) nondeterm(i) nondeterm(o).
    parents : (symbol,symbol) nondeterm(i,o) nondeterm(o,i) nondeterm(i,i) nondeterm(o,o).
    run : core::runnable.
 
clauses
    cat(X):-
        parents(X,Y), cat(Y).
    cat("Tosik").
    dog(X):-
        parents(X,Y), dog(Y).
    dog("Rex").
    parents("Kitty","Tosik").
    parents("Mark","Tosik").
    parents("Kashtanka","Rex").
    parents("Polkan","Rex").
    run():-
        console::init(),
        stdio::write("Hello, World!\n"),
        L = stdio::readChar(),
        cat(X), stdio::write(X),
        L = stdio::readChar(),
        succeed(). % place your own code here
end implement main
 
goal
    mainExe::run(main::run).

Смысл в том что хочу сделать простую программу, которая обрабатывала бы и выводила связи кто кошка/собака/родители/ребенок.

IT_Exp

Эксперт

34794 / 4073 / 2104

Регистрация: 17.06.2006

Сообщений: 32,602

Блог

03.05.2014, 14:36

Ответы с готовыми решениями:

Исправить ошибку The predicate 'main::posled/2 (i,o)', which is declared as 'procedure', is actually 'determ'
Помогите пожалуйста исправить ошибку Задание такое : Реализовать набор предикатов для обработки списков: · Добавление элемента X...

Как исправить ошибку The predicate 'main::a/2 (o,i)', which is declared as 'procedure', is actually 'determ'
Помогите пожалуйста исправить ошибку. Я только начала изучать prolog и не очень понимаю как ее исправить. задание такое Реализовать...

Ошибка: class Main is public, should be declared in a named Main.java
Выдает ошибку- class Main is public, should be declared in a file named Main.java - к коду: // описываем отдельный новый класс class...

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

BasicMan

Эксперт

29316 / 5623 / 2384

Регистрация: 17.02.2009

Сообщений: 30,364

Блог

03.05.2014, 14:36

Помогаю со студенческими работами здесь

This predicate is declared as DB predicate
Среда разработки: Turbo Prolog Исходный код программы: DOMAINS carBrands, num, ownerName = string ...

Несоответствие nondeterm и procedure в vip 7.*
Доброе время суток форумчане! начал читать литературу по прологу и писать элементарнейшие программки ну вот никак не могу побороть ети...

Ошибка: Run-time error '5', Invalid procedure call or argument
Вообщем сделал программу всё работала пока не дописал выражение до конца и тут бах ошибочка. Вот код: Private Sub CommandButton1_Click() ...

Main.cpp: In function ‘int main()’: main.cpp:10:1: error: ‘then’ was not declared in this scope
Написал программу и выдает ошибку. #include <iostream> #include <math.h> using namespace std; int main() {double a, b, x; ...

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

Или воспользуйтесь поиском по форуму:

Новые блоги и статьи Все статьи Все блоги /
AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .	Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .
Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита "ПричинаСписания". . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/	Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .

Наверх