ParentFull threadthrowaway290·Yarn Berry used Prolog for constraint definitions, but I think they gave up on it...View on HN