Basics for ASP solver (but still erroneous)