module-qualify incomplete goals in expand_goal/3

2021-12-12 10:58:42 -07:00
parent 708c3bc3ce
commit b056d40eba
4 changed files with 3 additions and 11 deletions
--- a/src/examples/least_time.pl
+++ b/src/examples/least_time.pl
@@ -20,12 +20,6 @@
 :- use_module(library(reif)).


-permutation([], []).
-permutation([X|Xs], Ys) :-
-    permutation(Xs, Yss),
-    select(X, Ys, Yss).
-
-
 valid_time([H1,H2,M1,M2], T) :-
    memberd_t(H1, [0,1,2], TH1),
    memberd_t(H2, [0,1,2,3,4,5,6,7,8,9], TH2),