<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#challenge-error-text{background-image:url("data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+");background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme: dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="360"></head><body><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt = {cvId: '3',cZone: 'sourceforge.net',cType: 'managed',cRay: '95d288b75257ab4c',cH: '5TDHfmhPczXgnUrzyOYFelaXnVlLToC8zZt9bGz0fLE-1752176438-1.2.1.1-rtRFqc8J5YD1iCxUskrypfywNGhxdkN6mTA_AxXZ6wPcEd4vrN0C1JYnbXbWoG7R',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_tk=e2D5fEwiUBa._a3ddzW2IDqz4cZbPdrgOeIssoIigaY-1752176438-1.0.1.1-v.nOkCc8ghbIvpQbzCWAbMh3FO_0qPsZwrP9MKGQJkc",cFPWv: 'b',cITimeS: '1752176438',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_f_tk=e2D5fEwiUBa._a3ddzW2IDqz4cZbPdrgOeIssoIigaY-1752176438-1.0.1.1-v.nOkCc8ghbIvpQbzCWAbMh3FO_0qPsZwrP9MKGQJkc",md: 'd4FfbtouRAaqrYUW2tsqeNYSyfyNLMt0o0m_26Gpbxw-1752176438-1.2.1.1-KdSwffhDGZU1W7etMzB9Dr3KpEF20wBk7pC6_afsPSVUcg5B_iDbAVjZxA5hodJURauPq6jAL0ebdehYbkySS9aQ7q16QhriT9AFnPEnj0UHLCMjl4tYvqHguCsKuT4WCu7c4PFOuMHwX1PNkaCHGieefJLxWC0BMfg_eqTZok55oJqDvsj.RJE2Yezj68B4pxCi.9cnNl_5ROwpCAUOp4ciwnHsl_dvvdxQP6ToPbupLYnX0WeKKbTZTrkglDfjhHqsWJ2YYsRgwr.jAlIg_bIk9QoBhSELOMy.qoMXcvfX_kcSY9cL66tJx.QA53.xoQf9wRbe8hX5J2ckB2h73u2hgN5Zhuc8S9cEkToaNRrWzohOsBJgvO7lRZRNYEgnDwxSHN6vhXjRjCmXJfCdf2r25bMJE3jFA5jCh6QTum4thVupEbb.Qs1P8fpVdu1K0uAxZbygl441OduskI6gc9XglscPqfIzuNi6e3.SvTFyaUzy2maO8qyDjfmB3JvnJW.GYDj9wxnrev84VaH.OXCAzJQj1MCyPvq_v61JAOhuLVVl_OUb7dHVV8ox5P0_FPnkfKI828_imd22Um8BCm6bDSSyhaekoBUpGT6DYusH1uaKNT26NAurIhgNWgyAxq9EFW32dU1Fs4qG2oOl7VOLkmwJZduk4XR2ybgleXtYT1G9Sl4JQ6arn0.8jVx2.I6aypVQWbIiNBBh_fNw_xTavJZb090SDUeTSbBwZkDvaJyIXk6.uMjQxL0SJKAJ_1OjLUXk3g15HG_lC0xdj6hoIzfamdxk05yJvo80RNJ.cjMAmopdM6O_G5qHAuh5vte2XtBXFd_WiC8dq4nVssrOewoAK4wfBVi.Kip5V9eW0B8zEhaWxyfqCkkMhzgp6KlPfcUi86_Mwl.7IwjSXnpzg1Ub6bSch5mTa1IbOHoMqIpjX._G68093sEfGcRPkAekf.S5nYl6rspFrD8bl_hjftWqUQDEg7a9cgqzxXg',mdrd: 'h6._xQ4rZtNy5TFXk2hBhk3_ezSKizUXhYMRf_7q0S4-1752176438-1.2.1.1-VT2DuS0eMoSyBMkA.ufw7Y4dbB4et1hPTD0kWA2ERfh4NpkM7cp3rmpd4CRAdsCtCrwhh96BVdtlKE69eltTehEpfUlj7fWvP8GSrwa3lXvQlmn788fX_t0kIuae95K1.Zu9vW_YWbBG8pHi4lyd7OPX4ABS1yvbXESQP_.ZM_hyKpFsiZo2X3urwXOvJY3fhN7pBlPb8IduHw.LN2NY8wAprwM3ZJFyWAd.2.kgmSYzhltvCsPZkt8uP2r.71sduL44SdUavjDPCdWJhDhsY.1WW0AkgZKN51sNf7Usv1cIcFqlNvpiOh_lI36ERpGjK23GyK3loxGUjHuSnk0lK2uG7GxW4b3BIJpZOFkSRRNd_W09qCeOmFwJ3lCFeLJCTGOemCkkj3QXpb1vVoNUMEl7Hr6oIvf4Kid9SoLXvln3F0AGZ3XS4GGet2vivUGueTY0XYc_ygjfC_5o2QCGDczkH929xF67bhgO0vh21BN5mM9fiO9615rIpGzeuKG2L61Hp21CDlf644TU8IJJa053m4aE7SVAa0k5z4W8FmU1ZLcBlpLJAkQsjqFJiBwgeE4KftA_2g3eQZlHVRMI5rf3uPchUBJo0.OdmAyj90hjxZaX.UWzx4fjoahL2yYpP3RGPBFY.x20TWZcRs8dP6jBJA_uB6CDUvwDGpZlCHEUU5BvZRHuoaBRQwN_RSCXE43mztbyQRTmsUs36LBAMHJ76C2RYOh3m6udzgBiVpyKmJABAxYuBchTxU669C511wCg5fwR0e1Kejjk3_oNbPwpBOYADWE0UjngkzsZp5LK0ID901XXlHXtE2onnaIZa3YxNjIbOnZh04ncLzrnr73Ay6mMsqQG5UtjflRU5a0X6D.5vb9ESeJdlEMUGlAJ3M1bMwsmpfd6CJn2iI3vsmGUWpon6exnRj9ODpBxNAI6mA0GU.EM_5qcnbIS.eo7lOeN1UFg0ShvfiBQzlQbte3y7yYNwVCmWff0shJ3YskqTcBgY1Fqg.2cCTh0m1U4_SM9YedB8gVDgHc4wohAdbYXR6Scx9SUZMAYkx_Yk8QFP.bIeB6PEIAj4o.x0xuqQk26UH9hN1M4QGY3HSwrkekb4WbE.zm5eNqRd4WNaca4nf0ZbfWS4B5Shn3mL3vCW.rdNrSfnUelWEANAYzDYbx4CehcTMFWAdBWNcLXSiQSlALpMWEf9_KwpB32CEkOj0bR1r4LhAXmPsUtdbUyO1DO3dHHM3PZcSmSIhPbRPmK0ml0JciARPP_w.Y6SzC4LSq1IT8VnTr6WzZTFhcqyrO_rVjgepvpStCWFhcsWEjDenH53i4ldPBy17f7NqGhG49W4P8tO0A_aeORtV05Z.vcgGdh0EwFztuIh5sS3NxktV48u4gEAP1ThmDO5NVYmcklZ4J3LNCz_Gr.WUzobD4a5hj4f0sLTYxUUYDxXVZuu5OKZtg3Jcm6lUQiEwYTUqoM4jEOmFFVJJha8a3IV4B16SL3iupYuDA0dDIJ2Zyx57KqUwNDjrCJMeEHRAlnNz1XFzZrane0Ov.V9boE8sXQrfln9u2iAKthpejS2_LALo.a0oyhw4dpxZ1MPPa4cr0nOgZudZ3yRNgtB_EuYtTOE9B7y8B_RtSCgZS6Mv_78gXIlFy.1cExyZHd1wC7Pqla2knH5iA9Gn3BgD8frx7FmTsuqwE5ujwzpkrCcISYxR85VEZdcK7RW7Px4zb1MriUWtt.Vii9ETuxTcD.vV0dj2QqTKa3NghErYfft_I7H6tqyQh6jcBgPnRYWlKFyh9s1v.9ejohg_7YM5hOY922ouvz6q0NkSv138JDOfS6oj0dWzvz9ZBcCWhs0i2iBNUAkTEOx89yR_ZV01AmWnLSiTVqEe2lFIl9tdE_wOq8SMkki2YftJtxowbHDe9QGEstRjOCw.jlAqEZ0HIfEVT1zxylqmrttWaPvUFtX_K_Xkj_q5.lfSXOYZ_20AbMJYirbp4mv90HVRDJFlasFAhVdM30mXQyCP_rstguJehOCCdgJDH8hZX7VwYnjcJQtGzqBrYkVZ.oymYdzRl.xDtcalaqsIGN103ABqmveTQ5dQSOuHgIz6gTBlbXSxbGx3B9YC6OZdGxRWsFb.EjrXRfbI8y81PlpOSHBYOqKRVfRyI5tt7xBUOIredUCrVONuI6m5QwY.wuagaoYyaQnK9_es_60RbLGbIgd28e6g6jeNAszWB_lO5OboKHcnHyeJJPkb5EL0CwA_OvWosBzmqK8kkDON_q2tOrFCqzzvv7mmWxvpsgEDoHUWZoXQPorXgVC4uNy8Ro4NmU3qNcYC..rwo8UXtZgI3F1_S58pp6AnvNjYLECFrI9Rgb.ihN0uNojjxZBj6W3.sZzre_ixKCC5A_JSIl61zOiJN8HC._I6oMxgCp1M5GglIyagL2fJjcbA9BwK_rv.nZx7ts7gkcCR0SGyOQA.GF8KhsYgg3BmLwsFmfB5hM9JnKRax9znNpYIQKDwTER5TFQhNQjXLT3T9e6pZEOzwwZn4oOqa9FW_xuP9P7BQQDwhlQ9jHCq8bV8KbPgIqE9IwxdgC5IcYRVeYXUxiuOs.JuAzCRScfIkLhu5sYZZzPit6_ZPVg5PLvjx1ATA54DV1juX0QQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d288b75257ab4c';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null,"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_rt_tk=e2D5fEwiUBa._a3ddzW2IDqz4cZbPdrgOeIssoIigaY-1752176438-1.0.1.1-v.nOkCc8ghbIvpQbzCWAbMh3FO_0qPsZwrP9MKGQJkc"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>