A logic meta-programming foundation for example-driven pattern detection in object-oriented programs | IEEE Conference Publication | IEEE Xplore