Did you know ... | Search Documentation: |
![]() | Packs (add-ons) for SWI-Prolog |
Title: | Interval arithmetic for SWI-Prolog |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 0.1 |
SHA1 sum: | f2866f76268cb1d6e5c9482662f8d18062d3fb27 |
Author: | Matthias Gondan <Matthias.Gondan-Rochon@uibk.ac.at> |
Requires: | rologp |
rologpp |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
0.1 | d805001a780c0a6442b0c864ee0a64abe382f557 | 2 | https://github.com/mgondan/interval.git |
b1471f2428ce497ffaf57f265cb60441d6561a50 | 2 | https://github.com/mgondan/interval.git | |
157cdd4bc4da5c0174d0a3adf50831fefec82ccf | 1 | https://github.com/mgondan/interval.git | |
9f31186fd8abdaa6d8f061e4409faf766f6ac39a | 3 | https://github.com/mgondan/interval.git | |
e6edf1d4886df055a912aa721eb87c848a65e640 | 2 | https://github.com/mgondan/interval.git | |
722aaf76fcef5117c28e239466e78dbf66dbd1bc | 1 | https://github.com/mgondan/interval.git | |
eb3031f8713c83e96c3cfd9d3b8c081987fcc119 | 1 | https://github.com/mgondan/interval.git | |
6b5b0bf37a58935d52a03d22c139a193469ce339 | 1 | https://github.com/mgondan/interval.git | |
cca12100394a2819b6f564081c047aab34e51251 | 5 | https://github.com/mgondan/interval.git | |
ace098b29c8a57981ba8c13b8166c2bed8c2a4ff | 1 | https://github.com/mgondan/interval.git | |
a9a736094173d45940539b4564e33e4c432ebef8 | 1 | https://github.com/mgondan/interval.git | |
10b059f52a682a07559415f3811be6768fdcbce4 | 2 | https://github.com/mgondan/interval.git | |
26f98585d9a157aebf5ea9a2d672147ecfce108e | 2 | https://github.com/mgondan/interval.git | |
c2a2c49e0e3e2c0b6f2cbc763a51b4fefa09a2f8 | 1 | https://github.com/mgondan/interval.git | |
467b213e121001c9a91d5b1befacb2cc8dfdeb93 | 11 | https://github.com/mgondan/interval.git | |
3736dfece2275df332f813f586d50dce9f704b12 | 3 | https://github.com/mgondan/interval.git | |
b13ebd60aabd80382a9f234b322cf23865771eee | 1 | https://github.com/mgondan/interval.git | |
2ebea260520044025b036df03cdf782b82b6b15c | 1 | https://github.com/mgondan/interval.git | |
60f7dc85c7159674f5d315439f1c2847394dc1e9 | 1 | https://github.com/mgondan/interval.git | |
b288eb485cd1309f3b66e03b4e00bb1d8eedf4ad | 2 | https://github.com/mgondan/interval.git | |
14509f2c567c1f863079009896e9d5f14f882264 | 2 | https://github.com/mgondan/interval.git | |
db283b9fc3d0d29a00167459e038f27498de45df | 1 | https://github.com/mgondan/interval.git | |
04cef1aa5b4c1a6a413c94586c50ee1038d267f6 | 3 | https://github.com/mgondan/interval.git | |
8a07d9553a431c436f875e0d854deaca2aa1de4a | 13 | https://github.com/mgondan/interval.git | |
35d2ef3ff2887587787a201a0941dda9ab290d80 | 1 | https://github.com/mgondan/interval.git | |
de345eda64b2414a32a06231c58ad199001a03b4 | 2 | https://github.com/mgondan/interval.git | |
1c04f7276ab4a7483102be972e2626279f9b8253 | 10 | https://github.com/mgondan/interval.git | |
598f07cef3738cc97021e93f954d83f4391d723e | 14 | https://github.com/mgondan/interval.git | |
8d6c212b5c26b2fc1518a06113c8c3b64ccadd17 | 3 | https://github.com/mgondan/interval.git | |
00e560cbf58088806efd74afd4d07bfe975e4690 | 1 | https://github.com/mgondan/interval.git | |
a606c96eeb735e525a49056f053c790f6c23745e | 2 | https://github.com/mgondan/interval.git | |
3f5102fc878a90751598f15dd7e07e2c0731f9e7 | 5 | https://github.com/mgondan/interval.git | |
07caca5a405b609c21259efd8bd42ad0f357e0f5 | 3 | https://github.com/mgondan/interval.git | |
dd78dd188581e249381d457cf98b8667976f70ab | 3 | https://github.com/mgondan/interval.git | |
a1a6e1f5a99565f0ea09208788166803f7a1e12c | 4 | https://github.com/mgondan/interval.git | |
898c244c03535203551252f0eae94117307393a6 | 1 | https://github.com/mgondan/interval.git | |
6dfcf4b587a9e3f021779f9601f08e4f2081308a | 5 | https://github.com/mgondan/interval.git | |
2c46d261b57842b8361f0ff17467760946261afa | 3 | https://github.com/mgondan/interval.git | |
333c69f19ea6283c37db30d14908da55a7bd061c | 3 | https://github.com/mgondan/interval.git | |
3912637603c5b514c68532108ce44b05bba6b15a | 3 | https://github.com/mgondan/interval.git | |
f049e20e84c5ea12a74768f05ac6d5be6a1ca059 | 5 | https://github.com/mgondan/interval.git | |
0a1cba6143b97711ddd35060a03cba198eb10e90 | 2 | https://github.com/mgondan/interval.git | |
5084bd87556fea6e3c1e38c40cce8602221e0c97 | 2 | https://github.com/mgondan/interval.git | |
f2866f76268cb1d6e5c9482662f8d18062d3fb27 | 4 | https://github.com/mgondan/interval.git | |
69253fc1873147a2f01467dbe04ec67dd4410d1d | 3 | https://github.com/mgondan/interval.git | |
dc55e783b7df8d8359d3fca58484b9356f4ae9d6 | 3 | https://github.com/mgondan/interval.git | |
1dce8cfac0708fc6e18a0cba73c14a5172937944 | 4 | https://github.com/mgondan/interval.git | |
1ece11b8b0d3032a21b218e05380080010fbbe76 | 3 | https://github.com/mgondan/interval.git | |
acb6e2014b784a5c1a9a3d4e9fe8e46392fbcb75 | 2 | https://github.com/mgondan/interval.git | |
174daba70e06f7f7ba5f5180a2747207cc1daad4 | 1 | https://github.com/mgondan/interval.git | |
721dda2f66b4527e4fb58368afd9dff3da3a47e6 | 2 | https://github.com/mgondan/interval.git | |
0f83ec8149898431a986e2e74c2471f44cc65d06 | 4 | https://github.com/mgondan/interval.git | |
2910ffc22aa1b3c5724a1d23e7d53543f955b907 | 4 | https://github.com/mgondan/interval.git | |
a1d03c486f72b72d2d7eab2cab4dcb1a8e95e55d | 4 | https://github.com/mgondan/interval.git | |
c7cf9e399cba59a99f7c87cc8dcebd13376b83a1 | 3 | https://github.com/mgondan/interval.git | |
0487082ee08e2942b06aa7c791d656bbe37a16c2 | 4 | https://github.com/mgondan/interval.git | |
0f9f9d32824b41045a1e3d5ff9be9a6f4e88148d | 14 | https://github.com/mgondan/interval.git | |
a89d88318523e1058281358199c930746c1238ca | 3 | https://github.com/mgondan/interval.git | |
23ce4e6506227fa6c5eb1a0e312e6e75e2062272 | 4 | https://github.com/mgondan/interval.git | |
eb831d70473191291af9992bef06bc56bb2e5b84 | 2 | https://github.com/mgondan/interval.git | |
afccecbb1e04d2fa2c3b60b27a9d92cfb808d97f | 3 | https://github.com/mgondan/interval.git | |
d4240a34753887af60c7900f2abf10c67ae7db7c | 4 | https://github.com/mgondan/interval.git | |
d9dffe95b425d74b64b8512085794fb78cfa6204 | 6 | https://github.com/mgondan/interval.git | |
3393011ddf30a393283fb25cd60daed7f2e6bf95 | 5 | https://github.com/mgondan/interval.git | |
83bbde0b3c0869ad41fdcf089fee920a84e32c2e | 5 | https://github.com/mgondan/interval.git | |
434bc1cf6c856ab53ad87ea1c886d204802357a3 | 2 | https://github.com/mgondan/interval.git | |
2f6dd15a48ef1bb0ee4f12aea9562e88483af2b5 | 2 | https://github.com/mgondan/interval.git | |
05ad4a6e9adb4e2cf5c49526b1686d6173a04d6b | 2 | https://github.com/mgondan/interval.git | |
04a77446767e829ac83a183c72b6a117859ea92a | 2 | https://github.com/mgondan/interval.git | |
51eec9d31bf3cd98e674d54f6d8fe052b16a9fe7 | 2 | https://github.com/mgondan/interval.git | |
e54614bca417bd60afc648a972026d83afee3cfe | 2 | https://github.com/mgondan/interval.git | |
47de21825585ccab9555c096283bd7147717bed4 | 3 | https://github.com/mgondan/interval.git | |
2bc7a435b681bcaa3e46f036997add35c7d79491 | 3 | https://github.com/mgondan/interval.git | |
4352d1796a00ac35bc6adc75df3e94058222063c | 2 | https://github.com/mgondan/interval.git | |
eec044f92268f131736dd4b1d91750dd454cb1b2 | 2 | https://github.com/mgondan/interval.git | |
3979f6403121fb522e6d4bccb83a3f48ed343554 | 2 | https://github.com/mgondan/interval.git | |
9bed1aa29228e18a465336c9606f09a7f958c36e | 2 | https://github.com/mgondan/interval.git | |
11d2a287ab1e1ca766c812a2236a32a158d711b7 | 2 | https://github.com/mgondan/interval.git | |
3b7314bd43d6cdeceb49845f65423b4231c6780d | 6 | https://github.com/mgondan/interval.git | |
595191f5b725ef8df1b4a05781c3b36d3c888073 | 2 | https://github.com/mgondan/interval.git | |
6dd8344fb82bd68e7a7d2cd70190c271ce06aae5 | 3 | https://github.com/mgondan/interval.git | |
13177d190ba73e12a0864f8ff20e767afbba3d36 | 3 | https://github.com/mgondan/interval.git | |
0aca070d29465e1cff2c1e35b119ec26dfee1799 | 2 | https://github.com/mgondan/interval.git | |
e866ef10aab8a5758ec9375fab35f74f02e2169d | 6 | https://github.com/mgondan/interval.git | |
cd979578a3ec776bddc2d0ef3d25cb48f699595d | 7 | https://github.com/mgondan/interval.git | |
d88ef6c67d453e5a7fae2f72e8b2ec04c8cac146 | 6 | https://github.com/mgondan/interval.git | |
20a84c1e25f087f33ea02c03fb10275beb494ef2 | 3 | https://github.com/mgondan/interval.git | |
8e955c2e273d7ba51cfa8913afe24021dccf87a2 | 2 | https://github.com/mgondan/interval.git |
Interval arithmetic for SWI-Prolog
Installation
pack_install(interval).
Usage
use_module(library(interval)). interval((2...3 * 1...2) / -1...1, Res).
Include R-functions
pack_install(rologp). use_module(library(rint)). interval(pbinom(3, 10, 0.1...0.2), Res).
Pack contains 18 files holding a total of 57.1K bytes.