[wgetch]

I second the recommendation to start with Lifschitz and move on to the Potassco book from there. To add: One does not need to know Prolog to get into ASP, the semantics are unique and more minimal. That said, I personally struggled with ASP before it clicked, it takes time to grasp the lingo and grok the semantics if you have never worked with something similar. Best to have a guide that introduces the concepts one at a time ("What do you mean, there's more than one type of negation?!")

[qorrect]

What problem did you solve with ASP ? I'd like to learn more on them , but I struggle with what problem to start with.

[weavermarquez]

The "Easy ASP" [0] tutorial from Potassco can walk you through some examples, if you'd like.

The playlist is aimed at a general scientific/business audience, the presenter suggests that a lot of natural and business systems can be described in this manner. The presenter also mentions how a Clingo program was used, without modification, to optimize radio frequency band allocation.

Here's a repository [1] of ASP programs in clingo. Under problem classes, I see mostly: game AIs, graph problems, various puzzles, so on.

[0] https://www.youtube.com/playlist?list=PL7DBaibuDD9O4I05DiQfi...

[1] https://asparagus.cs.uni-potsdam.de/