This is from course work authored by Maria Fox and Derek Long and other coworkers in Schlumberger that was created for internal training purposes.
A good way to follow the examples is to use the VS Code Testing pane:
- Generalizing Blocksworld to multiple grippers to showcase power of declarative modeling
- Hello world in propositional
-
- numeric,
-
- with types and objects,
-
- temporal and finally
-
- with continuous numeric effects.
This set of classroom exercises is accompanied by a series of videos explaining the
challenges and live-coding the solution: 
As mentioned in the video description, the training was created by Maria Fox, Derek Long, and other Schlumberger colleagues. The Blocksworld animation site was developed by Gilles Besancon and the blocks visualization in VS Code was done by Filip Dolejsi.