What’s different in Prolog that can’t be found in other languages? (blogs.sap.com)