I thought the part about Pilog was quite interesting[0].

[0]: https://software-lab.de/doc/ref.html#pilog