上传文件包括编译运行平台和许多实例。Answer set programming(简称ASP)是国外近几年兴起的一种重要的逻辑编程语言，对于求解NP问题有良好的时间上限优势。例如图的着色问题，哈密顿回路问题，sudoku问题，生物医学的特征选择问题等等。加上我上传的logic学习资料配套使用。-uploaded file include the compile and develop platform and many examples. Answer set programming is a