In this section we analyze the main problems and solutions in the design and implementation of parallel logic programming systems exploiting a single form of parallelism.