User talk:ButterBookie

Tabled logic programming[edit]

I have quickly cooked up the barebones of a page on tabled logic programming, using text from the freely-licensed Fifty years of Prolog paper and the section of the Prolog article. It would be wonderful if you could help flesh it out with some actual content, in particular for the now empty sections. Felix QW (talk) 10:39, 28 October 2023 (UTC)[reply]

I looked at it quickly. I will at some point try to write a better version. I think this one overemphasizes the role of Earley parsing and deduction, which I would say are more akin to a magic sets understanding of the process. I'm going to be busy for a while but will get to it. Thanks. ButterBookie (talk) 17:32, 28 October 2023 (UTC)[reply]

Please do whenever you have time! I just more or less copied the corresponding section in the Fifty years of Prolog paper, thinking that it's probably easier to edit an existing text rather than starting from scratch. Felix QW (talk) 17:55, 28 October 2023 (UTC)[reply]