Click here to Skip to main content
15,860,859 members
Please Sign up or sign in to vote.
2.00/5 (1 vote)
Hi. As the title says, I need to implement a interpreter which will take as input Description Logic axioms, and return Prolog rules. And this has to be done in Haskell.
Can you please point me to some source where I can get started? Maybe a simple Haskell to prolog interpreter, or anything related to these three.

Thank you!
Posted
Comments
Sergey Alexandrovich Kryukov 29-Jan-12 14:49pm    
This is pretty serious work, quite doable though. The best thing is to do it all by yourself, anyway. At least try. This matter is not a subject of Quick Questions & Answers, really. Do give you some ideas... you see, even for this, your question is two vague. It needs a lot of information on input.

You see, not quite an adequate question.
--SA
KiMO.1337 29-Jan-12 15:09pm    
Ok, I understand what you mean. The fact is that I'm quite new on this functional/logic programming branch, despite I work as a junior programmer and this was just a one time project, that's why I pounced right in the subject, but I know that such an interpreter requires quite some knowledge and work. Anyway, thanks for your time :)

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)



CodeProject, 20 Bay Street, 11th Floor Toronto, Ontario, Canada M5J 2N8 +1 (416) 849-8900