<!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: '965ac743034facb1',cH: 'm0hOaif2D_xGho8eKoQ0mD4ALqyfptwaXgrDA6I5Y7s-1753605064-1.2.1.1-SjtvwvMDlGr9dKM1fSj7e_GalCN6lgOSY3PJgnqPqD7O.njveUgjGi6A7Pd3_4PM',cUPMDTk:"\/p\/xsb\/src\/6903\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_tk=RrhznFcdPrkL5Tir_oV2_fBVYujoWP.gbkkgqQL3.fU-1753605064-1.0.1.1-wCN1sj4K9x.qQVaH6Y_QaccHGae.Y3i4LwKDrsCRibk",cFPWv: 'b',cITimeS: '1753605064',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/6903\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_f_tk=RrhznFcdPrkL5Tir_oV2_fBVYujoWP.gbkkgqQL3.fU-1753605064-1.0.1.1-wCN1sj4K9x.qQVaH6Y_QaccHGae.Y3i4LwKDrsCRibk",md: 'L0Rgbaf9ADQl97xdOuHAEi7az.IHh1rpspWYp7tFXdY-1753605064-1.2.1.1-8HQxjJSR0.20.4t_yGDkh7ttI173tRMyMRl6uHfAtgP_NuaDCqPtRKzgK1YnnomjsUBhY24VuFgub6ev.xO9s7eRniQ6CBB7cnGDo9dGF8F8Tr6WVUZa4Q6al4XaiCyh2OS5h_Yj9hxScXTkuNQjKMsk0l5FXinZ374EVCGj1xB57kaA37ypoX5G_r31sRzT4zBc.b0bs07bg6iRu8QaS8aUZeVBdEkgyWBiy28LrOoMgyCO6DQ9gWY9Zlg3GsebSPDakybZL9PLTP5enqg6Xv5hLA8Lbawzyb9IDYX8yKOLWTFL9g1Tb9LzFV9A08sYmb_fQcByHsWrnXO9sXnho1Ern623D6Kiy0N4gMYsmQhbyxqAUwNavMLuNLJfn6f2nrVgSTzF5QEj4ZQuWdc95OWZ77Wc_pK4GEabpjOiShqxhFnbTGEDqak3lC5U5tNSOA_OtRnKvtHvFOA0Sh3sEmRB9TbdN2.TYmzMLPLpuh.MtxczTfRA76SWridKPKxWwXoEwJsQQ1XuSRGt_3uwSr7WqQpBYacxvbipxgWRDkXfPtUSVH7G4FoHZqJX.9rW3vuC.Z1U37K.crTUqITVI42iAsC6IERuEh3mSv46DfdgwqW2xA47QFig3Nd5obSH7pmF1tUe2WBG0esCOnxDDS3I2ctt4PsmDyMYUnse1QpzEfKFt0Ln6ZkXvoSK9m0buO418MHDljvRdJ6y94eatyn9y6YohOFlWRF4CQRREQ3DOpxvjwPsIQUPC25K9mBJ80KOF1UjDQ9SJuwoUw2A.7uHLSQ5s2a7HyIfoX0XdUPE6FijVi3RbcoMsySY21h7mH.fnID.VIklefW_1szWRKxX7.GM8qwP3vGsAZ6HbCXk_ssHRST3ErmuDWKFX0pmvOZNw_cBl2HwFtAd3ntoZSXbbvWDqULhEJURWVZr9t2ncoWdVMFUn9CrDq91ctnMMpVtYLgbRSFhm.zg0b2tFytSva77vJB0X1QNUc2o2ao',mdrd: 'HGbUfzDbjswtbyHAg3xI.R1W6DblC_G5Iwo1LAv9lC0-1753605064-1.2.1.1-xt2DStlqNoqwdsHDE4lKd9.qUliexRg64xItm7NJK5o5VoomU.X04e5S6Xn2TVbVdRbEKG38o6KRI_VIvgJkvqU9AVdEnpAbOZ6946JVMpXWrBgJWvA7i2R3ReIoPFFpJQzVvJMnCg8Cqdikfw69j1FxkSaWif33wXMRNDare2hcyjQG9Q0djaddXPhy7_Xttm2kGbWx8lN1DgwgY3K_JdFBCQT_puOjA6Sran0mLZMP.6X9E7wUg8LJc1Klv7jL52vxUlBk6lsWe9qZYyUmo0yLTHrXOBIgRUBvIukXAZQRdVFmREz7rN3lHqJXtrbvvq9snXiljcreD1l9FL6fH2RQXbXwzhXezGGKwmM65uprhOZu5ZrflYj3ky..GJiY4yVoocL9mrM_gD0a6ppgbHm83yWx0bZmYQ9QCMl9ujO2S0JqxmzBYrbz_pJgY6IrAyMYsbq7lOceuFb60_d5HA.qFBd.viGA.2P27wkDgElMULGkVCP6xUM_GnLHEkFGFa3Vdq5F70QQyR35zGGsKbwliWTZPZzZGLCiM19Ddu0xhFGv5eBwIvYiGH5Rde8GSfkKOiWdGMQDk1m9GJSU.S5ZajFyxzhDjZ7tCrzSaTTTGUBr5OEpEdn8nQU1djELJTpNqNpkGKRW2HcnZmY0p_DNJYikSKCobE_7MJmRiipUvqHb1eFQgkFpMJdl2XIMYuacC6VzagRVkOuEluasAn4L5BiiFZ_QLxzzNovjNR2OQF82CRPkAnXv4QOddQvSI9xJmAnXg3mxGFmE1CcCYX.BN3PQT.Xfx7Ur2NuwOMr.J4SQq1DDILSQ_1WDwcBpw6_Ovs.sMgRrLK2kfGzLS3d46TrZJQ8qasJtTKG2Qo9YZ9Ycj_JMXbsLU4w_A9IIAB0Xqq77ZvBMpFcT07HB122bGtdAw9Qrg0RNMEg_ln.xcx2kolctF_kiKU3kRBngFv3g03ZOh6I_zgFFrAJUEPJpoUFNXVVm6aFipH5UcvL5nZNShhn9uYr_w9D7JweRpXhgIu47CWjKQLg2TIDEPJcmxvRph3U7iIRVGvvi_nFdmE7jPMYtgep843RbsevA7qBbpPpr5AEcwV6_Sw8faSEk75C8TRK2nUIc46bfsLlBMPqEVF.GZPJJHErT93toh73alw3QgynV9JPJxZ4_4XufnaoWopTxFZ.RuRAGuOOnUEz1QzRCs74ymfd0LeWej6uTdHsV1C.Nk5Q.TIPOQWrxTn7N0k5K9s8r._vi_ePDzxJF9kpKUcqurCK9IrTy4p9Z23Hb0kpOGpYsADKcU_Zkhzi2NcKjWeOoh1eOOqBh1MonCeSSKDLk0hF17l781iFLzZT.ZOiX99m3.PCpM_83T1BB2I09Pc9kqx5JWMD9HU10io5UqavuBkA1WHisbO9w9a.48dn98AMGKfj.KSzv1CFEF.OAl5NktY5YFjI168nFAuOZnn3KESJ9tJr0OWRTCcUE7fROXuEUIaQ2_23oQZqVKKQBfxwwAUyCVziHJWDhuFUN3ZZ794KzvLdi5HVwwhDbyR_D2YfgsrznmgxQoB0TlOHMRkHdr_lJSQimz9zcwfcDPpVyw2fSeKUqzr3b2sLiP9mF5ns9niWS.eInWDUdcpxnAptcDtZBzj9il0Nm.dPFkZYm6GYgJepDpZn7t9QcdFTM24lJffGedaSo3hSSoH2eP3I23qqZUXNN.70myHHyhDWd06whPCLNz3muQBmMXcGnQ08wecOBQ2pqgHSrYBNEE1NgNTaTCPvPIxikTg3Ye2brcfwiOVI8T92VG54QtpCmL8XqzZhUF1woIgnmg3llscrOryNLHnscLCGKQIxsV87Lin74OpRWT2oN86z3d4E0rt96euVv8JJL857eoO8lCqyq8CAFyPy1Gvjwtg.uXAnawV2K2aZNIaa6SHGY6GYCOcognxAlt3fPGcNseo4l9V8kz.015JTt77lATvgD0XSpE0MIwzzs2mka9jkTM0zoNaW9WPEWTYf_.X9ie71FkFLsutqdHbX04Pne.zsTh2ZroUJxPILuqjClh1hnzmQvx6J00B5Ych6kDqySnJW9pzVB3sOTDqGsXQ1SUFaWLKyLXhwSrMQkgtg.q323JZWCMPnkMO0JsyxAZ1i7afzn_n7G5BhXte9LhGy2YH3NjZmBB7X4R7XKtjJDoeCT5VFcWlDqVirsX5iBUvAhorqdAJfV2oiYYaawOXPQGqAnQIco1NKA2DXHVIvYH9q26eqjdo7ILoqJN4JWqTB7djw_mc8dWwlkeFwzCaj75M6LJuvETcEBEUT_iEYA6wilPdKDvu8ZXtmirBm2Cl4Ske1_0rLUxxOUUxV_yqEz6cF7HPApYYsyhYXYzyAMX.SQlG2H4NBxNJeGMOOG9.TrGRQI2O3__ptf4prVpQ3DMt__JhHBf.qiAL5vyXYlmCJndA8p1bkcOa_U9HnP89UoH1oxfOAhpU9IroD4pRBBAf.nSR.LOkD8xwWLfqppvXDsXNRu4RF0ottSfGg7A.pkukqiABxCCflZtupaUwUC27lkM78TzL2y220dK1x1GZGzbooGSPmpSkKAo5nk3MVpvvt0LHc1Egf7nvAJJhXa1FFm3MhvTaOUNh0k',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=965ac743034facb1';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\/6903\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_rt_tk=RrhznFcdPrkL5Tir_oV2_fBVYujoWP.gbkkgqQL3.fU-1753605064-1.0.1.1-wCN1sj4K9x.qQVaH6Y_QaccHGae.Y3i4LwKDrsCRibk"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>