<!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: '9651aed5f64c514c',cH: 'IA.nDaA5CM4R5yvIXMcZ02JZy3JUS.MSVeAjnL7n_D4-1753509691-1.2.1.1-JFohW_lsJYxcwNy3Gy7CTaHFRsI0LjpBnxdBFp0p4H8iTRf6URnsjmuPGuwS3nr.',cUPMDTk:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_tk=ureJVwMOZ5MRLZsjkRa.Smf8wJdlCRWN8WDm6EUbr58-1753509691-1.0.1.1-G2amsDxgcmHulIAolRGjGZkLgQJyHZflzuJdngb10fs",cFPWv: 'b',cITimeS: '1753509691',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_f_tk=ureJVwMOZ5MRLZsjkRa.Smf8wJdlCRWN8WDm6EUbr58-1753509691-1.0.1.1-G2amsDxgcmHulIAolRGjGZkLgQJyHZflzuJdngb10fs",md: 'ygY21vVo59aogtSGG4BpUuEPrDnluss77RSzpJdKKSk-1753509691-1.2.1.1-eo9JujL0OcF7iVwaiWqGMyKfOFXUatAQ_o8GZBhL7VYVQoViPih7tEU2dG1vVtUawBL24tBkAxriFTQEd.cegpw78DZFBMVguukW7DpdrgJaIGDiQW2TheKaRaXxtExeDL1IVv1u3UF5jJC3okb0CYK2DWoJ2ciyBCev_7jCGFtTBg50e4Jx2TrHtKx3_A0XGEKbmtKkZzeB.7VZ7ykdbZ3TZj3CNbkiU2aGClHPtryXzDzi.e50CMfmZMNByacxixqmTu4IvpPk_aGoKf0U6wrzGxSk2XmFR797sgIf1di43U1D_2ODGKkZzYcKDbk3_beZ2wiF1Fx80Vv8pFIr4tPiOoYqn7CoRPynj.S96nLgZevEyUW3nbm_M.Q_csnSwNlzgZhPjJStZ27BcJ3U3nzLjNNLswUCIufFpxQYTAzBE0a3x0HKeX1o9TQRXT2H8stOKQ7mSUL32fm7HBgYfsx3KVURLi3xD9yInB_gnBsdsXEUsyIsWgddhj18F8_AS.vi5d8kpEUDt_3149bxHG3MhrnkijPPtW37cWMCCl..shkJvNDT8D8VSLG_88gqVP8HniVxIbsjDkEWsCP5iDj9hRyNTho9YvDHJ7fXuxB4dEITP8BeRMRB5Bal6YWknI4KUNJSRacQ98Izx9LnOUGAz0sHbrUQBd72VtNKjRnslAKl9eJgSA9pB9juB2KRZrIP3Jtqggbn8yTLiNPcdP5aQFbUn0OTBUDF5Od.RABEeWJa4KqIGraVViPn8HX7htnvTtC2iw65i80ESupX7ywxdxrnGkd.4UtOctFuTE65q6w0JozaFfKxww8UVkwJhjP1tib1cqLnakdfpmojOpiucufloqv2VXLVTElaAWOFRQL0RmEUoGD3z6VRMg0Ccc0worlt5Y5evguvyAElz9me0bsofN_nsoWvESCNrrtIX9j2sOGmlaVTo1Mlll17bvHsDPKZKjS3b.iopzhjXfEpuMxITDflV0_EGHQCnXA',mdrd: 'WojOp5RLOGKqXHe4Z5VMsBs_wc1fgG9frzX8nFI4z4I-1753509691-1.2.1.1-AnEZv7UtlnpIbfzb7Wwt0VpI5deUVce5ZQn3QVfbduufqCb31f6kA6hWLTsPVB6G_BeQu45C.FdzkFPVFAcdFht.gneiMihsx0CRhoZbFQL8qaKz0FODmWQKtmmTvI293Vw.bx2i.es.p0p3bUpQ2NzqjTt_xTMfGr7yHy60Ts8Xag762TKPuShbk9hrOYmpDBoSzVO3FYrIt9SH2DQirioeHy.rPsv_cJN1iyDBK4wQqc3GIH39ncNJF8S9iJL.vqyYhG98ld1wXIUN5ET0Q5rTE0Ro94DPh1KseJ02yyspHODmkXVmWzW1aR0H3o0szdlfFQD3u4lSGimoRszQHIsL5O7Z7Y.PrWrPj4RjpW15pmyM35gz8tV6J7yl4ukMCiXpfGNp7sfcnAI4k0J7npiagVXbd9erDnF8kgpaoDIHTXZ5f3ZGZZ65LSIYVk3VV_z6kp1uUFwwwSfUyNMcfUi451PdThlYHNLLvpolwHdORJegCdhwv_5Cn.xFb0NxzysB2pVkwL.aCAs3AFNq3ETrydOukBdYlzGhb68o0G3LbTu6Rp88AuEAlTQowhYKaIpagj3_jHoG0sFT3_QF1apIioWS8AitdgUF_LJIChJ0WWB8parxGPoIecUtgNleOQc2Uw6MJytm9jaKD.h5lETxOjPUctI9Aj8btd1peOpLz0DC_sUD312UmsTrD3.Kzw4CPiFOA6DZfU464rnHjdkp2YpSZ.8KueqETMbkfkIogD1Z2mcSVngfknEycn1B3JymZxl0xGnf9QpzuqlX00KnbSHipQdQVuwCcQBqm2HoppxXjTK9qC.Hi0m_WNMgdx6HK2hRph1W1EKUi45ggLcHCS_mgJkR3hYY4RzZMkHNWN9_0U86dPkCah_zm79IF8kScoLTAN.XH5vw7dtujDLQrXgU5Ra.U9jpm91a.pJvRgopdwvrhhQyWqaRbWVv3_BlD7pSaNpaStGWHrqqnsT4TXjdwD3PcMISIyztkmwbnL2rDV5tcX_5seYrM4OLcRT4vJXiCLqdM2oQC5RHpBsRF.m8QxYSWdxRdOxog5fivNjKCnpJIGr5oKJHAH5_JxlpEw.NY7B.TPoqyy4eJGdRvoqCmNQlXT2VH9_R5XDbmKdYQ4WG.U4ds2El6lADrBK8mN7XpW5kmw9_IIjzD4y_EQf0aKGBUU866POdsrB3q777kuYGAvR.TG74Y5qYi90kaFjDdHWrQVNwjD11kF0Njr483omKQrum.3imKRu_UyWwq57ezHGzBJ2f_CjAtNtk21LZPhlq8CmVYsOa2gnLwJrzvhL.r5Im2IHEsmitTQst405A1z0pIYy7CHUHDVWINj69bSyI6Z0hROXva0ehTQnXBxp7Dc97p_GU5m19pSJEze22BYPoX4i3mqpIhH1gudq_OZjlsAaAz8FgULrq6pRildwj3xO9iIku7lnOi2amf399jCODnvdkW_4b1DO_Z3dY4r9zYk8.v_dmxl6KsWFUIZE_m2p.._Bc9aRYMajW03hAJaLfSm8tHKI09QwC.oot9E6N_jZFYys9e8OD2r8PFd1W0LmwIEpdJIGbMxuEh5hM315ZxITA.AaUigcYgjTqmX2OIoTO43xbPy9JvfChGITsYfRDqexcdJPIAlCpQVc5x6rIHKpTO43kE1CvgD5As6flC.Edd85zKLydMxLXNmrqEKXpmYjD6wyYEQOf_PR4BsQV.jArgTW78xD3EVgM9afrQdN8k881CjLJ4z1eO2YkrOIxplULRC34VlUnUVprCCew2kFXGgccqSPAw1yfgRJ.ScO.BHHzzm8VtbeYgh2zVG_ZbH_713CIfxF_FvkLYIV1WJlaNUTgyb_58XFypuK4EmXPz3CEMHUwsmyT4ElCsMH.m6l11ySnYaLTXGs1Zz9ynWXouDH0iAkpZieTwjBtVOns6VsfL6gRjQrrvrnJQfYxbqCdWpreBoWMNzvMjoZih5ul3ZC5ywbZqiJfEahWX7m6LysTxRdCm1sJSk.wgOUxNmdPWfthTl2Kf48O9qo4WI7ZTPAsvyFtRmx_WStu392xVrlatvH3KNKd2oxc9PUvFSuRbwsbKaSNgDJxgiFQksNsN6uXk4UVVzQt01MVIESR9j04YywdjEPaC.aL8VXKyx7EurReHIaAXB_pC1b7Rm5NgId55cd1PeIC.6XO9PAJGehp6pjeCZENvAgKYB1l5kYM5s_5MDmI3Jhr0HOAEFgQ6Fgc9uBRvHvMrYSTJIdMgcCT5WHmfo5YGQeBacegXqxBD7rILD2TfLgMKr7Hq65slgC89fXxF_0Lo_XbjcG_EjznjTowKeXheiawMG0_zwaeaymOLWKQuiepU3ewAOYdgG.KUtlkD2uiJOkAq2SqTO_hv36TUDI.jVKDcmk.hH22tW_GP6PClay7jtSBsjTkY7_5mKfQA7Q7krRXZ9ZyTBeyVShG.K.dFN2vHSNPFkD0OzMjwkLdfJNmqoe64nD8pZP7r.3s.2qc7MsIfKywpgrRPh_U5bXX5kcED4tDEJFFw7GDxULuiFIOemizg.gNNVExEh1J1WmuhwEfTLY9Ada.N.cDMcanUaNoY9izNKf00gsyaMv2wmd1Yi6oZVcpp..D',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651aed5f64c514c';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\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_rt_tk=ureJVwMOZ5MRLZsjkRa.Smf8wJdlCRWN8WDm6EUbr58-1753509691-1.0.1.1-G2amsDxgcmHulIAolRGjGZkLgQJyHZflzuJdngb10fs"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>