عنوان الواجب "PURE LOGIC PROGRAMMING "LEGO construction نماذج من الأسئلة: predicate is verified if (a) both predicates are towers and (b) all colors of Construction1 are also in the Construction2. predicate verifies if the first argument (construction) is a tower and the second argument (Color) is a list with the colors of the tower. predicate checks whether Construction meets the conditions for a tower