coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: emile lunardon <emile.lunardon AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Système expert
- Date: Sun, 4 Jan 2015 10:42:41 +0100
Can Coq be used to implement an "Expert System" ?. I wonder what are the advantages (and inconvenients) of Coq with regards to a Forward Chain Resolution software like CLIPS.
Can Coq bring interesting capabilities in the treatment (if not the understanding) of natural language ?- [Coq-Club] Système expert, emile lunardon, 01/04/2015
Archive powered by MHonArc 2.6.18.