[bug#59799,0/2] Add scasp

Message ID	095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com
Headers	show Return-Path: <guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org> Subject: [bug#59799] [PATCH 0/2] Add scasp Resent-From: Liliana Marie Prikler <liliana.prikler@gmail.com> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 03 Dec 2022 09:53:02 +0000 Resent-Message-ID: <handler.59799.B.167006114027839@debbugs.gnu.org> Resent-Sender: help-debbugs@gnu.org To: 59799@debbugs.gnu.org From: Liliana Marie Prikler <liliana.prikler@gmail.com> Date: Sat, 3 Dec 2022 10:23:22 +0100 Content-Transfer-Encoding: 7bit Message-ID: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com> MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::643; envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x643.google.com X-Spam_score_int: 8 X-Spam_score: 0.8 X-Spam_bar: / X-Spam_report: (0.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=2.899, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action Precedence: list Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches
Series	Add scasp \| expand [bug#59799,0/2] Add scasp [bug#59799,1/2] gnu: swi-prolog: Update to 9.1.0. [bug#59799,2/2] gnu: Add scasp.

Message ID

095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com

Headers

Subject: [bug#59799] [PATCH 0/2] Add scasp
Resent-From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-CC: guix-patches@gnu.org
Resent-Date: Sat, 03 Dec 2022 09:53:02 +0000
Resent-Message-ID: <handler.59799.B.167006114027839@debbugs.gnu.org>
Resent-Sender: help-debbugs@gnu.org
To: 59799@debbugs.gnu.org
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
Date: Sat, 3 Dec 2022 10:23:22 +0100
Content-Transfer-Encoding: 7bit
Message-ID: <095fec576dec88a59197f5275c21721c28992cfe.camel@gmail.com>
MIME-Version: 1.0
Received-SPF: pass client-ip=2a00:1450:4864:20::643;
 envelope-from=liliana.prikler@gmail.com; helo=mail-ej1-x643.google.com
X-Spam_score_int: 8
X-Spam_score: 0.8
X-Spam_bar: /
X-Spam_report: (0.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1,
 DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 MALFORMED_FREEMAIL=2.899, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
X-BeenThere: guix-patches@gnu.org
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org
Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org
X-getmail-retrieved-from-mailbox: Patches

Series

Add scasp | expand

Message

Liliana Marie Prikler Dec. 3, 2022, 9:23 a.m. UTC

Hi Guix,

this series adds scasp (the SWI Prolog implementation anyway), a
prolog-based ASP interpreter/solver.

Cheers

Liliana Marie Prikler (2):
  gnu: swi-prolog: Update to 9.1.0.
  gnu: Add scasp.

 gnu/packages/maths.scm  | 37 +++++++++++++++++++++++++++++++++++++
 gnu/packages/prolog.scm |  4 ++--
 2 files changed, 39 insertions(+), 2 deletions(-)


base-commit: 9e9204958d3e0ecfe8fd024d8f06068b84f52ba1