Notes concerning “Prolog and logic programming”
Efficiently querying a log of everything that ever happened
2015-09-03 (7 minutes)
MiniOS
2016-12-28 (updated 2017-01-03) (6 minutes)
Querying a pile of free-text strings with quasi-Prolog
2017-11-17 (6 minutes)
Binate and KANREN
2018-12-02 (3 minutes)
Relational modeling and APL
2019-05-20 (updated 2019-05-21) (5 minutes)
Separating implementation, optimization, and proofs
2019-06-26 (updated 2019-07-22) (41 minutes)
Prolog table outlining
2019-07-05 (11 minutes)
Sorting in logic
2019-12-28 (2 minutes)