Example
Run BFS with queue rows pinned in order.
highlighted = computed this step
Step 1 — BFS row
Compute the highlighted combinatorics value.
dequeue, queue, seen(A, (B, C), (A, B, C))
Step 2 — BFS row
Compute the highlighted combinatorics value.
dequeue, queue, seen(B, (C, D), (A, B, C, D))
Step 3 — BFS row
Compute the highlighted combinatorics value.
dequeue, queue, seen(C, (D, E), (A, B, C, D, E))
Step 4 — BFS row
Compute the highlighted combinatorics value.
dequeue, queue, seen(D, (E), (A, B, C, D, E))
Step 5 — BFS row
Compute the highlighted combinatorics value.
dequeue, queue, seen(E, (empty), (A, B, C, D, E))
combinatorics-search
Every row is intentionally ordered and pinned to the lesson specification.