A text-centric [[Prolog]] that makes it easy to define arbitrary relationships and facts attached to notes. Notes have an identity, zero or more aliases, an arbitrary set of relationships and facts/properties, and an optional body. Any note may be an operator, either unary or binary. Relationships must be queryable by their arity.