Fixed a threshold operation on BaseRegras.pl (Was considering only values" lesser than" instead of" lesser or equal")
Refactored BaseRegras.pl
Treated the case of collapsing only 1 vertex in Collapser.java
Added tuprolog operations on PrologInferece.java (However it is not working with the SWI prolog rules)