Description logic -> via Haskell -> to Prolog

Question

2.00/5 (1 vote)

See more:

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 29-Jan-12 5:40am

KiMO.1337

Add a Solution

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 :)

Add your solution here

Treat my content as plain text, not as HTML

Preview 0

…

Existing Members

Sign in to your account

...or Join us

Download, Vote, Comment, Publish.

Your Email
Password
Forgot your password?

Your Email
This email is in use. Do you need your password?
Optional Password

I have read and agree to the Terms of Service and Privacy Policy
Please subscribe me to the CodeProject newsletters

When answering a question please:

Read the question carefully.
Understand that English isn't everyone's first language so be lenient of bad spelling and grammar.
If a question is poorly phrased then either ask for clarification, ignore it, or edit the question and fix the problem. Insults are not welcome.
Don't tell someone to read the manual. Chances are they have and don't get it. Provide an answer or move on to the next question.

Let's work to help developers, not make them feel stupid.

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