8.1 Triple Type

struct
(struct triple (subject predicate object))
  subject : subject?
  predicate : predicate?
  object : object?

TBD

Implements the generic interface gen:statement.

procedure
(list->triple stmt) → triple?
stmt : (list/c subject? predicate? object?)

Convert a list of three components into a triple structure. This is the opposite of the generic statement->list.

procedure
(statement->reified-triples stmt) → (set/c triple?)
stmt : statement?

TBD

predicate
(triple<? v1 v2) → boolean?
v1 : triple?
v2 : triple?

Returns #t if v1 and v2 are triple? values, and v1 is less than v2.