From 785ddd56afea62439e4ca1b08fc3674976ca76b6 Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 12 Mar 2008 19:18:29 +0000 Subject: [PATCH] member was deterministic :( git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2142 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/init.yap | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pl/init.yap b/pl/init.yap index be418237e..e8b5a72e6 100644 --- a/pl/init.yap +++ b/pl/init.yap @@ -95,7 +95,7 @@ lists:memberchk(X,[_|L]) :- % Element occurs in a known Set. In return for this limited use, it % is more efficient when it is applicable. -lists:member(X,[X|_]) :- !. +lists:member(X,[X|_]). lists:member(X,[_|L]) :- lists:member(X,L). @@ -170,6 +170,8 @@ yap_hacks:cut_by(CP) :- '$$cut_by'(CP). :- dynamic generate_message_hook/3. +:- multifile swi:swi_predicate_table/4. + file_search_path(library, Dir) :- library_directory(Dir). file_search_path(swi, Home) :-