Comment by throwaway290

Yarn Berry used Prolog for constraint definitions, but I think they gave up on it...