In the case of logic programs containing variables, the solutions of conjoint sub-problems must be compatible.
У случају логичких програма који садрже променљиве, раствори обједињени под-проблеми морају бити компатибилни.