Version 4.3 of Carneades was released today. New in 4.3 are:
- Argument validation, by matching arguments to schemes
- Argumentation scheme validation, checking for syntatic and semantic errors in a theory (knowledge-base)
- Native implementation of a Constraint Handling Rules (CHR) inference engine, in Go, for constructing arguments. Removes the dependency on Prolog.
The Go implementation of CHR was designed and implemented by Horst Friedrich. It has a separate GitHub project, GoCHR.
The source code is available in the Carneades-4 Github project. The code is open source, using the MPL-2.0 license.