Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...

I found this prolog program to solve the five houses puzzle (Einestine's puzzle) on the net. Given that I don't know Prolog bsides that it's a predicative language, I started to learn it last night.