The inimitable and ever-present Markus Triska has a fantastic site [1] and he's making some really interesting videos [2] all about Prolog. I got nerd-sniped t

The inimitable and ever-present Markus Triska has a fantastic site [1] and he's making some really interesting videos [2] all about Prolog. I got nerd-sniped the other day by the Interval Tree Clocks post ( https://news.ycombinator.com/item?id=25243376 https://news.ycombinator.com/item?id=25243376 ) and wrote a crude implementation of ITCs in Prolog[3]. The code is gratifyingly short and closely follows the structure of the notation in the paper. (As an aside, it's weird and a little absurd that that notation, which Guy Steele Jr. calls "Computer Science Metanotation"[4], has no official name nor standard. He mentions in that talk that he took a stab at mechanizing it by processing the LaTeX in Prolog! That seems like something worth pursuing.) [1] "The Power of Prolog" https://www.metalevel.at/prolog https://www.metalevel.at/prolog [2] https://www.youtube.com/channel/UCFFeNyzCEQDS4KCecugmotg/videos https://www.youtube.com/channel/UCFFeNyzCEQDS4KCecugmotg/vid... [3] https://git.sr.ht/~sforman/Prolog-Junkyard/tree/master/miscellaneous/itc.pl https://git.sr.ht/~sforman/Prolog-Junkyard/tree/master/misce... [4] https://news.ycombinator.com/item?id=15473199 https://news.ycombinator.com/item?id=15473199