List member

Description

Checking for list membership

Source: The Art of Prolog

Download

Program source code: list_member.pl

Listing

/*
   member_check(X,Xs) :- X is a member of the list Xs.
*/
     member_check(X,[X|Xs]).
     member_check(X,[Y|Ys]) :- X \== Y, member_check(X,Ys).
 
%  Program 7.3    Checking for list membership

Comments

pl/prolog/pllib/list_member.txt · ostatnio zmienione: 2017/07/17 08:08 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0