Search Results for "offline artificial intelligence\"

CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities.

GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

SNOBOL4, while known primarily as a string language excels at any task involving symbolic manipulations. It provides run time typing, garbage collection, user data types, on the fly compilation.

HyperCLIPS was designed for high performance, especially with the CLIPS program which have a great deal of numeric calculation or memory allocation, along with keeping almost full compatibility with the original version of CLIPS. You can use HyperCLIPS to run CLIPS programs with no modification. The original version of CLIPS Rule Based Programming Language is available from here. https://sourceforge.net/p/clipsrules/ The misclns4.tst is a good example for it because...

Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL

CLIPSwl is a modified project based on CLIPS(C Language Integrated Production System)(https://sourceforge.net/projects/clipsrules/), a public domain open-source software tool for building expert systems. CLIPS(ver. 6.24) is unsafe when access simultaneously occurs at the same environment, because the environment data of CLIPS are not protected for simultaneous access. We modified the CLIPS (ver. 6.24) to support lock/unlock functions in a flexible way. CLIPSwl doesn't use complicated...

LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.

Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)

URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API based on a client/server architecture. Liburbi C++/Java/Matlab are available here. Forum available at ht

TIN is an artificial-life program running under X. TIN's are mammal lifeforms, equipped with some basic instincts and abilities, evolving in a 2D environment.

FramerD is a distributed semi-structured object database originally developed at MIT. It provides an internationalized Scheme-based scripting language, built-in text analysis tools, and special support for web scripting.

Maiden-core is a Linux kernel robotics API module, extensible in Erc. The Maiden Project also documents and develops the Maiden architecture for mobile robots, a set of (optional) designs and standards for robots using the Maiden-core API.

C est un projet visant a faire un moteur de resolution de contrainte utilisant le langage Score FD/I. Projet de promotion de maitrise a l universite de bourgogne par dix etudiants.

The S.A.N.A (Simple Atomic Natural Assocation) Interpreter is a project, that will hopefully evolve to a basic user level. It is mainly concentrated on developing an easy to use distributed programming envoirenment.