Basics of the ASP solver