Darmok in core.logic

A tutorial to logic programming using miniKanren and core.logic by representing and using the allegory based Tamarian language from the Start Trek Next-Generation Episode Darmok.

The Probable Mystery Machine

Solving the mysteries of Scooby Doo with probabilistic logic programming.

Exploring the Deep, Part 1: Introduction

Diving into Deep Learning Part 1: An Introduction to Machine Learning


A bit of an introduction.

Legal Regulatory Compliance Within The Financial Domain.

Machine enabled compliance checking in the legal and financial domain.