---
myst:
  html_meta:
    description: "tddlog for C's example: the alarm program through the C interface, checked against the probabilities worked out by hand."
---

# The example

`examples/alarm.c`, the program of [Getting started](index.md) on the
alarm example, checked against the probabilities worked out by hand:

```{literalinclude} ../examples/alarm.c
:language: c
```

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/).