Článek popisuje základní techniky pro řešení problémů induktivního logického programování technikami splňování podmínek.