The Discrete Event Calculus Reasoner allows a programmer to add common-sense reasoning capabilities to programs. It supports deduction/temporal projection, abduction/planning, postdiction, and model finding. It allows default reasoning about action, change, space, and mental states. It is based on the event calculus, a comprehensive and highly usable logic-based formalism. It helps applications understand the world, make inferences, adapt to unexpected situations, and be more flexible.
METSlib is an object-oriented metaheuristics framework in C++ designed to make implementing or adapting models easy. The model is modular: all the implemented search algorithms can be applied to the same model. METSlib implements the basics of some metaheuristics algorithms, such as Random Restart Local Search, Variable Neighborhood Search, Iterated Local Search, Simulated Annealing, and Tabu Search. For each algorithm, you must implement an objective function, a neighborhood (move manager), and some moves. Tabu Search is one of the fastest ways to generate near-optimal solutions to a wide range of hard combinatorial optimization problems.
Open Object Rexx is an object-oriented scripting language. The language is designed for "non-programmer" type users, so it is easy to learn and easy to use, and provides an excellent vehicle to enter the world of object-oriented programming without much effort. It extends the procedural way of programming with object-oriented features that allow you to gradually change your programming style as you learn more about objects.
SHORE (Semantic Hypertext Object Repository) is a hypertext repository that stores data about documents and data described by documents. Access to this information is provided as hypertext. The repository stores objects that appear in documents, together with their relations in a semantic net. Hypertext navigation follows these relations in the semantic net. The SHORE server works as an HTTP server, and the client is a standard Web browser. The repository uses PROLOG as its query language and the XSB system as its query engine.
readline C++ wrapper simplifies usage of the readline and history libraries for C++ programmers. Not all of the readline features are wrapped; however, the most often used are covered, including: editing the input line based on the user preferences; command history; saving/loading the command history to/from specified files; custom completers via standard containers; and binding keys to boost::function calls.