The following examples are available to get familiar with the IDP system. Each example has a short explanation, and can be opened and executed in the online editor by clicking on the play button. Tese examples are provided in addition to a tutorial that can be found here.

- Hello World — Illustrates: Lua scripting
- Arithmetic — Illustrates: Model expansion, arithmetic
- Reachability — Illustrates: Model expansion, inductive definitions
- Map coloring — Illustrates: Model expansion, functions, interpretations
- Linear constraints — Illustrates: Model expansion, optimization, arithmetic
- N-queens — Illustrates: Xsb usage, preprocessing definitions, Lua scripting, options
- Minimization & Aggregates — Illustrates: Aggregates, optimization
- Aggregates 2 — Illustrates: Aggregates
- Game of life — Illustrates: Arithmetic, optimization
- Game of life 2 — Illustrates: Constructors (Herbrand interpretations), arithmetic, definitions
- Einstein puzzle — Illustrates: Constructors (Herbrand interpretations), partial interpretations, first-order logic
- Options — Illustrates: Options
- Stable semantics — Illustrates: Stable models
- Block world — Illustrates: Linear time calculus, temporal domains, progression, simulation, iterated inductive definitions, proving invariants
- Concrete Delivery — Illustrates: Temporal domains, complex constraints
- Security: Modeling sensitive information flow — Illustrates: Inductive definitions, complex applications
- Propagation & Predicate Table Access — Illustrates: Propagation, Lua structure manipulation