Relative Content

Tag Archive for prologmeta-predicatelogical-purity

Better definition of the reifying memberd_t/3

Section 7 of “Indexing dif/2” discusses general reification and the following definition is given for a reified list-membership: