diff --git a/packages/ProbLog/problog_examples/graph.pl b/packages/ProbLog/problog_examples/graph.pl
index aedbc9f4c..8a1e84047 100644
--- a/packages/ProbLog/problog_examples/graph.pl
+++ b/packages/ProbLog/problog_examples/graph.pl
@@ -6,7 +6,7 @@
 % $Id: graph.pl 4875 2010-10-05 15:28:35Z theo $
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-:- use_module('../problog').
+:- use_module(library(problog)).
 
 %%%%
 % background knowledge
diff --git a/packages/ProbLog/problog_examples/graph_tabled.pl b/packages/ProbLog/problog_examples/graph_tabled.pl
index 10e2b3465..4656d2077 100644
--- a/packages/ProbLog/problog_examples/graph_tabled.pl
+++ b/packages/ProbLog/problog_examples/graph_tabled.pl
@@ -6,7 +6,7 @@
 % $Id: graph_tabled.pl 4875 2010-10-05 15:28:35Z theo $
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-:- use_module('../problog').
+:- use_module(library(problog)).
 
 % New trie method ensures Probibilistic Cycle Handling needed for tabling that handles loops
 :- set_problog_flag(use_db_trie, true).
diff --git a/packages/ProbLog/problog_examples/learn_graph.pl b/packages/ProbLog/problog_examples/learn_graph.pl
index ff75fe1b4..65ccb0b12 100644
--- a/packages/ProbLog/problog_examples/learn_graph.pl
+++ b/packages/ProbLog/problog_examples/learn_graph.pl
@@ -14,8 +14,8 @@
 % will run 20 iterations of learning with default settings
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-:- use_module('../problog').
-:- use_module('../problog_learning').
+:- use_module(library(problog)).
+:- use_module(library(problog_learning)).
 
 %%%%
 % background knowledge
diff --git a/packages/ProbLog/problog_examples/office.pl b/packages/ProbLog/problog_examples/office.pl
index cc3fdd08d..37faee83a 100644
--- a/packages/ProbLog/problog_examples/office.pl
+++ b/packages/ProbLog/problog_examples/office.pl
@@ -6,7 +6,7 @@
 % $Id: office.pl 4970 2010-10-21 08:47:36Z bernd $
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-:- use_module('../problog').
+:- use_module(library(problog)).
 
 (W,gaussian(2,1)) :: width(W).
 (L,gaussian(9,3)) :: length(L).
diff --git a/packages/ProbLog/problog_examples/viralmarketing.pl b/packages/ProbLog/problog_examples/viralmarketing.pl
index 1cdf3d2a7..f19ae39ee 100644
--- a/packages/ProbLog/problog_examples/viralmarketing.pl
+++ b/packages/ProbLog/problog_examples/viralmarketing.pl
@@ -8,7 +8,7 @@
 
 % The viral marketing example consists of a social network of friend relations. You have to decide which persons to market. Sending marketing has a cost of 2, but might cause people to buy your product, giving you a profit of 5. When someone buys the product, it becomes more likely that his friends also buy the product.
 
-:- use_module('../dtproblog').
+:- use_module(library(dtproblog)).
 
 % Decisions
 ? :: marketed(P) :- person(P).
diff --git a/packages/ProbLog/problog_examples/viralmarketing_tabled.pl b/packages/ProbLog/problog_examples/viralmarketing_tabled.pl
index a4bc1e687..db50589a6 100644
--- a/packages/ProbLog/problog_examples/viralmarketing_tabled.pl
+++ b/packages/ProbLog/problog_examples/viralmarketing_tabled.pl
@@ -8,7 +8,7 @@
 
 % The viral marketing example consists of a social network of friend relations. You have to decido which persons to market. Sending marketing has a cost of 2, but might cause people to buy your product, giving you a profit of 5. When someone buys the product, it becomes more likely that his friends also buy the product.
 
-:- use_module('../dtproblog').
+:- use_module(library(dtproblog)).
 
 % Decisions
 ? :: marketed(P) :- person(P).