prolog - Error 1, Backtrack Stack Full -


im trying write program in prolog determine if there way place place. these relations:

road(ny,florida). road(washington,florida). road(washington,texas). road(vegas,california).

i want write: there_is_way(x,y) determine if there way or not. example:

?- road(florida,ny). no ?-there_is_way(florida,ny). yes

this code:

there_is_way(x,y):- road(x,y);                         road(y,x);                         road(x,z),road(z,y),x\=y;                         road(x,z),road(y,z),x\=y;                         road(z,x),road(z,y),x\=y;                         road(z,x),road(y,z),x\=y. there_is_way(x,y):-                         road(z,y),there_is_way(x,z). there_is_way(x,y):-                         road(y,z),there_is_way(x,z).

but unfortunately "error 1, backtrack stack full".

someone?

thank you

first, need symmetric definition:

:- meta_predicate symm(2, ?,  ?).  symm(p_2, a, b) :-    call(p_2, a, b). symm(p_2, a, b) :-    call(p_2, b, a).

now, using closure0/3

there_is_way(a, b) :-    closure0(symm(road), a, b).

Comments

Post a Comment

Popular posts from this blog

javascript - Using jquery append to add option values into a select element not working -

i'm looking dynamically populate select element names of items stored array. for reason it's not working , i'm not sure why. html: <div class="col-md-4 col-md-offset-4"> <select class="select1"> </select> , <select class="select2"> </select> </div> note i'm using bootstrap layout. here's jquery i'm using try , populate ".select1" jquery: select: function() { $.each(state.greens, function(index, value) { $(".select1").append("<option value =' " + index + " '>" + state.greens[index].name + "</option>"); }); } note function 'select' stored within object called 'display'. state.greens name of array i'm trying access. so @ end of html page call display.select(); call function. no error messages showing in console. also, saw question: appending
Read more

Android soft keyboard reverts to default keyboard on orientation change -

i'm building android soft keyboard , can't seem fix bug - have arabic , qwerty keyboard , when rotate device on qwerty keyboard (or arabic shift), it's if program has "restarted" , becomes arabic keyboard without shift. the onsaveinstancestate(bundle savedinstancestate) not work because application not extend activity inputmethodservice . i put following in android manifest android:configchanges="keyboard|keyboardhidden|orientation" android:windowsoftinputmode="stateunchanged|adjustresize"> i tried using @override public void onconfigurationchanged(configuration newconfig) { super.onconfigurationchanged(newconfig); log.i(mydebug, "config changed " + currentkeyboard.equals(qwerty)); } however, currentkeyboard.equals(qwerty)) results false , made sure true before orientation change. any appreciated. i think applications fault. if application restarting on orientation change
Read more

jquery - javascript onscroll fade same class but with different div -

i new @ javascript , want learn new. there wrong code : why div fades @ same time. i want ask how fade different div s same class name.can me , explain me. thanks in advance. javascript: $(window).scroll(function(){ if ($( "div.fade" ).offset().top - $(window).scrolltop() <= 100){ $('.fade').addclass( "fade-in"); } else { $('.fade').removeclass("fade-in"); } }); here jsfiddle onscroll = function () { var scrolltop = $(this).scrolltop() ; $("div.fade").each(function(){ if(($(this).offset().top - scrolltop) <= 100){ $(this).toggleclass("fade-in"); } }) }
Read more