UScholar Works
 
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "Alternate scheduling"
1 - 25 of 2
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Freire, JulianaBeyond depth-first strategies: improving tabled logic programs through alternative schedulingTabled evaluation ensures termination for programs with finite models by keeping track of which subgoals have been called. Given several variant subgoals in an evaluation, only the fi rst one encountered will use program-clause resolution; the rest will resolve with the answers generated by the f...Alternate scheduling; SLG-WAM; Tabled logic programs1998
2 Freire, JulianaBeyond depth-first: improving tabled logic programs through alternative scheduling strategiesTabled evaluations ensure termination of logic programs with fi nite models by keeping track of which subgoals have been called Given several variant subgoals in an evaluation, only the fi rst one encountered will use program clause resolution the rest uses answer resolution This use of answer r...Alternate scheduling; SLG-WAM; Tabled logic programs1996
1 - 25 of 2