使用Picat解决Google Code Jam问题
Declaratively solving Google Code Jam problems with Picat
摘要：
在本文中，我们提出了几个例子，解决算法问题，从谷歌代码果酱编程比赛与Picat程序设计语言使用声明性技术：约束逻辑编程和表格逻辑编程。在某些情况下，Picat的使用与传统的命令式程序设计语言相比简化了实现，而在其他情况下，它允许直接将问题语句转换为有效可解的声明性问题规范，而无需发明命令式算法。
英文摘要：
In this paper we present several examples of solving algorithmic problems from the Google Code Jam programming contest with Picat programming language using declarative techniques: constraint logic programming and tabled logic programming. In some cases the use of Picat simplifies the implementation compared to conventional imperative programming languages, while in others it allows to directly convert the problem statement into an efficiently solvable declarative problem specification without inventing an imperative algorithm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
