Answer set generating systems

• Smodels
• An Smodels GUI developed by Hiro Takahashi.
  
• DLV
• ASSAT
• Cmodels
• NoMoRe
  

Large applications developed using AnsProlog*

• The USA (United Space Alliance) advisor system

Higher-level language interpreters on top of AnsProlog*   

• Planning under incomplete knowledge (based on DLV) 
• SQL Front end for DLV
• Reasoning with preferences