A language based on SetTheory and PredicateLogic. It may of may not be a ProgrammingLanguage, depending on which hairs you wish to split. It is certainly a notation.
http://vl.zuser.org/
CategoryProgrammingLanguages
3 pages link to Z:
lib/main.php:944: Notice: PageInfo: Cannot find action page