danielp questions

danielp answers

• Display the execution times for each goal of a predicate clause
• Prolog. In a query, how to put a condition on a variable that I do not want in the results?
• transitive closure over a symmetric relation in prolog