diff --git a/packages/CLPBN/clpbn/horus_lifted.yap b/packages/CLPBN/clpbn/horus_lifted.yap
index 533d6fa92..846e15848 100644
--- a/packages/CLPBN/clpbn/horus_lifted.yap
+++ b/packages/CLPBN/clpbn/horus_lifted.yap
@@ -44,7 +44,7 @@ call_horus_lifted_solver(QueryVars, AllVars, Output) :-
 init_horus_lifted_solver(_, AllVars, _, state(Network, DistIds)) :-
 	get_parfactors(Parfactors),
 	get_observed_keys(AllVars, ObservedKeys),
-	% writeln(network:(parfactors=Parfactors, evidence=ObservedKeys)), nl,
+	%writeln(network:(parfactors=Parfactors, evidence=ObservedKeys)), nl,
 	cpp_create_lifted_network(Parfactors, ObservedKeys, Network),
 	maplist(get_dist_id, Parfactors, DistIds0),
 	sort(DistIds0, DistIds).
@@ -74,7 +74,7 @@ is_factor(pf(Id, Ks, Rs, Phi, Tuples)) :-
 	maplist(get_range, Ks, Rs),
 	Table \= avg,
 	gen_table(Table, Phi),
-	all_tuples(Constraints, Vs, Tuples). 
+	all_tuples(Constraints, Vs, Tuples).
 
 
 get_range(K, Range) :-
diff --git a/packages/CLPBN/pfl.yap b/packages/CLPBN/pfl.yap
index ba39dcf81..29403108b 100644
--- a/packages/CLPBN/pfl.yap
+++ b/packages/CLPBN/pfl.yap
@@ -150,16 +150,16 @@ process_arg(Sk, Id, _I) -->
 	},
 	[Sk].
 
-new_skolem(Sk,D) :-
+new_skolem(Sk, D) :-
 	copy_term(Sk, Sk1),
 	skolem(Sk1, D1),
-	functor(Sk1,N,A),
-	functor(Sk ,N,A),
+	functor(Sk1, N, A),
+	functor(Sk , N, A),
 	!,
 	( D1 = D -> true ; throw(pfl(permission_error(redefining_domain(Sk),D:D1)))).
-new_skolem(Sk,D) :-
-	functor(Sk ,N,A),
-	functor(NSk ,N,A),
+new_skolem(Sk, D) :-
+	functor(Sk, N, A),
+	functor(NSk, N, A),
 	interface_predicate(NSk),
 	assert(skolem(NSk, D)).