diff --git a/packages/ProbLog/problog/gflags.yap b/packages/ProbLog/problog/gflags.yap
index 155e2b36c..bc7213577 100644
--- a/packages/ProbLog/problog/gflags.yap
+++ b/packages/ProbLog/problog/gflags.yap
@@ -245,8 +245,8 @@
                  flag_get/2,
                  flags_reset/0]).
 
-:- use_module(library(lists)).
-:- use_module(library(system)). % for file operations
+:- use_module(library(lists), [append/3, memberchk/2, reverse/2]).
+:- use_module(library(system), [delete_file/1, file_exists/1, file_property/2, make_directory/1]). % for file operations
 
 flag_define(Flag, Type, DefaultValue, Message):-
   flag_define(Flag, general, Type, DefaultValue, flags:true, Message).
diff --git a/packages/ProbLog/problog/hash_table.yap b/packages/ProbLog/problog/hash_table.yap
index 701abcd2d..1c927363c 100644
--- a/packages/ProbLog/problog/hash_table.yap
+++ b/packages/ProbLog/problog/hash_table.yap
@@ -276,7 +276,7 @@
                        hash_table_display/3,
                        problog_key_to_tuple/2]).
 
-:- use_module(library(lists)).
+:- use_module(library(lists), [member/2]).
 %
 % General use predicates
 %
diff --git a/packages/ProbLog/problog/intervals.yap b/packages/ProbLog/problog/intervals.yap
index 05dd2a8c1..bcab12b3a 100644
--- a/packages/ProbLog/problog/intervals.yap
+++ b/packages/ProbLog/problog/intervals.yap
@@ -212,7 +212,8 @@
 
 :- style_check(all).
 :- yap_flag(unknown,error).
-:- use_module(library(lists)).
+
+:- use_module(library(lists), [member/2, reverse/2, select/3]).
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %  intervals_merge(+Interval1,+Interval2,-ResultingInterval)
diff --git a/packages/ProbLog/problog/tabling.yap b/packages/ProbLog/problog/tabling.yap
index 6d34f717d..aaf4aca9e 100644
--- a/packages/ProbLog/problog/tabling.yap
+++ b/packages/ProbLog/problog/tabling.yap
@@ -233,7 +233,7 @@
                     problog_tabling_get_negated_from_id/2,
                     op(1150, fx, problog_table)]).
 
-:- use_module(library(lists)).  % not necessary?
+:- use_module(library(lists), [memberchk/2]).
 
 :- use_module(extlists, _, [open_end_memberchk/2,
                             open_end_add/3,
diff --git a/packages/ProbLog/problog/tptree.yap b/packages/ProbLog/problog/tptree.yap
index 22bc5e7ad..1c0fe555f 100644
--- a/packages/ProbLog/problog/tptree.yap
+++ b/packages/ProbLog/problog/tptree.yap
@@ -246,8 +246,8 @@
 
 % load library modules
 :- use_module(library(tries)).
-:- use_module(library(lists)).
-:- use_module(library(system)).
+:- use_module(library(lists), [append/3, member/2, memberchk/2]).
+:- use_module(library(system), [delete_file/1, shell/1]).
 :- use_module(library(ordsets), [ord_intersection/3, ord_union/3]).
 
 % load our own modules
diff --git a/packages/ProbLog/problog/variable_elimination.yap b/packages/ProbLog/problog/variable_elimination.yap
index 5132c9029..cc5c5f172 100644
--- a/packages/ProbLog/problog/variable_elimination.yap
+++ b/packages/ProbLog/problog/variable_elimination.yap
@@ -211,7 +211,7 @@
     variable_elimination_stats/3
 ]).
 
-:- use_module(library(lists)).
+:- use_module(library(lists), [append/3, delete/3, memberchk/2, reverse/2]).
 :- use_module(library(tries)).
 
 :- use_module('flags', _, [problog_define_flag/5]).