TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Picat – A new logic-based programming language

46 点作者 callmekit大约 10 年前

4 条评论

joe_the_user大约 10 年前
Looks like an interesting project.<p>The license or terms-of-use seem weird: <i>&quot;Picat can be used for any fair purpose, including commercial applications. The C source code is available to registered developers and users free of charge. The project is open to anybody and you are welcome to join, as a developer, a sponsor, a user, or a reviewer. Please contact picat@picat-lang.org&quot;</i><p>Why make things complicated with these conditions? If you are going to allow source access, why not use a standard open source license. If you aren&#x27;t, if you want to control of the language for some purpose, make it clear this is a commercial product.<p>The GPL (and other standard open source licenses) are a real commercial licenses at this point. Roll-your-own software licenses seem a lot like roll-your-own device device drivers - might have made sense in yesterday&#x27;s world but not today.
评论 #9234574 未加载
agumonkey大约 10 年前
Here&#x27;s an article explaining it&#x27;s features with more mainstream terms.<p><a href="http://www.hakank.org/constraint_programming_blog/2013/09/a_first_look_at_picat_programming_language_1.html" rel="nofollow">http:&#x2F;&#x2F;www.hakank.org&#x2F;constraint_programming_blog&#x2F;2013&#x2F;09&#x2F;a_...</a>
joe_the_user大约 10 年前
Another language which involves both constraint programming and imperative programming is Alma-0[1]. While Alma-0 doesn&#x27;t seem that much more than a toy language, I always liked the backtracking + standard-loops feature. It seemed offer clarity plus incredible power.<p>I would wonder if Picat has similar feature (to implicit backtracking in imperative loops)?<p>[1] <a href="http://en.wikipedia.org/wiki/Alma-0" rel="nofollow">http:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Alma-0</a>
评论 #9236322 未加载
memming大约 10 年前
I used to love Prolog, but Prolog is not general purpose. This has &#x27;pi&#x27;, &#x27;cat&#x27;, some imperative, and prolog taste in it...most interesting.