What does "Modern Prolog" mean?

Re assertion/retraction. I use yaml_read(File,read,D), assert(d(D)) to use/manipulate dictionaries. This is done in a manner similar to how assoc or rbtrees are used. (Yes I know a list or assoc can be asserted directly, but if there are many and they’re manipulated how can you identify which unless by a unique Name). Also note sect. 5.4.5 re possibility of changing dict representation.
PS I also use fast_write(Sout,Dict) for longer term dict use :slight_smile:

1 Like

apologies - I failed to scroll down and missed j4n_bur53’s helpful answer.

?- dict_pairs(employee{name:bob, family_name:worker}, T, X).
T = employee,
X = [family_name-worker,name-bob].
1 Like