Computer Organization and Architecture - Kiel Reduction Language, Single Assignment C.

Not a CL system, compiles Lisp programs into working C programs; is coded in Lisp; supports strict, very large subset of CL + CLOS. Descriptions, documents, downloads. [Open Source, GPL]

Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the area of integrated functional logic languages.

Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, so any functional expression can be...

Michael Hanus's pages on amalgamating functional and logic programming.

sendmail 8.8: using the check_* rules to prohibit unauthorized relaying through your sendmail server and to reject UBE from well known addresses