Whoot - I met Verunica Dahl, one of the inventors of Prolog, Colmeraur’s student, a couple days ago!
4 Likes
Co-author with Harvey Abramson of Logic Grammars. See page 150 of the book for a cool example.
1 Like