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