Postdoc symposium - A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs