The paper describes the core techniques for solving problem of inductive logic programming using constraint satisfaction.