Recent progress in logic programming (e.g., the development of the Answer Set
Programming paradigm) has made it possible to teach it to general undergraduate
and even middle/high school students. Given the limited exposure of these
students to computer science, the complexity of downlo
本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用,以比赛形式,特别是 ASP 竞赛,验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014,预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。