diff diag.pl @ 20:07d6c4c5654b iso-prolog

SICStus v4 (ISO prolog syntax)
author kono
date Thu, 30 Aug 2007 14:16:36 +0900
parents e1d3145cff7a
children 29cf617f49db
line wrap: on
line diff
--- a/diag.pl	Thu Aug 30 12:44:35 2007 +0900
+++ b/diag.pl	Thu Aug 30 14:16:36 2007 +0900
@@ -164,9 +164,6 @@
 rev([],X,X).
 rev([H|T],X,Y) :- rev(T,[H|X],Y).
 
-member(H,[H|_]).
-member(H,[_|T]):-member(H,T).
-
 not_member(_,[]):-!.
 not_member(H,[H|_]):-!,fail.
 not_member(H,[_|T]):-not_member(H,T).