--- myst: html_meta: description: "tddlog for Python's examples: the alarm program with its answers worked out by hand, and a program built from Python data." --- # Examples `examples/alarm.py` is the program of [Getting started](index.md); its docstring works the answers out by hand: ```{literalinclude} ../examples/alarm.py :language: python ``` `examples/graph.py` builds a program from Python data: ```{literalinclude} ../examples/graph.py :language: python ``` The [guide](https://tractables.github.io/tddlog/guide/) describes the language tddlog reads, with worked examples that open in the [playground](https://tractables.github.io/tddlog/playground/).