1
$\begingroup$

I want to learn prolog,two reason for that are -one can always find a counter example to the argument by searching for negation.So,one can learn by debugging the scripts.I heard that prolog is based on horn clause logic ,so want to learn more about it.

$\endgroup$
1

1 Answer 1

1
$\begingroup$

I want to learn prolog.

While I would not recommend learning Prolog on your own, if one insist then one of the better places to learn is from

Learn Prolog Now!


So, one can learn by debugging the scripts.

If you want to try Prolog online without installing Prolog use SWISH. To debug Prolog use trace/1 or gtrace/0.


Books for learning horn clause logic

To learn Prolog one does not need to dig into Horn clauses in detail. Understanding them is helpful at times. I have been programming in Prolog daily for a few years now and only when I am trying to understand the inner workings of Prolog do I really think about Horn clauses.


For other books and such related to Prolog see:

Useful Prolog references

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.