In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation. Some extensions to the syntax of ASP are discussed. For a particular extension, namely logic programs with embedded implications, new results are given.