GNU/Linux AI & Alife HOWTO By John Eikenberry PDF
Download GNU/Linux AI & Alife HOWTO By John Eikenberry PDF book free online – From GNU/Linux AI & Alife HOWTO By John Eikenberry PDF: This howto mainly contains information about, and links to, various related software libraries, applications, etc. that work on theGNU/Linux platform. All of it is (at least) free for personal use. The new master page for this document is http://zhar.net/howto/
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.mpi-sb.mpg.de
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.