Форум программистов, компьютерный форум CyberForum.ru

ООП. Полиморфизм - C++

Восстановить пароль Регистрация
 
_Katya_
Сообщений: n/a
30.05.2013, 11:28     ООП. Полиморфизм #1
Мальчики, учусь на МехМате. Для сдачи зачёта по ООП необходимо написать последнюю программу:
Задание: полиморфизм

Указание: во всех задачах ввод исходных данных необходимо производить из текстовых файлов. Ошибки ввода и неправильного формата входных данных необходимо обрабатывать при помощи исключений.

Программа на языке логического программирования состоит из следующих конструкций: 1. Факт, утверждающий истинность терма с именем x. 2. Правило, утверждающее истинность терма с именем x, если истинны термы y1, y2, ... 3. Операция ввода, запрашивающая истинность заданного терма x у пользователя. Все правила для одного терма x объединены дизъюнкицией и применяются в порядке их появления в программе. Необходимо реализовать машину вывода, проверяющую истинность заданного терма x или обнаруживающую зацикливание в результате применения заданного набора конструкций. В процессе доказательства необходимо выводить информацию о применяемых конструкциях.

Необходимо использовать полиморфизм, базовый класс, от него 3 производных класса(факт, правило, ввод), и виртуальные функции с их применением в зависимости от поступающих данных.

Всё остальные задачи сделала, а здесь даже не знаю как подступиться к этому заданию, мне бы хоть идею, примерное описание как это должно выглядеть. А если у кого есть время и желание и кто - нибудь напишет хоть примерный код, буду безмерно благодарна)))
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
30.05.2013, 11:28     ООП. Полиморфизм
Посмотрите здесь:

Полиморфизм C++
Полиморфизм C++
Полиморфизм :( C++
ООП Полиморфизм Наследование C++
ООП + полиморфизм = wtf? C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Kastaneda
Модератор
Эксперт С++
 Аватар для Kastaneda
4236 / 2769 / 218
Регистрация: 12.12.2009
Сообщений: 7,104
Записей в блоге: 1
Завершенные тесты: 1
30.05.2013, 12:52     ООП. Полиморфизм #2
Цитата Сообщение от _Katya_ Посмотреть сообщение
Программа на языке логического программирования
Что-то ты путаешь, С++ не язык логического программирования.
Dmitriy_M
1294 / 1175 / 104
Регистрация: 20.03.2009
Сообщений: 4,208
Записей в блоге: 11
30.05.2013, 13:41     ООП. Полиморфизм #3
Kastaneda, в том то и суть, что бы сделать ООП программу решающую логическую задачу
Kastaneda
Модератор
Эксперт С++
 Аватар для Kastaneda
4236 / 2769 / 218
Регистрация: 12.12.2009
Сообщений: 7,104
Записей в блоге: 1
Завершенные тесты: 1
30.05.2013, 13:50     ООП. Полиморфизм #4
Цитата Сообщение от Dmitriy_M Посмотреть сообщение
что бы сделать ООП программу решающую логическую задачу
Я не об этом, просто есть языки логического программирования, к которым С++ не относится.

Может суть в том, чтобы реализовать на С++ а-ля движок языка ЛП, например в Prolog'е в ядро языка зашит алгоритм backtracking.
Dmitriy_M
1294 / 1175 / 104
Регистрация: 20.03.2009
Сообщений: 4,208
Записей в блоге: 11
30.05.2013, 14:20     ООП. Полиморфизм #5
Цитата Сообщение от Kastaneda Посмотреть сообщение
зашит алгоритм backtracking.
метод резолюций + backtracking
_Katya_
Сообщений: n/a
30.05.2013, 15:14     ООП. Полиморфизм #6
Да, в том то и дело, что требуется на с++ написать программу, решающую логическую задачу, и даже не знаю как начать
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
13.07.2013, 13:12     ООП. Полиморфизм
Еще ссылки по теме:

Подкиньте практику по ООП + полиморфизм + шаблоны пожалуйста. C++
C++ Полиморфизм
C++ Полиморфизм инкапсуляция и наследование(ООП)

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

Или воспользуйтесь поиском по форуму:
Andrew_Lvov
Эксперт C++
 Аватар для Andrew_Lvov
259 / 189 / 5
Регистрация: 19.08.2010
Сообщений: 758
Записей в блоге: 1
13.07.2013, 13:12     ООП. Полиморфизм #7
Уже начал писать ответ, но конец мая же. Млин.
Екатерина, как справились с задачей ?
Yandex
Объявления
13.07.2013, 13:12     ООП. Полиморфизм
Ответ Создать тему
Опции темы

Текущее время: 10:24. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru