Flix has support for first-class Datalog constraints. Datalog is a logic programming language, but can be thought of as a query language like SQL – but on steroids.

Google introduced the open-source Logica programming language this week. It is designed to compile to SQL and run on Google BigQuery with experimental support for PostgreSQL and SQLite.

Meet Primo: a physical programming interface that teaches children programming logic while they control the movements of an Arduino-powered robot. All of Primo's electronics are concealed inside ...

This paper presents a constraint logic programming model for the traveling salesman problem with time windows which yields an exact branch-and-bound optimization algorithm without any restrictive ...