Logic programming presents us with a wonderful paradigm within which to develop reasoning systems. This paradigm is very expressive, has well understood mathematical properties, and is an area of intense international research. However, the research has not yet been adopted by the practitioner community. Current implementations center around rule-based systems, and object-oriented systems. Thus, the practitioner community is missing out on very powerful reasoning tools. The semantics of logic programs is a very difficult, technical arena. The purpose of this paper is to disseminate this information in a very understandable format, in the hopes that technology transfer w.r.t. logic programming will begin to take place. Both, the synthesis and the simplicity of this presentation of the stable model languages is absent from the literature.