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

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

Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ отсутствует dll http://www.cyberforum.ru/cpp-beginners/thread670448.html
Компилирую программу в VS2012. Все работает нормально. Перекидываю на другой компьютер. запуск программы невозможен так как на компьютере отсутствует msvcr110D.dll Это нужно скачивать вручную...
C++ виртуальные функции Помогите пожалуйста, создать абстрактный класс Shape с двумя чисто виртуальными методами Area() и Print(). Определить производные классы Square (квадрат), Rectangle (прямоугольник). Переопределить в... http://www.cyberforum.ru/cpp-beginners/thread670417.html
C++ Длина слова
Помогите пожалуйста написать программу по определителях с такой функцией. Функция определяет длину слова с заданным номером.
C++ Найти все шестизначные счастливые числа (исправить код)
Задание: Найти все шестизначные счастливые числа. Счастливое число - это число, у которого сумма левых трех цифр равна сумме правых трех. Если в числе меньше шести цифр, то заменить недостающие...
C++ Найти первый из номеров K http://www.cyberforum.ru/cpp-beginners/thread670399.html
Дано вещественное число ε (> 0). Последовательность вещественных чисел AK определяется следующим образом: A1 = 1, A2 = 2, AK = (AK–2 + 2·AK–1)/3, K = 3, 4, … . Найти первый из номеров K, для...
C++ Вывести все целые числа от A до B включительно Даны целые положительные числа A и B (A < B). Вывести все целые числа от A до B включительно; при этом каждое число должно выводиться столько раз, каково его значение (например, число 3 выводится 3... подробнее

Показать сообщение отдельно
Glukonaft
0 / 0 / 0
Регистрация: 12.08.2012
Сообщений: 5
13.10.2012, 22:47  [ТС]
Пролог основан на методе резолюции (тоже кэп) и это всего лишь один из методов автоматического доказательства теорем . однозначно есть и другие методы . Я уже написал свой небольшой прувер(программа релизвующая методы автоматического доказательства теорем) , но уж больно сложно и не удобно работать с моими предикатами(сделал несколько классов) . Так вот спрашиваю у знающих людей есть ли средства которые помогут мне удобно реализовать работу и хранение предикатов ??

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

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

Добавлено через 5 минут
Цитата Сообщение от Nick Alte Посмотреть сообщение
STL стандарта C++11, заголовок <functional>
Библиотека Boost, boost::functional и boost::lambda
Спасибо , посмотрю что к чему
0
 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru