Yes, but the raison d'être for Prolog is to do declarative/logic programming, which is fundamentally about programming by writing a clear, logical model of the

Yes, but the raison d'être for Prolog is to do declarative/logic programming, which is fundamentally about programming by writing a clear, logical model of the problem, that incidentally happens to be executable / queryable. "Declarative programming clears the mind." - Sterling & Shapiro, _The Art of Prolog_ Provided you don't abuse the cut operator, a Prolog program will consist of a series of rules which each have a logical meaning in isolation. Reasoning about Prolog code is so different from trying to unravel what's actually happening with several layers of OO polymorphic dispatch, it's not even funny. "Elegance is not optional." - Richard O'Keefe, _The Craft of Prolog_