logical-programming

Relational Programming in Python?

Hi all, I'm a longtime python developer and recently have been introduced to Prolog. I love the concept of using relations for certain kinds of tasks, and would like to add this to my repertoire. Are there any good libraries for relational programming in Python? I've done some searching on Google but only found the following: http:/...

How to solve this logical problem with Prolog?

That's my first question so please be tolerant. I've logical problem to write in prolog/CLP: "It is known only one character is telling the truth. Mr April says Mr May tells lies. Mr May says Mr June tells lies. Mr June says that both Mr April and Mr May tell lies. Write a program which determines who is telling the trut...