Can you give me some basic examples in Prolog or in the most readable, according to you, of those languages for logic programming ?