<!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: '95d262f7d6dfe254',cH: 'xOJMtGbuCYiyV97CdvXHEg_7jPFAPF0mo8NWVMNOUnQ-1752174892-1.2.1.1-F9oCRT4z0sejXHqG6cGVB92DImisJ3DpCuKLWk8bh9ER7t_994TCoS7tLUnJXh0g',cUPMDTk:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_tk=V5.AnmtyY5fIcrdUCmK.Tsui8.NYi72s8gBtRwl9b5Y-1752174892-1.0.1.1-8yacD1KLTTDryw1MGIyet2cRBJX8UwK1RbdHmNTl7E8",cFPWv: 'b',cITimeS: '1752174892',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_f_tk=V5.AnmtyY5fIcrdUCmK.Tsui8.NYi72s8gBtRwl9b5Y-1752174892-1.0.1.1-8yacD1KLTTDryw1MGIyet2cRBJX8UwK1RbdHmNTl7E8",md: '8hO0QKCWYtJ3euYtS_qoeIUto0jA19JT0RSCXij2vvQ-1752174892-1.2.1.1-yTyqwn6R0YYBIai_Bqq0indrCv9C28pkkLRXRdtiDsFm40ra1HU3zvb9tRt5cEEbUuP7fID7T2nAbv_CttrU3mKmu6gGRCPIIwx9T4XbKGLggZMTyKlRKqoTAinWme_ELoX1d89G3oI_7KEoTKutpPKF2.HgWLmy4.hMK2HzsT77jOXBWpYJfLspQSMK2sJTWnUb5m13v9T01D0BgixZZE.Cp0A2CQbi6pqrmb9IVvnoLqBQZKLIe6fH1g8yCYXrzlsDV9xOfBuHOlkPsl3jmbtVf8QXaAzVM6pijtpwQKucRpARIqaGyp_8TovQfFKxYVZ7m8Zn_4GLt1UyRojvjQRAM.s4rpRj3tmu2H_BjmfGE6TaQTb4aWeUxuZ17aNcggP8Xx7DjktpBRaxZEGCJgs8nmsyOMC9ChxgtP6pdWz.4Y1lysho.XkdMO29FOLQrZ_NKssCw2IUdMnddA03l1eCW425CM6nwuxMhcFGdEdbA.LnSzUv.8dcG6sHAbYG7aJe9jb6Bq30JLPMOTSSjlWEr.BJxJdfVZdwmZ0T49AlxP5kZNNclM16w7vPbOKe.BanXK6.B2Y9CqjvIFWtadXlcD1aj1I20i3cTMLsM2CgbXYhGEIbuVXpHbRFKvqzSwFrTagpjEUIJz2g7REnCSjLPnJmG1xlAWySglmt3XGCKv_Sur4vHxIoOJEzmn9N0iBJuW6v7yhoqjKW_KusgXvsT2JixUJonKt_08AdxVRfb.ecx2urcX0SRzqk9nGRIfV9YzBEpgybOAuVdezI0ihKocriJPmrpCm2PaKFUpckrrp7hTZRwbRhNwXnjzRGY2xR5nD5PsSdKViA0RBF1CgUvaaQln_8LHxlt7mZWZ3V5Ws..Fv81lg_uHrlB_sB0x7GqFsjxDE7IdBgnzvqM_P2o1oD4iFYkitNiHc3iUjSYT6xbiK61pHHx2Qc0.XvpM8V_sL3YXxglEsVptPoAMQ2huvUWzOsDA788E_8oUE',mdrd: 'ZP5AB9t_NkQppUKskZEO7cooPdAqp8SqqzAt2ESMkJ0-1752174892-1.2.1.1-3gaEHj04t3dZrALRocCKWXXPHvci3dyu2YGAwbTd8NoLloLdtyXH4dI4K1aOMbNk6RoUN_fiO7N547HLmf5spvREVFkA6qDUD1HWu389wvC8VbFY9GExALoLSdjWRbZEsnxW6k_hEN9dS.rqjkspYxaFykY1qiXN.Pa2NV1J2RqGG04qMRMEhCFgxS_RoeEmHJpSI3rwMHFctBLiwTacNEx7lIyP4FaJqkLiaIGQ1Yhx6vOFY.hLKuTx1ARFH_Aw.DaxvjEYgJUAnPs.YPeJdemfRDaZLl7yfYjrcoogIZkZsJoexr3_vXQBy5ViSmCKAJBbCXzzLExqihFHNZCeLCGWAuMVkEBphRkAxKhfqxVF.HBqVpSKQA9N8sIf5gMr7AH.EcV0caOs0BS9GRG.QEgKQryiKedAE2vnqe6MlLf3ue.KVkIgkVO8L5R7VNKAIBwYnmBpuTASAW5X.vVOB4rdTZ3vvpVQ6i5iT4go7wgy_G7vVECDyQdHPz6_PtIfMszMstk1nJymgE0XtLotZZKz4zDae4hVm54mSJyIaYh.Mp8kKQ1FDSQIiaQ8sdlqFvNzWpqeiEGyYuT1pjGOSeuuMZvojDOtsu3PVJU8ngjQHWEERaqjsK45YJjMRrB.3jFfRRW.mJSzK8EkLINSseF8Or29QMaf7VxUzb1d3m.ySgpgF0aAU9oLmGJ464WmI16HpRcOMOilC2elgpGOERbpEoNiq2ibidsVJmmAMAZslLBYtszA6tKXHwbrgyFtTOLsBUEA.QAc2jEQqMy90GTq5JZdwLU8gb1huFPG7mbG0A07FNQX7hEEPVgnbSOe7vQmL0gGaUP77kx.1KWABcaSZBlEgzC4QsKbUIwHIcntHd74xi0F3O0PlqxS3bwE6GVoeoaHhjRO217NDrKJ4ruSEVolAYPxX1nAGqwlkWlrlPOP2xY8d7uZH9wQJEsjDcUL4ZwiVLDCO__zFkro0xaIItq4kUUEaUTcvBIqj0fVYfn7cPAtmm_DHR1SDOUHK.BpK6.IyNVwspb_960O5eqZ7idt2zWZgV1Zeytv.uwiukN787R.MnDyIcydDDSQAaH.g_qZIHBvl4IC2DE7nOmUVlD2tsRxE67HnkjMICd8y2o3sMJ0siuRx0N7RpedU0hRIvladWhEBbiaeS9dr4JcCv2KRk3hhQ5O2pTR1gHvqUaHLQ5vmZjj1bb86tW7A_L4K7NcfxC58fQ17G.EknEEioHH4jIFjFI879c5fdDjFtQgEbuovRKCUwEnn4FcGVIwilJjl5k2RJBQfwzidK.Udt0C72rfU3BCbsdAVod2JDT0EBC21X79B6zSqev3zg0M0.zVG1BLiUMx_AMUq6h7ddtmBC2NkXVpD0DFZ6tR7z9uj5fzz2Twyg0QAQiULATW1WUPvurTIid9UNIxujr3hEFdFD3qggUkwdtTU1d.a_qqaFdlA09Lkz1rFvfumLvlHsvWcj8.gYWJ22uw_ERv45ps3jz4AH5pYAE4fgwNVbI3XiH5zBdzZLLYIxI_oT1ZdnqiSdwU_8kjCoDwiEcx_MQSI3WN.MLb9_d_VpWdj_np9khADRqtJ7Z57vNL5Q2Mmu7PqhVgH9SC9vy7i3HcsB0wb.RIk6KnguwQqMiMkbb3ugM7GF5T4PjMxCSE32T91jvspWUnYupaSuQVfUfX50qKnWJz9SEcIO14kXnkJ.hx09FHXZz7KlAIfrPRJNShEqq9tS9cZyqQR0uwcZJkZlxRzXKWKxtSE6ELVmmM7SKQGsAPzz8F9_lU6Ap8Ic.upp71cJ79kMNDnm7SpcGRYb_ybAqHi2OuVRHyNYlpefRygS5NphrPo8uLgRrL72X6rVWk9PmGcOG3NtSka9Cc4St5X1jLglh9K3vDLBKaAgdwN5S8MY6UkRveXXXlOQJp407qhc9zZlEucFC8wokBJiOCGCFYs4XsqpqGDivdb6WwndUSiD1ROC6vyacCQKlz4dmV06eSF1kVpQhGeH8DgJSIj0H2YCED.VPjJGzvARITN2EYvA128_Z2FCpleYUsOxVF.yOM6mEPlcFozQRpiX1QABarITXS7CG6qFSYdH.nynQKM4fy7PQIRaUGted9ybVfAz4Z7_1DCtJPzGa0o87qz64PdeHuAisV19Ryt3ZouiyMenODwIpLwmbf6Y59K_p375DnxnBkYx0jCRCFJ91KpD5fQCS1M3Xk3DMORmDkAkrIJOVEGvywd6QuFW_gLjbd5eZ7m_E1nwyqWiXDevDp0B0ZRW6FurjZDbwS71h1z5DchWMPD6qz0wJETra9hB0GpvyTTv1s4C8DdvSaU19mjlBP7h70AxSOGbydC34tZoF2cdZRBbV3KVyB.MJKzkd6MRtF7eb2oq8PSVBi7jN9cJvpGg7fM8BD4qr2VVbuxtwb5xNKtBvdg3PCFrgQ2lWVtYx8azcD8YmLiAxXHhlwOke_K.68Bb6I28lvxGaMCMm6jJl7ZY5BHzzTRxUpWC4ko9m7lk1WtGA7fa5EG.SpUS3qfVsP8Z8efJTnJapQn5WoY_4oUZhEt18UGQ3HYej5kc26SIRXVRZYJxd3BEzDYgycT.Q0g0AVAomPNUtXf7tOeq_nvYyKNTYg',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d262f7d6dfe254';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\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_rt_tk=V5.AnmtyY5fIcrdUCmK.Tsui8.NYi72s8gBtRwl9b5Y-1752174892-1.0.1.1-8yacD1KLTTDryw1MGIyet2cRBJX8UwK1RbdHmNTl7E8"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>