From 82cfed10700c4cc0feac87e42ab665f61bd8ad0f Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Fri, 5 May 2023 14:22:41 +0000 Subject: automatic import of python-pydatalog --- .gitignore | 1 + python-pydatalog.spec | 191 ++++++++++++++++++++++++++++++++++++++++++++++++++ sources | 1 + 3 files changed, 193 insertions(+) create mode 100644 python-pydatalog.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore index e69de29..5362483 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/pyDatalog-0.17.4.tar.gz diff --git a/python-pydatalog.spec b/python-pydatalog.spec new file mode 100644 index 0000000..433cb7f --- /dev/null +++ b/python-pydatalog.spec @@ -0,0 +1,191 @@ +%global _empty_manifest_terminate_build 0 +Name: python-pyDatalog +Version: 0.17.4 +Release: 1 +Summary: A pure-python implementation of Datalog, a truly declarative language derived from Prolog. +License: GNU Library or Lesser General Public License (LGPL) +URL: https://sites.google.com/site/pydatalog/ +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/ac/81/177499a23ca0802f9cca7af4df7c2ea74e91e0526c9e411204a58e4f01f9/pyDatalog-0.17.4.tar.gz + + +%description + +## Warning + +This package is not maintained. Use at your own risk. +Consider using [IDP-Z3](https://www.idp-z3.be/) instead. + +## Description + +**pyDatalog** adds the logic programming paradigm to Python's toolbox, in a pythonic way. +You can now run logic queries on databases or Python objects, and use logic clauses to define python classes. +In particular, **pyDatalog** can be used as a query language: + +* it can perform multi-database queries (from memory datastore, 11 relational databases, and noSQL database with + appropriate connectors) +* it is more expressive than SQL, with a cleaner syntax; +* it facilitates re-use of SQL code snippet (e.g. for frequent joins or formula); + + +#### Datalog = SQL + recursivity + +Datalog is a truly declarative language derived from Prolog, with strong academic foundations. It complements Python +very well for: + +* managing complex sets of related information (e.g. in data integration or the semantic web). +* simulating intelligent behavior (e.g. in games), +* performing recursive algorithms (e.g. in network protocol, code and graph analysis, parsing) +* solving discrete constraint problems. + + +#### As simple as Excel + +Datalog excels at accelerated development: Datalog programs are often shorter than their Python equivalent, +and Datalog statements can be specified in any order, as simply as formula in a spreadsheet. + + +[More info](https://sites.google.com/site/pydatalog/home) + + + + + +%package -n python3-pyDatalog +Summary: A pure-python implementation of Datalog, a truly declarative language derived from Prolog. +Provides: python-pyDatalog +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +BuildRequires: python3-cffi +BuildRequires: gcc +BuildRequires: gdb +%description -n python3-pyDatalog + +## Warning + +This package is not maintained. Use at your own risk. +Consider using [IDP-Z3](https://www.idp-z3.be/) instead. + +## Description + +**pyDatalog** adds the logic programming paradigm to Python's toolbox, in a pythonic way. +You can now run logic queries on databases or Python objects, and use logic clauses to define python classes. +In particular, **pyDatalog** can be used as a query language: + +* it can perform multi-database queries (from memory datastore, 11 relational databases, and noSQL database with + appropriate connectors) +* it is more expressive than SQL, with a cleaner syntax; +* it facilitates re-use of SQL code snippet (e.g. for frequent joins or formula); + + +#### Datalog = SQL + recursivity + +Datalog is a truly declarative language derived from Prolog, with strong academic foundations. It complements Python +very well for: + +* managing complex sets of related information (e.g. in data integration or the semantic web). +* simulating intelligent behavior (e.g. in games), +* performing recursive algorithms (e.g. in network protocol, code and graph analysis, parsing) +* solving discrete constraint problems. + + +#### As simple as Excel + +Datalog excels at accelerated development: Datalog programs are often shorter than their Python equivalent, +and Datalog statements can be specified in any order, as simply as formula in a spreadsheet. + + +[More info](https://sites.google.com/site/pydatalog/home) + + + + + +%package help +Summary: Development documents and examples for pyDatalog +Provides: python3-pyDatalog-doc +%description help + +## Warning + +This package is not maintained. Use at your own risk. +Consider using [IDP-Z3](https://www.idp-z3.be/) instead. + +## Description + +**pyDatalog** adds the logic programming paradigm to Python's toolbox, in a pythonic way. +You can now run logic queries on databases or Python objects, and use logic clauses to define python classes. +In particular, **pyDatalog** can be used as a query language: + +* it can perform multi-database queries (from memory datastore, 11 relational databases, and noSQL database with + appropriate connectors) +* it is more expressive than SQL, with a cleaner syntax; +* it facilitates re-use of SQL code snippet (e.g. for frequent joins or formula); + + +#### Datalog = SQL + recursivity + +Datalog is a truly declarative language derived from Prolog, with strong academic foundations. It complements Python +very well for: + +* managing complex sets of related information (e.g. in data integration or the semantic web). +* simulating intelligent behavior (e.g. in games), +* performing recursive algorithms (e.g. in network protocol, code and graph analysis, parsing) +* solving discrete constraint problems. + + +#### As simple as Excel + +Datalog excels at accelerated development: Datalog programs are often shorter than their Python equivalent, +and Datalog statements can be specified in any order, as simply as formula in a spreadsheet. + + +[More info](https://sites.google.com/site/pydatalog/home) + + + + + +%prep +%autosetup -n pyDatalog-0.17.4 + +%build +%py3_build + +%install +%py3_install +install -d -m755 %{buildroot}/%{_pkgdocdir} +if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi +if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi +if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi +if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi +pushd %{buildroot} +if [ -d usr/lib ]; then + find usr/lib -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/lib64 ]; then + find usr/lib64 -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/bin ]; then + find usr/bin -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/sbin ]; then + find usr/sbin -type f -printf "/%h/%f\n" >> filelist.lst +fi +touch doclist.lst +if [ -d usr/share/man ]; then + find usr/share/man -type f -printf "/%h/%f.gz\n" >> doclist.lst +fi +popd +mv %{buildroot}/filelist.lst . +mv %{buildroot}/doclist.lst . + +%files -n python3-pyDatalog -f filelist.lst +%dir %{python3_sitearch}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Fri May 05 2023 Python_Bot - 0.17.4-1 +- Package Spec generated diff --git a/sources b/sources new file mode 100644 index 0000000..f2ab15e --- /dev/null +++ b/sources @@ -0,0 +1 @@ +e062943e24e7cf249275c8283181e36b pyDatalog-0.17.4.tar.gz -- cgit v1.2.3