ליצור גרסה מורכבת יותר של המשפט הזה בניגוד ליישומים המקוריים של פרולוג, יש לו שלב איסוף נפרד, במקום להיות מפרש ישירות.
כמובן, גרסה מורכבת יותר של המשפט היא "בניגוד ליישומים המקוריים של פרולוג, יש לו שלב איסוף נפרד, במקום להיות מפורש ישירות, המאפשר מגוון רחב הרבה יותר של שגיאות להיות נתפס לפני הפעלת תוכנית".