member-of [Relation]


Purpose

The member-of relation tests whether an object is a member of a set.

Syntax

member-of object set

Domain

The object argument is any object.

Range

The set argument is a list of objects.

Examples

(ask (member-of 5 '(3 5 4))) ==> T 
(tellm (:about Fred (wife Pam)) 
       (:about Mary (:filled-by friends Joe Pam Sue))) 
(ask (member-of (wife Fred) (friends Mary))) ==> T

See Also

Last modified: Jun 1 1995