Introduction to Planning Methods Based on Logic