AccDiff_p2 2 - Example- accumulators :- partof(frame, P)....

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Example- accumulators :- partof(frame, P). Resolve with C0: :- partsacc(frame, [], P). Resolve with C1: :- basicpart(frame). Nothing to resolve with, backtrack to L1 Resolve with C2: :- assembly(frame, subparts), partsacclist(Subparts, [],P). Resolve with B0: :- partsacclist([rearframe, frontframe], [], P). Resolve with C4: :- partsacc(rearframe, [], Hp), partsacclist([frontframe], Hp, P). Resolve with C1 (note substitution of Hp/[rearframe|[]]): :- basicpart(rearframe), partsacclist([frontframe], [rearframe], P). Resolve with B2: :- partsacclist([frontframe], [rearframe], P). York University- CSE 3401- V. Movahedi 17 06_AccDiff L1:
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Example- accumulators (cont.) Resolve with C4: :- partsacc(frontframe, [rearframe], Hp1), partsacclist([], Hp1, P). Resolve with C1 (note substitution Hp1 / [frontframe|[rearframe]]: :- basicpart(frontframe), partsacclist([], [frontframe, rearframe], P). Nothing to resolve with, backtrack to L2
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/14/2012 for the course CSE 3401 taught by Professor Movahedi during the Fall '11 term at York University.

Page1 / 5

AccDiff_p2 2 - Example- accumulators :- partof(frame, P)....

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online