In computer languages, Protium is a universal, symbolic programming language system, based on a systematic a priori analysis of the tasks required for computation. Devised (and developed) by Australian polyhistor Diarmuid Pigott, Protium is polymorphic in type with considerable character flexibility. It is pasigraphic after the fashion of John Wilkins and Charles K.