Introduction to Prolog

This evening I borrowed R.P. Suri’s book Introduction to Prolog (Alpha Science International, 2007) from RMIT University’s library. There are shelves of books on C, C++, Java, Linux, Python, and Unix. There are five or six books on Prolog which was influential in the 1980s and early 1990s before being eclipsed by other computing languages. I reflected whilst looking at Prolog on unpublished research from 2006-07 in the Smart Internet Technology CRC on agile software development, design patterns, and object oriented code. I am not a programmer but the formalism of Prolog, design patterns, refactoring, and domain-driven development are useful constructs to capture information in a systematic way, and to decompose problems. I also find in going back to early 1990s books on Prolog, expert systems, and case based reasoning that there are insights about computing potential that differed from what arose in the 1995-2000 dotcom period and the later Web 2.0 era. Becoming proficient in Prolog also means I have to understand logic, reasoning, and inference. These areas prompt me to re-evaluate some past published articles and research.