Hello and welcome to TermiLog

If you have not used the system before or want to understand it more thoroughly you can look at the EXPLANATIONS.

Please fill in the details of your query and program:

Query to be checked--write the query in a form like predicate(b,b,f,f,b):

Enter the path of your program:

If you encounter problems finding your file, this might help.
Use Norm: Term Size
List Size
 Constraint inference Skipped
Performed
Wait no more than


For more details you can look at an EXAMPLE

If you encountered problems using TermiLog, or you have other questions, please e-mail:
Dr. Naomi Lindenstrauss.