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

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

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

C++ Реализация класса
C++ Реализация
C++ реализация класса
Реализация стека C++
Реализация Singleton C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Jupiter
Каратель
Эксперт C++
6542 / 3962 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
13.10.2012, 22:28     реализация предикатов #2
о каких предикатах речь и зачем вы создали тему в 3-х разделах? prolog позволяет создавать предикаты, ваш кэп
Nick Alte
Эксперт С++
1590 / 982 / 115
Регистрация: 27.09.2009
Сообщений: 1,897
Завершенные тесты: 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++
6542 / 3962 / 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     реализация предикатов
Еще ссылки по теме:

Реализация MD5 ? C++
Реализация 2-3 дерева C++
Решение задач логики предикатов C++

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

Или воспользуйтесь поиском по форуму:
Jupiter
Каратель
Эксперт C++
6542 / 3962 / 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     реализация предикатов
Ответ Создать тему
Опции темы

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