From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id AC30H1NQ+2CQ3gAAgWs5BA (envelope-from ) for ; Sat, 24 Jul 2021 01:27:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id cOB1G1NQ+2BUcgAAbx9fmQ (envelope-from ) for ; Fri, 23 Jul 2021 23:27:15 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 3BC1F112C7 for ; Sat, 24 Jul 2021 01:27:15 +0200 (CEST) Received: from localhost ([::1]:37554 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m74ZW-0005lK-8D for larch@yhetil.org; Fri, 23 Jul 2021 19:27:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41902) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m74ZM-0005QV-EK for guix-patches@gnu.org; Fri, 23 Jul 2021 19:27:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33372) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1m74ZM-0005ru-6Q for guix-patches@gnu.org; Fri, 23 Jul 2021 19:27:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1m74ZM-0007lk-4O for guix-patches@gnu.org; Fri, 23 Jul 2021 19:27:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49207] [PATCH 5/6] gnu: Add python-pyke. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 23 Jul 2021 23:27:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 49207 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 49207@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 49207-submit@debbugs.gnu.org id=B49207.162708279129767 (code B ref 49207); Fri, 23 Jul 2021 23:27:04 +0000 Received: (at 49207) by debbugs.gnu.org; 23 Jul 2021 23:26:31 +0000 Received: from localhost ([127.0.0.1]:44910 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m74Yp-0007k2-Fq for submit@debbugs.gnu.org; Fri, 23 Jul 2021 19:26:31 -0400 Received: from mout02.posteo.de ([185.67.36.66]:37735) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1m74Yn-0007jZ-5E for 49207@debbugs.gnu.org; Fri, 23 Jul 2021 19:26:29 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 8C45D240101 for <49207@debbugs.gnu.org>; Sat, 24 Jul 2021 01:26:23 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1627082783; bh=qw9hxE/Fc0V19EPllTB6QUpXVbIvWKsc34UuLmiIX80=; h=From:To:Cc:Subject:Date:From; b=ObiRixxxNKzqQccGWigi50DCy0eAyYnzWhF6NvDxX7HZVQmQMALquRsilTS9lHmri ZUnNZFAah9LyF37HmEFU2mQp5huaBmFvVyn6W0VTtt+Jp25NcphykYIlfgxXWk4bbV 7+a1TbbBOpc2CJVqTnOrjm//XsNQnvGWCN5ynqPPJPpp1+/H5yxgHE6tzN2rF9Yr5C 86n4Gh3e2syNLv8CLnxQ+TmI0u5MKPH1OHe8KXUKjPSXTRhm7ZUGUXBrRFnpJX19dx vuP2WH9IN6IALqqdLcQlQSHHxaIoO7J0t+uGuux69Oro4yioGXg7dT84DC0jNQ/sbO fI4iEntwmWVCQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4GWlnV42m6z9rxL; Sat, 24 Jul 2021 01:26:22 +0200 (CEST) From: Vinicius Monego Date: Fri, 23 Jul 2021 23:25:28 +0000 Message-Id: <20210723232529.23745-6-monego@posteo.net> In-Reply-To: <20210723232529.23745-1-monego@posteo.net> References: <20210723232529.23745-1-monego@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1627082835; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=FdWjNfypfBTlgi2bTyYmjIMI6gGQIzZD1CLwZpWLmX0=; b=Em72PcBPHMlDRaQjWokHZ/7Jh/YAwOaEUaqRnM64W+YGzgZcClEILSA2W2uX4tXakm41zD aCmpct4dBnR/L9fZMmzyNOHT7xcfoo6j480ZTOTpNvswqiPiBubFcR200YNXt3rKpMf7Ny 8LMtM0N8FYd6ph8VxnTtB39hrJdeFdGS2vD5NDDuZMT2oQr4LvPeLhGDFA+M62cc7REtTY Kp+2Z3iG+Wd16NKlteQILU+TbCHmKqCLdXSgAJFmAZl+a8utO+LlbQzZe/tSIYrWTLyRMn Gv70eueIIO2Q4AeGG/YTwNK+sdM+BLy/c29yrlzqyPkqWeCLk8IbmRaaC4vhvA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1627082835; a=rsa-sha256; cv=none; b=EAFyOvHyfLUTI641rxWilvPam9UHCVk7oqli6D69uIDCX+rhFO+6rYxz9lxKiRCwM0wClF 7XpeJG1Nv9poVgdLXf8Lqj5J4Fw7VBfVLZxBVFq5SJeEiYmueAtFBqrIVsrp1NQ92hiNi6 NjBQlGWmE1aR+KAvWsjUb3fLKw/oz6PC+mDLc+T3m1xfrW4gJj4YrMgguLBQO+cjpq3YKN KyUY5OnvCcFlukaiIJfFkAxQ9X24TvpQpV2+9+bJ8FshHuhgT4pMBKAlhwUNYSQDPe7uIH hz9KXi5HZcMYGxmTQMm6eLzwx4r2G+Drs+z+AfBKKQYk2wXeg7933jfDtr6A7g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=ObiRixxx; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: 3.68 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=ObiRixxx; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 3BC1F112C7 X-Spam-Score: 3.68 X-Migadu-Scanner: scn0.migadu.com X-TUID: yjzykR5BbOja * gnu/packages/python-xyz.scm (python-pyke): New variable. --- gnu/packages/python-xyz.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 61b1b7d29c..360650332e 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -6009,6 +6009,39 @@ operators such as union, intersection, and difference.") search in Python.") (license license:lgpl3+))) +(define-public python-pyke + (package + (name "python-pyke") + (version "1.1.1") + (source + (origin + (method url-fetch) + (uri (pypi-uri "scitools-pyke" version)) + (sha256 + (base32 "0q7nxd0gw135922ck155w2nj2vf47k7cgzdqipxlyrgq6q3lkinl")))) + (build-system python-build-system) + ;; FIXME: two tests are failing with: + ;; "AttributeError: 'fc_tests' object has no attribute 'engine'.". + (arguments + `(#:tests? #f)) + (home-page "https://sourceforge.net/projects/pyke/") + (synopsis "Python Knowledge Engine") + (description "Pyke is a Python Knowledge Engine and automatic Python +program generator. Both forward-chaining and backward-chaining rules (which +may include Python code) are compiled into Python. It can also automatically +assemble Python programs out of Python functions which are attached to +backward-chaining rules. + +Features: + +@itemize +@item Automatic programming: generates Python programs. +@item Forward and backward chaining. +@item Multiple knowledge engines and rule bases. +@item Rule-based inheritance. +@end itemize") + (license license:expat))) + (define-public python-wurlitzer (package (name "python-wurlitzer") -- 2.30.2