The Formula language Clause Samples

The Formula language. (Needs to be more complex than first-order logic. Probably a full-fledged programming language, e.