<!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: '9651ec22c340b8f3',cH: 'qOC02uI.eul6toTaaCLzsOG2SnymprZeD1Blk8irBoM-1753512202-1.2.1.1-L8Zactl6W7C8Or6PPMAH.24m47KYsvjcae0W0prTEpVDbr0.AApDhqR3WKg52XoF',cUPMDTk:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_tk=hIzXrJZj_qevh9CJ4XTEFfLcWOkQZYgXVXunsxEE5nw-1753512202-1.0.1.1-TyCoLG829eaKGoXtkn4g.ZVRLj8dW0wIw1ACeBgCz6g",cFPWv: 'b',cITimeS: '1753512202',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_f_tk=hIzXrJZj_qevh9CJ4XTEFfLcWOkQZYgXVXunsxEE5nw-1753512202-1.0.1.1-TyCoLG829eaKGoXtkn4g.ZVRLj8dW0wIw1ACeBgCz6g",md: 'TsVsk8mH0mp4B.auiZXz05XTofgJDzyNTvqsKyJEiG0-1753512202-1.2.1.1-JEtdtWeWJjhLXsTVyKMkG_i.QJX1qYpwVcABVNn0md0bAiDbylYRoJyiZtpHXOk0lDv0VapyUrG7eeDmRqtoBH5fQxxdfaJ2m55k2PX0MDxXLoU6tpYso548H.WP9fK79wPptYWtJpvgasbekIb.2wMLbw3rYokhSPmDt1fO8F.RkNn7gjC4dqtb6SVQNUZZsNd_rQNT2Bmfl2aNmqSxsXW36dsqW1Re_4Qp377xmiFJYVkn4p4DhI1f7SALGmAbdrEgRvDASNe9Dl9zXEbn5m_zmqmbmiOHQvVE9rLxEs_fXeegLhRt3zPqldgeBISkZ7ehzDZcOrWIx62elu7cB._t2dTPom1bQtNWi.f_V9JyR5ekLJsk4T.U4dR7OYTnXJmSCHI.2VNoQa0mFVpF9zn8LcxFA8lRcyDjYTnXeexr7ztUfwOceagig7qSRGjOpMjzYF.r6m03s6_UMUlNmjod9_8u00njPDv1v3u.EkFBgTW6XQUBAJY_T.nZ8q3I2FqZPEFNnziYSVySjQgPKK65CXJZ1nbSQJqssRqPTbYmG9kd2g0xreayeQqqt577.jdl7DqSSsKlExVMoAlXjJa37D01fBLx.6VWY0nq8ObUftYatDC5dguwTCg8FGhbtsSpwmv_wwO46vgghHQ2I7GguEzZp2gj7JOF2kPW4u6jhWURZiNaKza.kXU4iXE.UuR_1nemvma5CNmV8_G8ZC2TYPIyHAjaGJfq1GzfxQ1tjn2EvAIhHsIeIX0XUCJ97tpskv27T0v0cWcRthRxKCFAu9.ZYukixls9I.c5ePEOMl_fo2hts5dfR5pRyp.13jb9LAyW_CTwV1Z3Lx2CZM8lk4LrQeE.bhvkZ5x68OTr_G9ZIL44.k92Bsrq3bxvM3NfOhklDU_oBiKDl6HVA5PCP_JKLQqixkLFJblE4ZJv3f91V.nRrVuvyBkZQB72KuSPBzqo2zapDczD.9wiEqMuzK9iBeHkpZ7J3wVGYV0',mdrd: 'fsS9fbL4kWJTTpKIcwmSAvdB7PlnVwf8yxHym15bOy4-1753512202-1.2.1.1-uwqBVlo614fO0I3G.P_EFjWNWLEtaRRzruLxH8REwWgvB6I6_Bg_VxDmWBxiI7BHeHnAdgNaZC4ToPOg_dOF1DDAjk5eyJhhuBtroOBgtebXjI9w2ihi9GzfrFQGQzPCb6dNiuJBAF.BdpT2a5rLqNwZrGVAT7YXyl2MylX.wuypgooC4OWOoAREbUekuzmpzOj1D4.BUtv_wh.1tOdUe2VYBDNuJm8ljk0Ildi_Ex60rmngkGK6XAsjWVGSm6Um8Xak0TCMALefZEjqKrVhIlKnUu0JUtmY_ljWD0IhiWs5KOqOEq_rhMbKKS0cjxME_3Z1PbVWwijUgihZ51PG3pYFNFLdoiMreofY_VGNJJQH6U5k3LcUA7r8K3e0ZiZ_VxBiG6B6OIDR9.qTOVd1xroar2NXPJ4o1lLqd35zC9eAIT22QTufVuWnljjLfDID4Yzo.ucPmmsA4VCnap7hATPX42p3ZEOlWXHDbpet.ybubiWb4N_y0Afr_Ki07Z2RZL2vSNDbeIsi65xeWyHFPBugaHIeSVxj76O.pR8F1iTr8CaVI8IW7OFzGXQuvW4dQvUhZWM4RUw2SDsUZXdDqw80pWeweSE4sLkWM91eaDBRSi6.bEBAmr9R16J086Tssj6MPIRgMCxVRAdB0UF7_ncUz9Co7DJUS_Y8iCLipHCoyk9haHPb2ztkKGNMyyfKC20CVo84I3vTuK_hRIoApqCVRRYX_T60fNDGYVX.sKn.Ct3mVLO4mSx6I8UCiYQ5.BAYy.xHNJjt0X1LWJYq9iv7EOuErz2YIhQSx85ffZ2Eqs.vINy1Z7.3gNT6B9vn9OE2GfrUlDFI7GJxgdUGnOKUrLu0vRanlTrtCFoUy772YJk07szs7o79aKVA9P0OXlBtqeoAlI7CSOiX4_r4QcrM5jQzOUANT.ywUfWhUBJKCm0FC17UZGFhO59.s0Ju6ycTCWP5N1rC1iTl4Zh2shlLHWMn03XVBQzu61aDI7ib58taUi_uSE2F0ye_6Smk7Y2UVxlwlcRe_VNqTgv5u9DqX3KQU1PzyJvpi7kCYO_6ERSgQ.BEeW49Me0mJUWkB9VoVOR7sUz7_5TK.4ByooNH6cHkkr0BYMkzRhFFmgWoG51uIYO9mjWntkMtb8_r3ngnwLxJ6wWDgExbEVyweaKiGgtjF_oN36fgWilMmzWoQ2RCq_rg341YkaOtWf1IW7v_ATKwqKNVWwBdreGxLlMI5rOc_pGNw7f27ggcrDrKY8c7OU_6OiKJvyX.LscKDxqB89ozBdR7gYVnc_9w4RPwMwEkKtpz8Zhs3Vp5mil9o40Pju0A2ZPKX3ORehI.zuaj9i74..w_mJjQS8xj00Izcc7n8WQEvADkrltpOP.aVRjg6vj0zILAJiMh4y5_OQCsQKaIGkX_7fnRhGAWrvDmOeaoZDt4V4xlRo4xcsdJapxfNUYsf6xZIvaQtVlcvEoUQSr.eRV9mqRSWAgIjaI4w5PILJOzjl5Gwi.rlDylvhc5T0Af3tmgPPjt8BbN79JcVSxKzO9phIv5LJbEOxR9pogVy3NmsKJoqFthXPmdpyGJCLIQtQtKLyaj89IZ1ta3pUUkietTdODm_DpJe_aflUkK1072I8N6L.xSnuTWnEsjgIEklPdSOAPUS02m.vPbeEb2FB.gW86jVNDT7gUW9XBM6oJ9znXz_7dbYw9Do6.rM4otD9WLut33JsvG3E1V0Ja74AX.IL_L6Dv2g12KG_m.walcKCrdChOZ1o2Wnr6rC6FfdFQsYMZ1NTqe0nlsv01pzFZm6h4hukiScEYjexW6I9L76I.y31AZZ3zRse5cHjqkTCvc9vpzyps.p.yk5VD6SkyYyYoxU_EpBM5GU3gVZTh8lfkiJePFMraxkKEYniT2dtaWkiQTb2blxpDseDm0b3Sl8oV9mBlfH9.svyRw5YhdlvqmZf6Fq61HZQ3tCeZh6AxxTdrBgb12QaP85EzpbcrMY8bUgazBm7dSPe7NnTMNHN4Epfl1bkUDr0ww.7rreUjePoOB3bgMiTIP9Jqo9u.DkUgdgxl7ORHdVrW95XxNdkqzToJrYql8j1jj.JQnz1Y2tMaDQJMq8lgHxdwbf9vA6LtkeJJkkKx04VJyYChzX5H35s_hqTu2R_qIaBp_oL.sf5m2t551KrtYI7Be.x6j8M9A_jfhQmVenF47_pG0AkkXiP0CFwFllKsLAnf12JpFUb8aWE_p8H8wEfu8oaG60YuPDvegUW7p2bQvRNSnboojnaryxqR6qGy8ak51jrHuBQR6QwY02OmUQTl.l8JVjMLJcs_DR4lpu1tEWru6IFPHTOnYYHlecfjIQvHKmRGdmsrxAP7rukeEAV4kpxfuuEMzJ6USSOF8TSWEr4pKs3_R7sP2mvMrUP8UQjG78scSWcEyuPMv4ItePgEuX_3zcIIRD43SevWErpioRQ7P6rbslohT5rHnD5ITpiECAvD4WgV.OagxkXCXQCFCb6_3XGWuc_BpGXiOYJkWPDMSpdYZK7zXs8JUAjTvhWVEuLFVHGeslCtoNWK0dfU6XdcUaboyBsid9shreUpRhvOhTJQ9g0yCt8UnssHftjC9lnAcqX6Oata4',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651ec22c340b8f3';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\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_rt_tk=hIzXrJZj_qevh9CJ4XTEFfLcWOkQZYgXVXunsxEE5nw-1753512202-1.0.1.1-TyCoLG829eaKGoXtkn4g.ZVRLj8dW0wIw1ACeBgCz6g"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>