###
3.2.5.1 Examples

```
(any '(?x is in (1 2 3)) '(member ?x (1 2 3)))
```

returns

```
(1 is in (1 2 3))
```

The following expression:

```
(findall '(?x is in (1 2 3)) '(member ?x (1 2 3)))
```

returns

```
((1 is in (1 2 3))(2 is in (1 2 3))(3 is in (1 2 3)))
```

KnowledgeWorks and Prolog User Guide (Macintosh version) - 11 Jul 2006