The basic problems of the logic programming. Relationship of the PROLOG-like languages and the resolution calculus. The minimal model of a logic program. The fixpoint problem. The treatment of the negative information. Special strategies.