Did you know ... | Search Documentation: |
Profile for user Stefan Kral |
doc-needs-help | Sec. 4.27, randseq/3 |
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 ... |
Pack
tot: 1
| Version
(#older)
| Downloads
tot: 147
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
scasp | 1.1.431 | 1471 | Goal directed ASP solver |