danielp questions

danielp answers

• What is the size of an LTL formula?
• How to export Variable when using runuser
• 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