Programming for the Humanities - Logic and Adaptable Languages

Jerzy Karczmarczuk


We argue in favour of teaching modern programming to students of “non-scientific” undergraduate disciplines (humanities), considering that computer-assisted learning should not be reduced to the usage of tools, but provides some answers to the question: how the knowledge is built. The computer science should be treated as an inherent part of their culture. We advocate the teaching of Logic Programming languages: Prolog, and of the Constraint Programming languages, such as CHR. Logic programming permits to formulate the computational problems and their solutions in a form more close to human reasoning than several other languages, and adaptable to the domains of interest of the learners.


  1. Arthur, P. L. and Bode, K., editors (2014). Advancing Digital Humanities: Research, Methods, Theories. Palgrave Macmillan.
  2. Cameron, S. and Richardson, S. (2005). Using Computers in History. Palgrave Macmillan.
  3. Christiansen, H. (2002). Using prolog as metalanguage for teaching programming language concepts. In Kacprzyk, J., Krawczak, M., and Zadroz?ny, S., editors, Issues in Inf. Technology. Warszawa.
  4. Frühwirth, T. (2009). Welcome to constraint handling rules. In Schrijvers, T. and Fr ühwirth, T., editors, Constraint Handling Rules, Current Research Topics, Lecture Notes in Artificial Intelligence 5388. Springer.
  5. Karczmarczuk, J. (2015). Teaching with dynamic documents - web applications and local resources. In Proc. of the 7th Int. Conf. on Comp. Supported Education, pages 315-322, Lisbon, Portugal.
  6. Koch, C. (1991). On the benefits of interrelating computer science and the humanities: The case of metaphor. Computers and the Humanities, (25):289-295.
  7. Kowalski, R. (2014). History of logic programming. In Siekmann, J., editor, Computational Logic, Vol. 9, pages 523-569. Elsevier.
  8. Kuhn, T. (1962). The Structure of Scientific Revolutions. University of Chicago Press.
  9. Pereira, F. and Warren, D. (1980). Definite clause grammars for language analysis - a survey of the formalism and a comparison with atn. Artificial Intelligence, 13(3):231-278.
  10. Perlis, A. J. (1982). Epigrams on programming. ACM SIGPLAN Notices, 17(9):7-13.
  11. Ramsay, S. (2012). Programming with humanists: Reflections on raising an army of hackers-scholars in the digital humanities. In Digital Humanities Pedagogy: Practices, Principles and Politics. OpenBook.
  12. Rushkoff, D. (2010). Program or be Programmed Ten Commands for a Digital Age. O/R Books, New York.
  13. Schreibman, S., Siemens, R., and Unsworth, J., editors (2004). A Companion to Digital Humanities. Wiley.
  14. Smullyan, R. (1978). Prentice-Hall.
  15. Stutterheim, J., Swierstra, W., and Swierstra, D. (2012). Forty hours of declarative programming: Teaching prolog at the junior college utrecht. In Morazán, M. and Achten, P., editors, Proc., Trends in Functional Programming in Education, pages 50-62, St. Andrews.
  16. SWI (2015). URL:
  17. Thaller, M. (1993). Kleio. a database system. In Halbgraue Reihe zur historischen Fachinformatik, volume B11. St. Katharinen.
  18. Triska, M. (2012). The finite domain constraint solver of SWI-Prolog. volume 7294 of LNCS, pages 307-316.
  19. Wielemaker, J. (2012). Swi prolog. Theory and Practice of Logic Programming, (12):67-96.

Paper Citation

in Harvard Style

Karczmarczuk J. (2016). Programming for the Humanities - Logic and Adaptable Languages . In Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-758-179-3, pages 298-305. DOI: 10.5220/0005791202980305

in Bibtex Style

author={Jerzy Karczmarczuk},
title={Programming for the Humanities - Logic and Adaptable Languages},
booktitle={Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU,},

in EndNote Style

JO - Proceedings of the 8th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - Programming for the Humanities - Logic and Adaptable Languages
SN - 978-989-758-179-3
AU - Karczmarczuk J.
PY - 2016
SP - 298
EP - 305
DO - 10.5220/0005791202980305