It's a set of macros and helper functions build on top of Julia to provide a sort of probabilistic programming DSL. The actual project describes themselves as a "programming system" rather that a programming language.

This is based on Julia.