single-valued [Property]

Purpose

The {single-valued} predicate tests whether a given relation is marked single-valued.

Syntax

single-valued relation

Argument

The relation argument is a relation.

Value

The single-valued predicate returns t if relation, when used as a role, can only have a single filler.

Examples

(defrelation age :characteristics :single-valued) 
(ask (single-valued age)) ==> T 
(retrieve ?x (:and (Relation ?x) (single-valued ?x))) ==> (|R|AGE \ldots)

single-valued [Property]

Purpose

Syntax

Argument

Value

Examples

See Also