摘要：
1、weka libsvm classes not in classpath按照这篇文章设置就可以：http://endual.iteye.com/blog/1278381，可以把几个classpath都添上 貌似最终还是没解决，又出了其它问题 阅读全文
摘要：
搜索“ASP solver”可以得到若干个，clasp是其中一个http://www.cs.uni-potsdam.de/clasp/?page=main有本教程叫A User's Guide to gringo,clasp, clingo, and iclingo，Google一下就可以下到Answer Set Programming的优点在于，你只需要定义规则，求解的方法由ASP solver来解决，这是一种declarative language，和SQL同类看如下这个数独（http://www.sudoku.name/index-cn.php）：首先描述facts(文件sudo 阅读全文