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

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

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

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

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

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

Решение задач логики предикатов - C++
Всем привет. Вот уже неделю обдумываю идею написания программы решения задач логики предикатов (конечно самых простых). Знаю, что задача не...

Реализация полиморфизма - C++
Читал что существует примерно 10 способов реализации полиморфного контейнера. Видел только один где создается виртуальный класс и у него...

Dynamic_cast реализация - C++
Добрый вечер, есть застоявшаясь фраза: "dynamic_cast<Type*>( pointer ) очень медленное, его лучше не использовать" . Примерная...

Реализация формулы - C++
Формула: M=b(a^x)^-1 mod 11 Реализация __int64 T = fmod(b*pow(pow(a,x),-1),11); выдаёт 0, где ошибся?

Реализация идеи - C++
Доброго времени суток. Вопрос может быть будет странным.По сути у меня вот появилась идейка как жизнь улучшить немножко себе(ведь программы...

Реализация QuickSort - C++
Ребят, есть нужда отсортировать массив структур по полю name (по алфавиту) реализовав алгоритм QuickSort. Написал вроде как черновой...

Реализация stack - C++
Задание реализовать stack, первым делом написал добавление элемента и показ всего stack, заполнив его цифрами от 0 до 9, но при показе...

После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Jupiter
Каратель
Эксперт С++
6553 / 3973 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
13.10.2012, 22:28     реализация предикатов #2
о каких предикатах речь и зачем вы создали тему в 3-х разделах? prolog позволяет создавать предикаты, ваш кэп
Nick Alte
Эксперт С++
1608 / 1000 / 118
Регистрация: 27.09.2009
Сообщений: 1,930
Завершенные тесты: 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
Каратель
Эксперт С++
6553 / 3973 / 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++
Помогите, пожалуйста, реализовать методы классов (заголовки даны в biTree.g) Я плохо шарю, а завтра сдавать! Очень надо( Дан: biTree.h...

Реализация условия - C++
Помогите реализовать такое условие: Пока не конец файла делать то

реализация цикла for - C++
Здравствуйте, как посчитать сумму чисел в цикле for от числа А до B... никак не могу понять как это реализовать... И еще один вопрос,...

Реализация md5() - C++
Как мне md5 хеш строки char получить? вон как просто в пхп - md5($string) гугл весь перерыл ничего нормального не нашел.. как...

Своя реализация new - C++
Приведите пожалуйста пример своей реализации operator new и его последующее применение в виде работающей программы, просто хотелось бы...


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

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

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