subset [Relation]


Purpose

The subset relation tests whether a set is a subset of another set.

Syntax

subset set1 set2

Domain

The set1 argument is a list of objects.

Range

The set2 argument is a list of objects.

Examples

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

See Also

Last modified: Jun 1 1995