Alain

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.

Features

homoiconic
symbolic
SLD pattern matching
unification
inherent parallelism
Unicode

Project Activity

See All Activity >

License

MIT License

Follow Alain

Alain Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Additional Project Details

Operating Systems

FreeBSD, Linux, Mac, OpenBSD, Windows

Intended Audience

Developers

Registered

2023-10-08

Similar Business Software

Scheme

Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well as operations on more traditional data such as numbers and characters. While Scheme is often identified with symbolic...

See Software
Swift

Writing Swift code is interactive and fun, the syntax is concise yet expressive, and Swift includes modern features developers love. Swift code is safe by design and produces software that runs lightning-fast. Swift is the result of the latest research on programming languages, combined with...

See Software
C++

C++ is a simple and clear language in its expressions. It is true that a piece of code written with C++ may be seen by a stranger of programming a bit more cryptic than some other languages due to the intensive use of special characters ({}[]*&!|...), but once one knows the meaning of such...

See Software
LOLCODE

LOLCODE can interpret files from standard input or from a file. Spaces are used to demarcate tokens in the language, although some keyword constructs may include spaces. Multiple spaces and tabs are treated as single spaces and are otherwise irrelevant. Indentation is irrelevant. A command...

See Software
Scala

Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. The Scala...

See Software
Dylan

It is dynamic while providing a programming model designed to support efficient machine code generation, including fine-grained control over dynamic and static behaviors. Describes the Open Dylan implementation of the Dylan language, a core set of Dylan libraries, and a library interchange...

See Software