callmekit 的提交内容

LP/CP Programming Contest 2015

Speeding up non-vectorizable code with Cython

Cognitive Biases in Competitive Programming

Solving “Vietnam snake” puzzle with constraint logic programming

ImageIdentify recognizes most food items as emmental

Picat 1.0 has been released

PROGRAMMER IS INSUFFICIENTLY POLITE

Tutorial: Theorem Proving in Lean

Picat – A new logic-based programming language

Solving Pentagonal Peg Solitaire Puzzle with Picat

Solving PuzzlOR “Electrifying” puzzle with constraint logic programming

Pi in Programming Languages

Picat (logic-based multi-paradigm programming language) version 0.9 released

“MovingNQueens” marathon match has just started on TopCoder

Overview of Programming Contests

Artificial intelligence planning with Picat

Facebook Hacker Cup 2015 Round 1: Full Score with Python, Prolog, and GAP

Designing Game of Life mosaics with integer programming

Facebook Hacker Cup 2015 Qualification Round: Full Score with Prolog and Python

Solving Facebook Hacker Cup “Balanced Smileys” with DCG and B-Prolog

Logtalk 3.00.0 (object-oriented logic programming language backed by Prolog)

Five Popular Myths about C++ [pdf]

Solving Greater Than Sudoku using constraint logic programming

Theory of Problem Solving

Why zip when you can map?

Dynamic Programming Solution for Facebook Hacker Cup Problem AAAAAA in B-Prolog