
--------------------

Get a list of currently defined functors with:
    
    ?- joy(`words`, [], [Words]), maplist(writeln, Words).





FORMAT:

--------------------

## Name

[Basis] Function | Combinator

Summary

Gentzen diagram.

### Definition

if not basis.

### Derivation

if not basis.

### Source

if basis

### Discussion


### Crosslinks