Demonstrating Multiple Prolog Programming Techniques through a Single Operation

N. Bassiliades, I. Sakellariou, P. Kefalas, “Demonstrating Multiple Prolog Programming Techniques through a Single Operation”, In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M.V., Kowalski, R., Rossi, F. (eds), Prolog: The Next 50 Years, Lecture Notes in Computer Science, vol. 13900, Springer, Cham, 2023.

Logic Programming techniques, Prolog Flexibility, Prolog Efficiency, Prolog Education

Without doubt Prolog, as the most prominent member of the logic programming (LP) approach, presents significant differences from the mainstream programming paradigms. However, demonstrating its flexibility to larger audiences can indeed be a challenging task, since the declarative style of LP lies outside the mainstream programming languages most are familiar with. In this paper, we demonstrate how alternative implementations of a single list operation can prove to be a rather helpful tool for demonstrating a plethora of Prolog programming aspects and techniques, and some issues associated with these, such as efficiency, readability and writability of code.