My master's thesis involved using prolog as a query language to analyze source code. The implementation of Prolog I used was written in smalltalk and allowed pu

My master's thesis involved using prolog as a query language to analyze source code. The implementation of Prolog I used was written in smalltalk and allowed putting smalltalk code right in a prolog query to, for example, performing heavy computation faster.