在vc上运行的回答集求解器源代码，能够供在人工智能上学习的学习者使用-Running in vc answer set solver source code, for use in artificial intelligence to learn the use of the learners

逻辑程序设计中smodels系统中的一些典型事例。-Logic programming system design smodels some typical examples.