Jargon from the functional programming world in simple terms!

🦉 A grounder and solver for logic programs.

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

Based on a true story

You make the Party!