enow.com Web Search

Search results

1. Results from the WOW.Com Content Network

2. 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).

3. 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.

4. 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]

5. ICAD (software) - Wikipedia

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

   ICAD started on special-purpose Symbolics Lisp hardware and was then ported to Unix when Common Lisp became portable to general-purpose workstations. The original domain for ICAD was mechanical design with many application successes. However, ICAD has found use in other domains, such as electrical design, shape modeling, etc. An example project ...

6. Category:Free software programmed in Lisp - Wikipedia

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

   Download QR code; Print/export ... Pages in category "Free software programmed in Lisp" ... Reduce (computer algebra system) S.

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. 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 .

9. GNU Common Lisp - Wikipedia

   en.wikipedia.org/wiki/GNU_Common_Lisp

   GNU Common Lisp (GCL) is the GNU Project's ANSI Common Lisp compiler, an evolutionary development of Kyoto Common Lisp. It produces native object code by first generating C code and then calling a C compiler. GCL is the implementation of choice for several large projects including the mathematical tools Maxima, AXIOM, HOL88, and ACL2.