Be the first to post a text review of Common Lisp Reasoner. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Common Lisp Reasoner 1.1: Interoperable with C/C++

  The Common Lisp Reasoner adds integrated knowledge representation, reasoning and search capabilities to Common Lisp. Among other enhancements, it is now compatible with Embeddable Common Lisp (http://ecls.sourceforge.net/).

  posted by hounslow 200 days ago

• reasoner 1.1 file released: reasoner-1.1.zip

  The minimal defsystem facility can coexist with other such facilities; it now sends compiler output to a bin directory. Names of assumptions are strictly optional and need not be unique. The function assume-data has been replaced by assume-slot-values, which takes slightly different arguments, and assume-slot-value. Consumer scheduling is faster. The combination of slot values has been revised. A validate-combination method provides a means of controlling what is combined when a slot value is stored. Automatically-generated reader methods (i.e., that behave like slot-value-reduce) are working in SBCL, aren't working in clisp or ECL, and should work in more recent releases of Allegro. New demo: Sudoku generator and solver.

  posted 200 days ago

• File released: /reasoner/1.1/reasoner-1.1.zip

  posted 200 days ago

• Common Lisp Reasoner: 1.0.1 SBCL Compatibility Release

  The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language and support a variety of practical AI-related search and reasoning tasks, including scheduling, planning, diagnosis and predictive reasoning. The Common Lisp Reasoner adds integrated knowledge representation, reasoning and search capabilities to Common Lisp. The latest release is a revision to ensure maximum portability across Common Lisp implementations, including for the first time, SBCL: http://sbcl.sourceforge.net/ .

  posted by hounslow 493 days ago

• reasoner 1.0.1 file released: reasoner-1.0.1.zip

  It has been revised to conform to the ANSI Standard, Section 11.1.2.1.2. Package lock violations no longer occur. Automatically-generated reader methods (i.e., that behave like slot-value-reduce) are working in SBCL, aren't working in clisp and should work in more recent releases of Allegro.

  posted 493 days ago

• File released: /reasoner/1.0.1/reasoner-1.0.1.zip

  posted 493 days ago

• reasoner 1.0 file released: reasoner-1.zip

  posted 754 days ago

• File released: /reasoner/1.0/reasoner-1.zip

  posted 754 days ago