Prolog avoid generating same lists twice -

-

i have following code:

internal_generator(list):-   select(foo, list, mlist),   select(bar, mlist, m2list),   select(baz, m2list, _).  internal_generator2(list):-   select(sth1, list, mlist),   select(sth2, mlist, m2list),   select(sth3, m2list, _).  external_generator([list1, list2]):-   internal_generator(list1),   internal_generator2(list2).

prolog, after generating list1 internal_generator, starting generate list2 internal_generator2 , display results. however, when internal_generator2 throw results, prolog go internal_generator, other result foo,bar,baz , start generating possible values @ internal_generator2 again.

how can refactor code in way store results internal_generator2?

moreover, don't want use findall generate of possible results @ beginning of exernal_generator (my real example large, , global stack overflow).

so need zip. in general terms, need reentrable coroutines that. built-in prolog mechanism works in nested fashion.

so if re-write generator predicates produce results in linear, incremental fashion, instead of backtracking, you'd call each given number of times fill lists. such predicates have represent state somehow, , proceed using state produce new value , augmented state. you'd chain these calculations using updated state previous call input next call.


Comments

Post a Comment

Popular posts from this blog

Perl - how to grep a block of text from a file -

-
it can in xml or text format. how in general grep block of text in perl? <track type="ws"> <range> <rangestart>0</rangestart> <rangeend>146.912</rangeend> <locationindex>0</locationindex> <propertyindex>0</propertyindex> </range> </track> <track type="ps" id="1"> <range> <rangestart>0</rangestart> <rangeend>146.912</rangeend> <locationindex>1</locationindex> <propertyindex>1</propertyindex> </range> </track> i want grep type="ps" , till </range> . one solution open file, read line line , match block. open(fh, "file.txt"); foreach $line (<fh>) { if ($line =~ m/type="cc"(.*?)<\/range>/) { print $1; } } but there more optimal solution without reading file line l
Read more

delphi - How to remove all the grips on a coolbar if I have several coolbands? -

-
Image
if set mycoolbar.fixedorder true,only grip on first band hidden. well,if use delphi 7 create vcl forms application,then put coolbar on , create 3 coolbans hold other controls,only grip , top coolbands can hidden setting mycoolbar.fixedorder:=true. i've uploaded picture make things clear. you got fixedorder property wrong. fixed property not allow bands rearranged if set true . setting property of coolbar true keep user changing bands order @ runtime, user can still move , resize bands. can give advice can do, actual solution problem, well, have wait answer. my advice use 3 coolbars in row , setting "fixedorder" property true , bandborderstyle bsnone . way grip hidden on of them. about property, it's not bug of ide, actual preference of property.
Read more

javascript - Animating array of divs; only the final element is modified -

-
this baffling me @ moment. i'm experienced programmer looking throw bit of surprise fiancee on countdown page our wedding. desired effect simulated confetti falling behind main page. setup follows: i have array of divs in javascript. each div absolutely positioned on page. have interval set updates every 50 or milliseconds. on each tick, run loop on array of divs, , calculations , update positions. problem problem having, however, though can see divs created, stored array, , modified (in case, each has slight randomized rotation) during initialization phase, once tick update position starts, div stored in whatever last slot of array gets position updated. tried hard-coding each div index testing purposes, strictly last element update position. upon printing current "left" , "top" style values each div before , after calculations shows value has been changed, no visible change noticeable. here's basic code: javascript var container;
Read more