Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

enter image description hereCan i get an explanation for the for each loop, because it doesn't make much sense to me. Particularly, what do STANDARDIZE-APART() and the second last line do?

which is FOL_BC_ASK(KB,[p1...,pn|REST(goals)],COMPOSE(@',@)) U ans

share|improve this question
Is this from Norvig & Russell? –  Ganesh Oct 12 '12 at 18:48
@Ganesh yes it is –  Ghost Oct 13 '12 at 5:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.