The TakmelaDemo code comes with various examples with their traces, which you can find on this page.
The examples also show their output normally to stdout, so you don't need to follow the traces if you want to quickly check them out
A very basic and easy to follow example, as presented in the main article.
A slightly more complicated example showing how Takmela can resume the same continuation more than once.
A classic example showing ambiguity.
A more fully fleshed-out grammar for arithmetic expressions, somewhat harder to trace though!
More complicated grammar example with deliberate ambiguity introduced
The classic Datalog showcase example!
The length of a query's trace varies according to e.g the query's nature or the facts included.
A small example to test Datalog programs where an atom contains the same variable more than once
From the book "Foundations of Databases"
Full version found here
Shorter trace version found here
Another classic example from Logic programming