In order to detect design patterns in a Java benchmark, one should do the following steps:

1. Get a benchmark (denote it by P) into the workspace. You can create/take your own benchmarks or check out a benchmark from our set at https://svn.iai.uni-bonn.de/repos/IAI_Software/dpd/benchmarks/trunk/SourceCode/java
2. Generate the factbase for P.
3. Load this factbase into Prolog. Go to the Prolog Console view of Eclipse and select a factbase in the drop down menu in the Prolog Console toolbar. The corresponding factbase is then loaded.
4. Do the steps 2,3,4 of the 'Detection Process' presented here.