An extension of a procedural programming language with S-expressions and predicate expressions is described. Several examples in the field of graph theory, logic and set theory, hash tables, and sparse matrices are presented.