Practical Datalog

  • Adds string operations + arithmetic + non-atomic data
  • Turing complete, programs may not terminate
  • Industrial-strength implementations: Soufflé, CodeQL, Datomic
  • In this course: custom educational system Datamog
Flat cartoon mascot illustration on a pale bluish-white background. A cute round-faced orange tabby kitten with big shiny eyes and pink inner ears sits driving an orange Mercedes-Benz Unimog utility truck, its paws on the wheel and striped tail flicking up behind. The truck has chunky off-road tyres, a Mercedes three-pointed-star grille, and a wooden flatbed whose green side panel bears the word 'DATAMOG' in a pixel-style font. A large auger or snow-blower attachment on the front is plowing through a heap of scattered blue binary digits (0s and 1s) that pile up around the wheels and drift through the air. Playful, friendly, kawaii style with bold outlines.