| Did you know ... | Search Documentation: |
 | Profile for user Stefan Kral |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Tags by Stefan Kral
| doc-needs-help | Sec. 4.27, randseq/3 |
Comments by Stefan Kral
| randseq/3 | *S* is a list of K unique random integers in the range 1..N. => *List* is a list of K unique random integers in the range 1..N. |
| Sec. 4.27 | `+IntExpr1 xor +IntExpr2` is marked [ISO] which suggests to me that `xor/2` can ... |
| call_with_inference_limit/3 | Concerning SWI-Prolog version 7.3.16: Is there a particular reason why `call_wit ... |
| Sec. 7 | typo in "7.2.1 Empahizing text" |
| Right now the URL of this HTML page is: http://eu.swi-prolog.org/pldoc/man?secti ... | |
| Sec. 12.4.4.2 | The info on PL_get_int64(term_t +t, int64_t *i) includes the following text whic ... |
Packages by Stefan Kral
| Pack
tot: 1
| Version
(#older)
| Downloads
tot: 101
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| scasp | 1.1.429 | 1014 | Goal directed ASP solver |
This list contains packages whose author name, e-mail or homepage url matches the profile information.