Languages
- 862
- Centum
- Interpreted language intended to make it easy to express algorithms. Merges functional, object-oriented, and imperative programming styles, and adds some unique traits. Open source.
- 863
- Tensile
- An exTENSIbLE programming language intended mainly to process text documents in various input formats and languages. Core uses only features from ISO C + POSIX library functions. Was NSL. [Open source, GPL]
- 864
- Tensile
- Language made mainly for complex processing of text in SGML-like formats. Key feature: notion of finite-state automata used to define text transformations. Also made for Web programming, with inherent CGI abilities. Project page. [Savannah]
- 865
- TUNES Project
- Open source resource for learning about programming languages and operating systems. Led by French OS philosopher Fare'. Some 2,000 links.
- 866
- LispOS Project
- Goal: reflective OS based on LISP. Mostly merged with TUNES. No code, but many ideas politely presented in a fascinating archived mail list. Mail list archives.
- 867
- UniOS: A Concept OS
- Merging with TUNES. Some useful ideas with very clear, well written explanations, and links. No code.
- 868
- A Comparative Study of Eight Constraint Programming Languages
- Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that concerning reification and meta-constraints.
- 869
- Constraint Logic Programming: CLP
- Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics.
- 870
- DFKI: MAS Publications: Multi-Agent Systems
- Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to gain a strong sense of non-linearity.
- 871
- ECLiPSe: The ECRC Constraint Logic Parallel System
- Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledge base, constraint-handling facilities and parallelism. Runs on Unix/Linux, beta version for Windows 9x/NT/2000.
- 872
- Elf Meta-Language
- Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.
- 873
- FormulaOne
- Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 2000/XP/Vista/W7.
- 874
- JICSLP'96 Workshop on Parallelism and Implementation Technology
- Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages.
- 875
- OPBDP
- Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.
- 876
- ResearchIndex: Hierarchical Constraint Logic Programming
- A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints), and strict requirements (hard constraints).
- 877
- clp(Q,R)
- Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.
- 878
- ALF
- 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 used in a goal literal and arbitrary predicates can occur in conditions of equations.