Relationship and the transition from Logic to Logic Programming analyzed. With the use and development of computers in the early 1950s, it soon became apparent that the computer can be used, not only for arithmetic calculations, but also for symbolic calculations. Basic steps towards a general method based on logic, which achieved in 1965 by Robinson and later by Kowalski and Colmerauer who use direct logic as logic programming language. Each chapter includes solved and unsolved exercises provided to help readers assimilate the appropriate topic. It also can be used by those who utilize Logic Programming without having special knowledge of theoretical background logic, or by those simply interested in Logic and applications in Logic Programming.