enow.com Web Search

Search results

1. Results from the WOW.Com Content Network

2. Lisp-based Intelligent Software Agents - Wikipedia

   en.wikipedia.org/wiki/Lisp-based_Intelligent...

   Lisa is a production-rule system implemented in the Common Lisp Object System (CLOS), and is heavily influenced by CLIPS and the Java Expert System Shell (JESS). At its core is a reasoning engine based on an object-oriented implementation of the Rete algorithm , a very efficient mechanism for solving the difficult many-to-many matching problem.

3. Genera (operating system) - Wikipedia

   en.wikipedia.org/wiki/Genera_(operating_system)

   Genera is a commercial operating system and integrated development environment for Lisp machines created by Symbolics.It is essentially a fork of an earlier operating system originating on the Massachusetts Institute of Technology (MIT) AI Lab's Lisp machines which Symbolics had used in common with Lisp Machines, Inc. (LMI), and Texas Instruments (TI).

4. Lisp (programming language) - Wikipedia

   en.wikipedia.org/wiki/Lisp_(programming_language)

   However, unlike C preprocessor macros, the macros are Lisp functions and so can exploit the full power of Lisp. Further, because Lisp code has the same structure as lists, macros can be built with any of the list-processing functions in the language. In short, anything that Lisp can do to a data structure, Lisp macros can do to code.

5. List of free and open-source software packages - Wikipedia

   en.wikipedia.org/wiki/List_of_free_and_open...

   This is a list of free and open-source software (FOSS) packages, computer software licensed under free software licenses and open-source licenses. Software that fits the Free Software Definition may be more appropriately called free software ; the GNU project in particular objects to their works being referred to as open-source . [ 1 ]

6. ACL2 - Wikipedia

   en.wikipedia.org/wiki/ACL2

   ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for software and hardware verification .

7. AutoLISP - Wikipedia

   en.wikipedia.org/wiki/AutoLISP

   Vital-LISP, a considerably enhanced version of AutoLISP including an integrated development environment (IDE), debugger, compiler, and ActiveX support, was developed and sold by third-party developer Basis Software. Vital LISP was a superset of the existing AutoLISP language that added VBA-like access to the AutoCAD object model, reactors ...

8. Category:Free software programmed in Lisp - Wikipedia

   en.wikipedia.org/wiki/Category:Free_software...

   Download QR code; Print/export Download as PDF; Printable version; In other projects ... Pages in category "Free software programmed in Lisp"

9. ICAD (software) - Wikipedia

   en.wikipedia.org/wiki/ICAD_(software)

   ICAD (Corporate history: ICAD, Inc., Concentra (name change at IPO in 1995), KTI (name change in 1998), Dassault Systèmes (purchase in 2001) ([1]) is a knowledge-based engineering (KBE) system that enables users to encode design knowledge using a semantic representation that can be evaluated for Parasolid output.