string: The main idea behind logic programming is that the programmer must de ne only the logic component of an algorithm and leave the way how the solutions are found to the machine|it is also expressed by the equation coined by Kowalski [2]: A(lgorithm) = L(ogic) + C(ontrol) where the Control component is xed and an algorithm is in uenced only by the Logic component.