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

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
Glukonaft
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
#1

реализация предикатов - C++

13.10.2012, 22:26. Просмотров 839. Ответов 6
Метки нет (Все метки)

Народ! Кто-нибудь знает какие-нибудь средства для реализации(удобного создания и хранения) предикатов ??? Те какие-нибудь открытые библиотеки , где предусмотрено создание предикатов и выполнение операций с ними , или имеются средства с помощью которых их можно было бы легче реализовать ?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
13.10.2012, 22:26     реализация предикатов
Посмотрите здесь:

C++ Реализация класса
C++ Реализация
C++ реализация класса
Реализация стека C++
Своя реализация new C++
Реализация Singleton C++
Реализация наследования C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Jupiter
Каратель
Эксперт C++
6547 / 3967 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
13.10.2012, 22:28     реализация предикатов #2
о каких предикатах речь и зачем вы создали тему в 3-х разделах? prolog позволяет создавать предикаты, ваш кэп
Nick Alte
Эксперт С++
1599 / 991 / 117
Регистрация: 27.09.2009
Сообщений: 1,910
Завершенные тесты: 1
13.10.2012, 22:41     реализация предикатов #3
STL стандарта C++11, заголовок <functional>
Библиотека Boost, boost::functional и boost::lambda
Glukonaft
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
13.10.2012, 22:47  [ТС]     реализация предикатов #4
Пролог основан на методе резолюции (тоже кэп) и это всего лишь один из методов автоматического доказательства теорем . однозначно есть и другие методы . Я уже написал свой небольшой прувер(программа релизвующая методы автоматического доказательства теорем) , но уж больно сложно и не удобно работать с моими предикатами(сделал несколько классов) . Так вот спрашиваю у знающих людей есть ли средства которые помогут мне удобно реализовать работу и хранение предикатов ??

З.Ы. Предикаты с том виде каком они подразумеваются на википедии http://ru.wikipedia.org/wiki/%CB%EE%...F0%FF%E4%EA%E0

создал в нескольких темах в надежде что больше народу прочитают мою тему

Добавлено через 5 минут
Цитата Сообщение от Nick Alte Посмотреть сообщение
STL стандарта C++11, заголовок <functional>
Библиотека Boost, boost::functional и boost::lambda
Спасибо , посмотрю что к чему
Jupiter
Каратель
Эксперт C++
6547 / 3967 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
13.10.2012, 23:00     реализация предикатов #5
1. писать предикаты на прологе
2. встроить интепретатор пролога в программу на плюсах
Glukonaft
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
13.10.2012, 23:05  [ТС]     реализация предикатов #6
Цитата Сообщение от Jupiter Посмотреть сообщение
1. писать предикаты на прологе
2. встроить интепретатор пролога в программу на плюсах
Надо бы попробовать =) вот тока я сходу это не смогу сделать ...
есть какая-нибудь информация(ссылки, материалы) что бы я смог осилить это ?
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
13.10.2012, 23:23     реализация предикатов
Еще ссылки по теме:

Реализация Криптоалгоритма C++
C++ Реализация классов
C++ Реализация функций
Решение задач логики предикатов C++
C++ Dynamic_cast реализация

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

Или воспользуйтесь поиском по форуму:
Jupiter
Каратель
Эксперт C++
6547 / 3967 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
13.10.2012, 23:23     реализация предикатов #7
например
http://www.swi-prolog.org/pldoc/package/pl2cpp.html

а вообще гугли "prolog c++ api"
Yandex
Объявления
13.10.2012, 23:23     реализация предикатов
Ответ Создать тему
Опции темы

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