Intersection of Two Lists of Tuples in Prolog -


i trying find intersection of 2 lists in prolog using intersection() function. unfortunately, code giving undesirable results.

here have: 

resulta = [ ('10:00 - 11:15 am', 'tr'), ('6:00 pm - 8:50 pm', 't'), ('6:00 pm - 8:50 pm', 'r'), ('6:00 pm - 8:50 pm', 'm')].  resultb = [ ('6:00 pm - 8:50 pm', 'r'), ('3:00 pm - 3:50 pm', 'tr')].  intersection(resulta, resultb, ab).

the desired output ('6:00 pm - 8:50 pm', 'r') however, code returns resulta = ab, ab = [].

does have idea on how fix issue?

edit

resulta , resultb generated bagof() operations. actual code is: 

1 ?- bagof((time, days), course^teaches_at('dr. j. leidig', course, time, days), resulta). resulta = [ ('10:00 - 11:15 am', 'tr'), ('6:00 pm - 8:50 pm', 't'), ('6:00 pm - 8:50 pm', 'r'), ('6:00 pm - 8:50 pm', 'm')].  2 ?- bagof((time, days), course^teaches_at('dr. el-said', course, time, days), resultb). resultb = [ ('6:00 pm - 8:50 pm', 'r'), ('3:00 pm - 3:50 pm', 'tr')

sorry confusion.

the code in question queries prolog.

there 3 different queries: each query ends period. 3 queries independent, if share variables same names.

to want change periods commas:

resulta = [ ('10:00 - 11:15 am', 'tr'), ('6:00 pm - 8:50 pm', 't'), ('6:00 pm - 8:50 pm', 'r'), ('6:00 pm - 8:50 pm', 'm')], resultb = [ ('6:00 pm - 8:50 pm', 'r'), ('3:00 pm - 3:50 pm', 'tr')], intersection(resulta, resultb, ab).

update after question updated:

bagof((time, days), course^teaches_at('dr. j. leidig', course, time, days), resulta), bagof((time, days), course^teaches_at('dr. el-said', course, time, days), resultb), intersection(resulta, resultb, ab).

Comments

Post a Comment

Popular posts from this blog

php - SPIP: From Tag directly to an article -

i work spip , plugin called tagsphere works fine tags in spip. have tag groupe put 1 article tag. when click on tag in tagsphere send me before menu can see articles linked tag. want send me directly article without see tag menu before. here code model of thagsphere: <div id="tagsphere-#env{id_article}"> <ul> <boucle_mot(mots){id_groupe ?}> <li>[<a href="#url_mot">(#titre)</a>]</li> </boucle_mot> </ul> </div> anybody idea? if want skip tag page, have link directly article. <b_article> block prevents display tag if no article linked. <div id="tagsphere-#env{id_article}"> <ul> <boucle_mot(mots){id_groupe ?}> <b_article> <li> <a<boucle_article(articles){...
Read more

jquery - isAjaxRequest always return false -

i got error message 404,'model has not been saved' following code my action controller public function actionextend($id) { $model=$this->loadmodel($id); if(yii::app()->request->isajaxrequest) { $model->todate = date('y-m-d h:i:s a',(strtotime('next month',strtotime(date('y-01-d'))))); if($model->save()) { yii::app()->end(); } else { throw new chttpexception(404,'model has not been saved'); } } } the jquery call $("#buttonextend<?php echo $this->post_row;?>").click(function(e){ $.ajax({ type: "post", url: "<?php echo yii::app()->createurl('post/extend', array('id' => $data['id'])); ?>", }); }); why not ajax call ? thank help i found response, missed } , function ...
Read more

ruby on rails - In a controller spec, how to find a specific tag in the generated view? -

i know integration tests preferred need ran in controller test, i'm testing gem injecting html code in view, xhr can't run in feature spec (if can, please explain me how :) ) so rspec controller tests can assert selector present (with capybara) : response.body.should have_selector('#foobar') has_selector? call all method capybara find selector. what want last child of body , assert id in particular. afaik it's not possible have_selector. what : all('body:first-child').first.id.should == '#foobar' however, capybara dsl, defined (more or less): def all(*args) page.all(*args) end and page empty unless use visit it's integrations specs. how can use capybara all method inside rspec controller test ? i can't test right after googling seems trick def page capybara::node::simple.new(response.body) end source
Read more