Minor Revelation

I used to think of triples in PROLOG (Datalog, etc.) to be something like

relation(subject,object).

but, PROLOG makes it hard to pattern-match on relation.

For example, if I want to find all relations that include a specific subject, then, the above format makes it difficult to express the query.

Instead, maybe a triple should be represented as

triple(relation,subject,object).

WIP

I am going to try this new format for a while…

I’m going to use the keyword fact to denote a triple.

fact(relation,subject,object).

SWIPL includes an extension to classical PROLOG, in the form of dict objects.

This might be something else to investigate.