Did you know ... Search Documentation:
Profile for user Stefan Kral

Tags by Stefan Kral

doc-needs-helpSec. 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/3Concerning SWI-Prolog version 7.3.16: Is there a particular reason why `call_wit ...
Sec. 7typo 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.2The 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: 146
(#latest)
Rating
(#votes/
#comments)
Title
scasp1.1.43014612
Goal directed ASP solver
This list contains packages whose author name, e-mail or homepage url matches the profile information.