برنامه‌نویسی مجموعه جواب
مقایسه پیاده‌سازی‌ها

سامانه‌ای قدیمی، مثل Smodels برای یافتن جواب‌ها از پس‌گرد استفاده می‌کردند. وقتیکه نظریه و کاربرد حل‌کننده‌های SAT بولی تکامل یافتند، تعدادی از حل‌کننده‌های ASP روی حل‌کننده‌های SAT ساخته شدند، که شامل ASSAT و Cmodels بودند. این حل‌کننده‌ها فرمول ASP را به گزاره‌های SAT تبدیل می‌کردند، سپس حل‌کننده SAT اعمال می‌شد، و سپس جواب‌ها را به حالت ASP باز تبدیل می‌کردند. سامانه‌های جدیدتر، مثل Clasp، از یک دیدگاه ترکیبی استفاده می‌کند، که از الگوریتم‌های مغایرت‌گرای الهام‌گرفته از SAT استفاده می‌کرد، و در آن نیازی به تبدیل کامل به یک حالت بولی-منطقی نبود. این دیدگاه‌ها به ما امکان بهبود کارایی قابل توجهی را می‌دهد، که معمولاً با یک مرتبه بزرگی بهتر از الگوریتم‌های پس‌گرد قدیمی بود.
پروژه پوتسکو (Potassco) به صورت چتری برای بسیاری از سامانه‌های زیر عمل می‌کند، که شامل clasp، سامانه‌های زیرین (gringo)، سامانه‌های افزایشی (iclingo)، حل‌کننده‌های محدودیتی (clingcon)، زبان عملی برای کامپایلرهای ASP یا (coala)، پیاده‌سازی‌های MPI توزیع‌شده (claspar) و خیلی موارد دیگر است.
بیشتر این سامانه‌ها از متغیرها پشتیبانی می‌کنند، اما فقط به صورت غیرمستقیم، با تحمیل زمینه، با استفاده از یک سامانه زمینی مثل Lparse or gringo به عنوان یک front-end. نیاز به زمینه می‌تواند منجر به یک انفجار ترکیبیاتی از بندها شود؛ از این رو سامانه‌هایی که از زمینه‌های on-the-fly استفاده می‌کنند، می‌توانند یک مزیت داشته باشند.
پیاده‌سازی‌های پرسمان‌گرا از برنامه‌نویسی مجموعه جواب، مثل سامانه Galliwasp و s(ASP) و s(CASP) از در اصل زمینه جلوگیری می‌کنند، این کار از طریق ترکیبی از رزلوشن و کواینداکشن انجام می‌شود.
| Platform> Name | Platform> OS | Platform> Licence | Features> Variables | Features> Function symbols | Features> Explicit sets | Features> Explicit lists | Features> Disjunctive (choice rules) support | Mechanics>  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| ASPeRiX بایگانی‌شده  در ۸ نوامبر ۲۰۱۶ توسط Wayback Machine | Linux | GPL | آری |  |  |  | نه | on-the-fly grounding |
| ASSAT | Solaris | Freeware |  |  |  |  |  | SAT-solver based |
| Clasp Answer Set Solver | Linux, macOS, Windows | MIT License | Yes, in Clingo | آری | نه | نه | آری | incremental, SAT-solver inspired (nogood, conflict-driven) |
| Cmodels | Linux, Solaris | GPL | Requires grounding |  |  |  | آری | incremental, SAT-solver inspired (nogood, conflict-driven) |
| diff-SAT | Linux, macOS, Windows (Java Virtual Machine) | MIT License | Requires grounding |  |  |  | آری | SAT-solver inspired (nogood, conflict-driven). Supports solving probabilistic problems and answer set sampling |
| DLV | Linux, macOS, Windows | free for academic and non-commercial educational use, and for non-profit organizations | آری | آری | نه | نه | آری | not Lparse compatible |
| DLV-Complex | Linux, macOS, Windows | GPL |  | آری | آری | آری | آری | built on top of DLV — not Lparse compatible |
| GnT | Linux | GPL | Requires grounding |  |  |  | آری | built on top of smodels |
| Jekejeke بایگانی‌شده  در ۳ ژوئن ۲۰۲۱ توسط Wayback Machine | Linux, macOS, Windows (Java Virtual Machine) | Proprietary | آری | آری |  |  | آری | DPLL Variant via Safe Forward Chaining |
| nomore++ | Linux | GPL |  |  |  |  |  | combined literal+rule-based |
| Platypus | Linux, Solaris, Windows | GPL |  |  |  |  |  | distributed, multi-threaded nomore++, smodels |
| Pbmodels | Linux | ? |  |  |  |  |  | pseudo-boolean solver based |
| Smodels | Linux, macOS, Windows | GPL | Requires grounding | نه | نه | نه | نه |  |
| Smodels-cc | Linux | ? | Requires grounding |  |  |  |  | SAT-solver based; smodels w/conflict clauses |
| Sup | Linux | ? |  |  |  |  |  | SAT-solver based |