Paket: libghc-swish-dev (0.10.9.0-2 och andra)

Länkar för libghc-swish-dev

Debianresurser:

Hämta källkodspaketet haskell-swish:

Ansvariga:

Externa resurser:

Hemsida [gitlab.com]

Liknande paket:

semantic web toolkit - libraries

Swish is a framework for performing deductions in RDF data using a variety of techniques. Swish is conceived as a toolkit for experimenting with RDF inference, and for implementing stand-alone RDF file processors (usable in similar style to CWM, but with a view to being extensible in declarative style through added Haskell function and data value declarations). It explores Haskell as "a scripting language for the Semantic Web".

Swish is a work-in-progress, and currently incorporates:

 * Turtle, Notation3 and NTriples input and output.
   The N3 support is incomplete (no handling of @forAll).
 * RDF graph isomorphism testing and merging.
 * Display of differences between RDF graphs.
 * Inference operations in forward chaining, backward chaining
   and proof-checking modes.
 * Simple Horn-style rule implementations,
   extendable through variable binding modifiers and filters.
 * Class restriction rule implementation,
   primarily for datatype inferences.
 * RDF formal semantics entailment rule implementation.
 * Complete, ready-to-run, command-line and script-driven programs.

This package contains the Swish libraries compiled for GHC.

Andra paket besläktade med libghc-swish-dev

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.27) [riscv64]

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

dep: libc6 (>= 2.29) [ej riscv64]
dep: libghc-base-dev-4.18.2.1-038db [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-b19b4 [mips64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-base-dev-4.18.2.1-f2473 [s390x]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-138bd [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-3eda8 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-69002 [ppc64el, riscv64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-7a228 [amd64, mips64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-a865b [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-containers-dev-0.6.7-e8181 [s390x]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-71f9f [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-8db36 [mips64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-8eb88 [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-98ebe [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-aca59 [ppc64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-cba38 [s390x]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-d5b6b [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-directory-dev-1.3.8.5-dd052 [riscv64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-16f57 [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-4a448 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-4ef81 [riscv64, s390x]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-a5a56 [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-c620f [mips64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-daa7f [ppc64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-filepath-dev-1.4.300.1-f6cd4 [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-hashable-dev-1.4.4.0-0fd68 [mips64el]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-1b435 [s390x]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-2c563 [ppc64el]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-3ee83 [arm64]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-409e6 [armel, armhf]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-45230 [i386]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-c0454 [riscv64]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-hashable-dev-1.4.4.0-fb202 [amd64]

virtuellt paket som tillhandahålls av libghc-hashable-dev
dep: libghc-intern-dev-0.9.5-1788c [riscv64]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-282f6 [mips64el]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-2fac6 [s390x]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-b35c7 [arm64]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-cb736 [ppc64el]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-e2df5 [amd64]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-eb58f [armel, armhf]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-intern-dev-0.9.5-f5b2a [i386]

virtuellt paket som tillhandahålls av libghc-intern-dev
dep: libghc-mtl-dev-2.3.1-831d0 [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-mtl-dev-2.3.1-c3eca [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-mtl-dev-2.3.1-f8119 [ej armel, armhf, i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-network-uri-dev-2.6.4.2-01d3a [armel, armhf]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-2a756 [amd64]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-5434b [i386]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-729e3 [riscv64]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-856c5 [arm64]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-901a0 [ppc64el]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-e388c [s390x]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-network-uri-dev-2.6.4.2-ea6af [mips64el]

virtuellt paket som tillhandahålls av libghc-network-uri-dev
dep: libghc-polyparse-dev-1.13-23a45 [amd64]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-4c738 [armel, armhf]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-4e1d0 [s390x]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-5b69b [ppc64el]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-6003d [riscv64]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-8c63f [mips64el]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-b36ef [i386]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-polyparse-dev-1.13-e1959 [arm64]

virtuellt paket som tillhandahålls av libghc-polyparse-dev
dep: libghc-text-dev-2.0.2-0adc3 [mips64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-41553 [s390x]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-5b954 [amd64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-62568 [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-974c0 [riscv64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-ca8a7 [ppc64el]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-da1a9 [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-text-dev-2.0.2-edcc7 [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-time-dev-1.12.2-17989 [i386]

virtuellt paket som tillhandahålls av ghc
dep: libghc-time-dev-1.12.2-2cc4e [ppc64el, riscv64, s390x]

virtuellt paket som tillhandahålls av ghc
dep: libghc-time-dev-1.12.2-a9ccc [arm64]

virtuellt paket som tillhandahålls av ghc
dep: libghc-time-dev-1.12.2-d0f76 [armel, armhf]

virtuellt paket som tillhandahålls av ghc
dep: libghc-time-dev-1.12.2-eb20f [amd64, mips64el]

virtuellt paket som tillhandahålls av ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

Hämta libghc-swish-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	0.10.9.0-2	1.330,0 kbyte	15.052,0 kbyte	[filförteckning]
arm64	0.10.9.0-2	1.446,8 kbyte	17.585,0 kbyte	[filförteckning]
armel	0.10.9.0-2+b1	1.881,8 kbyte	19.067,0 kbyte	[filförteckning]
armhf	0.10.9.0-2+b1	1.852,6 kbyte	18.844,0 kbyte	[filförteckning]
i386	0.10.9.0-2+b1	2.347,9 kbyte	20.197,0 kbyte	[filförteckning]
mips64el	0.10.9.0-2	2.132,5 kbyte	27.527,0 kbyte	[filförteckning]
ppc64el	0.10.9.0-2	1.960,3 kbyte	24.602,0 kbyte	[filförteckning]
riscv64	0.10.9.0-2	2.631,7 kbyte	30.982,0 kbyte	[filförteckning]
s390x	0.10.9.0-2	2.627,8 kbyte	32.414,0 kbyte	[filförteckning]