The paper for the language is here https://pgm2020.cs.aau.dk/wp-content/uploads/2020/09/tehrani... and the benefits over other PPLs are listed at a high level in the abstract.