PRASCAL: a pataphysical programming language

Hugill, A and Yang, H (2016) 'PRASCAL: a pataphysical programming language.' International Journal of Creative Computing, 1 (2/3/4). pp. 133-153. ISSN 2043-8354

7239.pdf - Accepted Version
Repository Terms Apply.

Download (515kB) | Preview
Official URL:


This paper introduces PRASCAL, a programming language that distorts traditional PASCAL using pataphysical principles. The aim of the language is to stimulate creativity and to embed playfulness in computer systems. A wider aim is to reach towards a less severe, more human, form of logic. Pataphysics was a concept elaborated by the French writer and poet Alfred Jarry (1873–1907) in a series of plays and novels, as well as through his own life. It is defined as the science of imaginary solutions and the science of the laws governing exceptions and contradictions. PRASCAL applies this concept through mechanisms such as patadata and Uboolean logic to arrive at a language which is always exceptional and particular.

Item Type: Article
Keywords: programming language; pataphysics; many-valued logic; creativity; play
Divisions: College of Liberal Arts
Date Deposited: 24 May 2016 15:58
Last Modified: 28 Sep 2017 08:39
References: Bergstra, J.A. and Ponse, A. (1998) ‘Kleene’s three-valued logic and process algebra’, Information Processing Letters, Vol. 67, pp.95–103. Caillois, R. (2001) Man, Play and Games, University of Illinois Press, Chicago. Colburn, T. and Shute, G. (2007) ‘Abstraction in computer science’, Minds and Machines, Vol. 17, No. 2, pp.169–184. Doctorow, C. (2001) Metacrap: Putting the Torch to Seven Straw Men of the Meta-utopia [online] (accessed 25 March 2015). Hendler, J. and Hugill, A. (2013) ‘The syzygy surfer: (ab)using the semantic web to inspire creativity’, Int. J. Creative Computing, Vol. 1, No. 1, pp.20–34. Hugill, A. (2012) Pataphysics: A Useless Guide, MIT Press, Cambridge, MA. Hugill, A. and Yang, H. (2013) ‘The creative turn: new challenges for computing’, International Journal of Creative Computing, Vol. 1, No. 1, pp.4–19. Hugill, A., Yang, H., Raczinski, F. and Sawle, J. (2013) ‘The pataphysics of creativity: developing a tool for creative search’, Digital Creativity, Vol. 24, No. 3, pp.237–251. Huizinga, J. (2001) Homo ludens, Routledge, London. Jacobson, R. (1990) ‘Unobservable effects and business performance’, Marketing Science, Vol. 9, No. 1, pp.74–85. Jarry, A. (1996) Translated S. Watson Taylor, Exploits and Opinions of Doctor Faustroll, Pataphysician, Exact Change, Boston. Kleene S.C. (1952) Introduction to Metamathematics, Princeton, Amsterdam, pp.332–340. Kneale, W. and Kneale, M. (1962) The Development of Logic, Clarendon Press, Oxford, pp.569–70). Mathews, H. and Brotchie, A. (2005) Oulipo Compendium, Atlas Press, London. Miller D.M. and Thornton, M.A. (2008) ‘Multiple valued logic: concepts and representations’, Synthesis Lectures on Digital Circuits and Systems, Vol. 12, pp.41–42. Motte, W.F. (2015) Oulipo – A Primer of Potential Literature, Dalkey Archive Press, London. Nachmanovitch, S. (1990) Free Play: Improvisation in Life and Art, Tarcher/Penguin, New York. Nietzsche, F. (2006a) Human, All Too Human, Dover, New York. Nietzsche, F. (2006b) The Gay Science, Dover, New York. PASCAL Standard (1991) ISO/IEC 10206: Information Technology, Programming Languages, Extended Pascal. Polanyi, M. (1967) The Tacit Dimension, Anchor Books, New York. Porat, D.I. (1969) ‘Three-valued digital systems’, Proceedings of the Institution of Electrical Engineers, Vo. 116, No. 6, pp.947–954. Rescher, N. (2007) ‘Many-valued logic’, Topics in Philosophical Logic, Vol. 17, pp.54–125. Shattuck, R. (1968) The Banquet Years: The Origins of the Avant-Garde in France 1885 – World War I, Random House, New York. Tamir, D.E., Rishe, N.D., Naphtali, D. and Kandel, A. (Eds.) (2015) Fifty Years of Fuzzy Logic and its Applications, Springer, London. von Krogh, G., Ichijo, K. and Nonaka, I. (2000) Enabling Knowledge Creation: How to Unlock the Mystery of Tacit Knowledge and Release the Power of Innovation, Oxford University Press, Oxford. Zenkin, A.A. (1997) ‘Superinduction: a new method for proving general mathematical statements with a computer’, Doklady Mathematics, Vol. 55, No. 3, pp.410–413.
Request a change to this item or report an issue Request a change to this item or report an issue
Update item (repository staff only) Update item (repository staff only)