This includes program verification, there's some fascinating work about combining Prolog w/ Smalltalk to: * check whether a piece of source code matches a ce

This includes program verification, there's some fascinating work about combining Prolog w/ Smalltalk to: * check whether a piece of source code matches a certain pattern * find all pieces of source code that match a pattern * search for all occurrences of a given pattern that were used to program a piece of source code * detect violations of the usage of a pattern * enforce the consistent use of some pattern throughout a program * generate code that matches a certain pattern More about Logic Meta Programming here, http://soft.vub.ac.be/SOUL/ http://soft.vub.ac.be/SOUL/