Should we add a new section, something like Philosophy Implementation or Similarities between Philosophical Ideas and Programming Concepts? At least, we have that paper by Granville C. Henry and Michael Geersten, Whiteheadian Philosophy and Prolog Computer Programming, which is about similarity between Prolog and Whitehead's metaphysics.