Ĉi tiu noto de leciono klarigas la procedurojn de la reguloj miembro/2 kaj concatenar/3 difinitaj en Prolog por instruado. Tiucele, la rezulto de "trace" por ambaŭ reguloj estas montrita, same kiel la koncernaj proceduroj ...