Query Engine Deep Wiki

[jgarte]

@infradig Do you agree with the accuracy of the below representation of the query engine in this generated wiki for trealla?

It was generated by Devin AI.

https://deepwiki.com/trealla-prolog/trealla#query-engine

[infradig]

Interesting read. I haven't gone over it fully yet but I did notice one glaring error so far:

https://deepwiki.com/trealla-prolog/trealla/4.3-garbage-collection

It says blackboard terms are stored on the heap with reference counting. This is wrong, temporarily during construction yes they are, but then they are malloc()'d/copied-in, and pointers stored in a skiplist in the Prolog instance memory. This is to provided persistence across queries.

EDIT: in fact, looking at this I notice a comment on storing copies of attributes, and this is not done yet. Possibly why CLP(B) doesn't work properly on backtracking.

[infradig]

All in all a very good and useful summary. I constantly struggle to remember how things work and this looks like a good shortcut.