Реализация автоматического доказательства

Добрый день.

Курсовая.

Что такое Автоматическое доказательство теорем – вы можете узнать в гугле. Мне необходимо это реализовать в упрощённом виде для написания "курсовой". Язык роли не играет, сроки нужно определить максимально скоро, цена обсуждаема.

Контакты, цены - оставляйте в заявке. Связь желательно ICQ, оплата Webmoney(с моей стороны персональный аттестат).