Free and Discounted Ebooks
Join 130,000 readers! Get our ebook deals straight to your inbox.

GNU/Linux AI & Alife HOWTO

Cover image for


Author: John Eikenberry
Published: 2006
Language: English
Wordcount: 22,747 / 80 pg
Flesch-Kincaid Reading Ease: 47.1
LoC Category: TK
Downloads: 4,061
Added to site: 2008.05.18 20944

This howto mainly contains information about, and links to, various AIrelated software libraries, applications, etc. that work on theGNU/Linux platform. All of it is (at least) free for personal use. Thenew master page for this document is

Show Excerpt

ic and symbolic constraints. Together, these two levels augment Common Lisp with practically all of the functionality of both Prolog and constraint logic programming languages such as CHiP and CLP(R). Furthermore, Screamer is fully integrated with Common Lisp. Screamer programs can coexist and interoperate with other extensions to Common Lisp such as CLOS, CLIM and Iterate.


· Web site:

SPASS: An Automated Theorem Prover for First-Order Logic with Equality

If you are interested in first-order logic theorem proving, the formal analysis of software, systems, protocols, formal approaches to AI planning, decision procedures, modal logic theorem proving, SPASS may offer you the right functionality.


· Web site:

ThoughtTreasure is a project to create a database of commonsense rules for use in any application. It consists of a database of a little over 100K rules and a C API to integ



Join 120,000+ fellow readers! Get Free eBooks and book bargains from ManyBooks in your inbox. 

We respect your email privacy

login | register

User ID


reset password

Author of the Day

Elin Barnes
Elin Barnes has done many different things in her life, like being a flight instructor, working for a criminal appeals lawyer and working for many big name technology companies in Silicon Valley (Microsoft, Google etc.). But the one thing that she never thought would actually happen is to write (and finish) a book. Her debut novel, Justification for Murder, has, in the meantime, earned rave reviews and grown into a series. As our author of the day, Barnes reveals why she picked Silicon Valley as the backdrop, her inspiration behind writing a biomedical thriller and how she went for ride-alongs with the San Jose Police Department.
Read full interview...