Links:
ACL2 ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. ALS Prolog (commercial) supports standard Edinburg-style syntax, as well asthe developing ISO standard. ALS Prolog uses incremental compilationtechniques to provide a real-time compilation and debugging environment Ciao a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically Confluence System Design Language a language for synchronous reactive system design. A Confluence program can generate digital logic for an FPGA or ASIC platform, or C code for hard real-time software DFKI Oz a high-level programming language combining constraint inference with concurrency IF/Prolog (commercial) an advanced Prolog engineering tool for use in industrial and commercial environments. IF/Prolog has a rich set of interfaces to other standard software components and an additional Constraint Technology Package for efficient solutions of complex optimization problems JV-Prolog an easy to use windows and console based implementation of Prolog mona a logic-based programming language and a tool that translates programs, that is, formulas, to finite-state automata Mozart an interactive distributed implementation of Oz: Oz is a concurrent constraint programming language designed for applications that require complex symbolic computations, organization into multiple agents, and soft real-time control Mozart implements Oz, a concurrent object-oriented language with dataflow synchronization. Oz combines concurrent and distributed programming with logical constraint-based inference, making it a unique choice for developing multi-agent systems Oz a high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical user interfaces SICStus (commercial) a Prolog Development System. SICStus Prolog conforms to the ISO Prolog standard. It is built around a high performance Prolog engine
