ru-declarative.livejournal.com
Picat - новый язык программирования, основанный на логике - ru_declarative
http://ru-declarative.livejournal.com/116401.html
Picat - новый язык программирования, основанный на логике - ru declarative. Picat - новый язык программирования, основанный на логике. Mar 19th, 2015 03:32 am. Недавно автор B-Prolog, профессор City University of New York Neng-Fa Zhou, придумал новый язык программирования - Picat (Pattern-matching, Imperative, Constraints, Actors, Tabling). Язык достаточно интересный. Официальный сайт - http:/ picat-lang.org/. С официального сайта можно скачать версии Picat для Linux, MacOS и Windows. Лично мне в Picat б...
hakank.org
My Picat page
http://www.hakank.org/picat
This page is maintained by Hakan Kjellerstrand ( hakank@gmail.com. Is a general-purpose programming language that incorporates features from logic programming, functional programming, and scripting languages. The letters in the name summarize Picat's features:. Note: In early versions of Picat, the I. Ctors: Actors are event-driven calls. Picat provides action rules for describing event- driven behaviors of actors. Events are posted through channels. An actor can be attached to a channel in o...Blogged a...
mbal.tk
EZCSP Home Page
http://www.mbal.tk/ezcsp/index.html
EZCSP is an inference engine that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b]. Intuitively, EZCSP allows a lightweight integration of ASP and constraint programming (CP). An extended answer set of an ASP program P is a pair consisting of an answer set of P, and of a solution to the constraint satisfaction problem (CSP) defined by such answer set of P. The latest release is 1.7.9. You can see a history of the major changes here. If you have any questions. Uncompres...
customct.com
Custom Computer Tools
http://www.customct.com/alfred-2-workflows
Building custom tools for your computer needs. FAQ for the Script Manager Plugin. EULA for all Products and Services. Alfred is a great companion working on the Mac. It helps me in all of my chores and tasks. I currently average 130 usages a day with Alfred with my top level of useage at 768 times in one day! Much of that is due to the workflows I have made to help me do my work. Remember, you have to have the right tool for the right job. You can download each of these workflows from my GitHub Account.
hakank.org
My Constraint Programming Blog
http://www.hakank.org/constraint_programming_blog
My Constraint Programming Blog. This is my blog about constraint programming and related paradigms, e.g. news about and models in some of my favorite constraint programming languages (MiniZinc, Zinc, JaCoP, Choco, Gecode, Gecode/R, Comet, ECLiPSe, Minion/Tailor, SICStus Prolog, Numberjack, OscaR, AIMMS-CP, Google or-tools, B-Prolog, etc). See http:/ www.hakank.org/. For more about me (Hakan Kjellerstrand, hakank@gmail.com. February 03, 2015. SweConsNet Workshop May 7th, 2015 (Chalmers, Gothenburg). We ho...
ecai2014.org
Tutorials :: ECAI 2014
http://www.ecai2014.org/tutorials
140 21 Prague 4. 420 284 001 444. 101;cai2014@guarant.cz. The ECAI 2014 tutorials will be held at the Czech Technical University on August 18-19. All participants have to register for ECAI conference, it is not possible to attend only tutorials. Tutorials on established research areas, and eight 90-minute spotlight. Tutorials on emerging or more specialized topics, promotes the continuing education of each member of our research community. Monday, August 18, 9:00 12:30. Monday, August 18, 9:00 10:30.
codeforces.com
VK Cup 2015 - Codeforces
http://codeforces.com/vkcup2015
Rarr; Go to. Results of Qual 1. Results of Qual 2. Results of Round 1. Wild Card Round 1. Results of Wild Card Round 1. Results of Round 2. Wild Card Round 2. Results of Wild Card Round 2. Results of Round 3 (Elimination to the Finals). Results of the Finals. VK Cup 2015 - Finals. VK Cup 2015 - Раунд 3. VK Cup 2015 - Wild Card Round 2. VK Cup 2015 - Round 2. VK Cup 2015 - Wild Card Round 1. VK Cup 2015 - Round 1. VK Cup 2015 - Qualification Round 2. VK Cup 2015 - Qualification Round 1. Rarr; Оrganized by.
