I used to think of triples in PROLOG (Datalog, etc.) to be something like
but, PROLOG makes it hard to pattern-match on
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
I am going to try this new format for a while…
I’m going to use the keyword
fact to denote a triple.
SWIPL includes an extension to classical PROLOG, in the form of dict objects.
This might be something else to investigate.