Alain is a symbolic, homoiconic programming language that employs parallel SLD resolution and pattern matching (unification). Data is represented using CONS lists of Unicode characters, while input and output operations make use of the file API.
Please see FAQ.gmi and LICENSE.TXT in the source code bundle for more details.