back to life, ProbLog-I
fix module transparent.
use meta-predicates.
fix initialization on undefined.