lambda - Removing duplicates in list results with unneeded tail -



lambda - Removing duplicates in list results with unneeded tail -

i want remove duplicates given list .

consider next code :

% check if given element in given list member(element,[element|_]). member(element,[_|list]):-member(element, list). % append element if it's not in input list appending([],x,x). appending([h|t1],elem,[h|t2]):- appending(t1,elem,t2). appendhlp(listorg,res,addme):- not(member(addme,listorg)), appending(listorg,[addme],res). appendhlp(listorg,res,addme):- member(addme,listorg), res=listorg. % remove duplicates setify([h|t],set):-appendhlp(set,output,h), setify(t,output). setify([],_).

and when run code :

1 ?- setify([1,2,3,3,2],x).

the output :

x = [1, 2, 3|_g2725]

how can remove tail ?

thanks

i quite new prolog. solution came remove duplicate elements. hope helps.

% define negation of "member" notmember(x,l) :- not( member(x,l) ). % remove duplicates terminal case removedups( [], r, r). % case head element fellow member of tail. drop it. removedups( [h|t], r, ) :- member(h,t) , removedups( t, r, ). % case head element unique removedups([h|t], r, ) :- notmember(h,t), append(a,[h],n), removedups(t,r,n). % main predicate remove duplicates original order maintained. uniq(x,y) :- removedups(x,y,[]).

lambda prolog

Comments

Post a Comment

Popular posts from this blog

javascript - mongodb won't find my schema method in nested container -

javascript - mongodb won't find my schema method in nested container - i trying access method of schema stored within mixed container. here situation : have cases model can many different things, have schema each of these things stored in "casecontent" mixed property. var caseschema = mongoose.schema({ casecontent : {}, object : {type:string, default : "null"}, collision : {type : boolean, default : false} }); the casecontent property filled model of 1 of schemas, 1 exemple : var treeschema = new mongoose.schema({ applecount : {type : number, default : 3} }); treeschema.methods.dostuff = function (data) { console.log('hey, listen'); homecoming true; }; then, want utilize method of schema original container : caseschema.methods.dostuff = function (data) { if (this.casecontent.dostuff !== undefined) { this.casecontent.dostuff(); console.log('it worked'); } else { ...
Read more

Hibernate criteria by a list of natural ids -

Hibernate criteria by a list of natural ids - i trying create hibernate criteria using list of natural ids. saw illustration here http://docs.jboss.org/hibernate/core/3.5/reference/en-us/html/querycriteria.html#query-criteria-naturalid shows illustration querying single record: session.createcriteria(user.class) .add(restrictions.naturalid() .set("name", "gavin") .set("org", "hb")); is there improve way create criteria list of natural ids illustration below? junction junction = restrictions.disjunction() .add(restrictions.naturalid() .set("name", "gavin") .set("org", "hb")) .add(restrictions.naturalid() .set("name", "jdoe") .set("org", "rh")); session.createcriteria(user.class) .add(junction); thanks. in experience, no. reason due limitations of sql in implementations. when seek phrase in sql gets...
Read more

ios - Lagging ScrollView with UIWebview inside -

ios - Lagging ScrollView with UIWebview inside - i have uiwebview within uiscrollview lot of content. when content loaded uiwebview big, starts lag. does know how solve issue? maintain in mind lags when uiwebview's height becomes considerably big. thank in advance! if read documentation on uiwebview , states not embed uiwebview uitableview or uiscrollview . doing leads unexpected behaviour, , think experiencing first hand. sorry bearer of bad news. update - specific warning apple docs: the documentation addresses issue specifically. important: should not embed uiwebview or uitableview objects in uiscrollview objects. if so, unexpected behavior can result because touch events 2 objects can mixed , wrongly handled. apple reference on uiwebview . update 2: after doing few searches (search link, same posted in comments), came across this answer, may provide insight. monitors content offset in both uiscrollview , uiwebview via delegates, , cle...
Read more