<!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: '95e0b309305361dc',cH: 'OOIX7HwALM8XmA4A8zxsvUx3NdWPeubXlG2T1zpmp.Q-1752324972-1.2.1.1-X8LlFWIKeyJgKl9BfSI_i1sUpu9rkkkpxUOI2mm5frJVCLLK0NDou8dxbjvW8weO',cUPMDTk:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_tk=sUjtYNBfumBGrvXRiJP.qz5M9Bq_f6y8xVpaWbHtFy8-1752324972-1.0.1.1-4P8nHXlvpp25xalzAKQ0TCo_wl0A3xkcaucXZjSmFSY",cFPWv: 'g',cITimeS: '1752324972',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_f_tk=sUjtYNBfumBGrvXRiJP.qz5M9Bq_f6y8xVpaWbHtFy8-1752324972-1.0.1.1-4P8nHXlvpp25xalzAKQ0TCo_wl0A3xkcaucXZjSmFSY",md: 's5EESerxqbS1X7hYmYBDUvnBRClXGiudG3j7sJ90qS0-1752324972-1.2.1.1-lS0Q2XR46L60c.22SJ.8PzQQUq52HgTl4.3DQLLDtvCIHFL6E5kVQOxQVWv_.K2kK2uK5yOYGFS5v2rQesD5n2UFOmI_..8IrxWZNwo0wW1RjTkCjlNYYMZTfeVKKouKAIlnUICop0Ny6B9GIdo0HUUQAHptMPhFC0GpLjRu7lY6pnWZPJ87utjTa.XYEbf3UA2v_LzKPgIEqZCQoHjIel_NDa8L28_GUvtvB.X1Cm8Hm9ZhR8.Wug3nxqzWzi_esH8q4VHikky4We1g08J.OVClITyzSPJupAtZHMHKNoY4J0oAtRkPe3g8ifYrbIzzLquMBblel6ETzm0TvY.Cl7FoMDYg2luZYBSr2PpLORJS49kl_YJvuDhL.ftbVuXztRVnH1QoUyYT51pZ70hSwEKL4..pPwWpc11.U_0T.AQU2sJMGg1n8wmMLGqFn180INWMEPGCti42AkYiztNUVo2dM1ViepQ78JPmaqqlb7i5a31UMM02G1Gq63EpE4ei9kPq0k9TX1tMtUHDS0c9MyR7IszabdYNFDv3OHHxCqaWBSOtfFGk9QpxSQHqKeGiS1.gJteQn7sGkTK.qdO7HDQjwhyhQuWhZ0cGIg_2qH1kcog_ptU6SlipvWYIcmAow2U7A0XjWSUl011h2wSGb0wD2Ez4HTLdamZCHow.EUV.WLsbsQROGV8PmEGHL9Cpj8a9iISwUS_BsVBzfkUeDg.brpxOrzkHNdFVTZVLwb7wRPPq2kFts9Flp8LeWIXxpL21BT0MDOwLrHxeIlStL_qfzbAEuBwBMnQXhe6GiWQA4bukm4r2pI4w9x53CArQVIt2CyaKMwpxPCsvhBOQgmp24CGlRZXjMOHX8Z5D1RFUAg5fV.GyuREPuBsqEengOYO9oWT0477PP1fKSuK8xDodgnPdeKXIpCBphex_jTjPANm37JQP2DdfmuFJ61DoxQJW8M3B_l7UxBO4oSwy0KhflSYlidBLKDgOCYupPF8',mdrd: 'IA4kEDXDd68Z_4dB0z3Tjx9MocDVksMyZooLtcWCAe8-1752324972-1.2.1.1-y3Ysln5tE7xnUxvEuPZnSt0BxZSJz5Kr_KjTvCU7YVmZwt28j3NLnDQ5.zez3yYHiJrwH2d5iQEzwU0U1992Ph6pQsdeg9oVIRra9cfhIY4HrqbPe5EawOtNl0pL6CQdG7IyQxN4FvcOhEG3URm.lpifdKVhP9ivYAjgfJBWy4QG2Blobr27Fkiw5s9Lh5J4U5WZG_dDRQ59oYKR5BFiHZLgyusLq9STE.R.FFmSB8b4OdR95VBtHq1QBD4OCJRcgPHDdp3vdjqpafFMsriOsZAbXBQL0BnGzIqMUYeZCnxZC2T.GYeswSBLJ7x5bNv8p.jbVgmFyE_govQLEOlmNzv1MA2wx6cm3aNsKXSPxz50POEospfJMku3XiE952KUhZMdRkKDwEms8mft1TUlP9zP9lfTp0Dob8_OYAostTjo_Q84LafZHbljs.wcocneMSZqv4ciwzIYYEg0UwW2sc.zvjbxaeJjT4GaLmmKgxbFDu0OgCo7_RkLFkEwywCAtaX.SXZvlxlMusLiJXKXesz4Ai2oModls1lhOmRJH65fL87y06dv_R5fZ4amZYhhTgT02V_beelOskEk.8tnm77S4K1VtlSsQzp9uFK7RRsb_WBFU_YkOt_J0IxIATFgaLgaEiNVrvxGQ0TMyyY1VCqtp5nRSnI3qganx4sHguNh8Dk2UMdNmlk3qiHIVAGv6XZAPDq2393CuUj.9Hh6WWKp8ysawXVHuoUXpYStlmplLkoy3Hg569E8otdCZDn7E8uEEB.C4ghxcmzaFCaaSiKx7yBMIpYBGjJONWK.dF5Xa3.NxQCzNcjX0aRmEs7EZPMOS814JlzXKBhAW5KJcNUYSGAnHr6XiCifl250sW204ZKsU4makZ7FyYTS2qvlPZUR2qc9h3nLu90T40hN2ZZIhM1qHlvG.X0oYJdCxReZovGxJSUH2xM_RcCeqsZ84S6ylDY1xlYxIMtCeMftjlN_qU73DD2K.YeFj8BuvBuLuMsBV7hdx87q1_9fNbIMVEItZu2t13JkahV1r6Vrg9GchN.FETiT2BjCyjbRLyzCn31Ijv7bHA7ClLpsKyQBLHStTFF48UonxBzuf6brVQCKadQDJrhOkpMQEp.47G_KYn6IH6YI0smt9G.L9xsnXilFaIYNBQUI9sjPTgMNHOV56gbAeCd.ZfOVK78mAYj7e9Tk7EpqbOd2beVD2U_2xPES5Wm25IsN_JZS6SRXsSDYOlMaoncFLk_2cVao41eraOP5mDNPrFyJrzxXRCKEuArCyDqeUdQWD5TzZliaO0U5TEmNNsa0Amd6VRW116Dq3qHl2bF26y.OiXZgBxZNOUSR9O4OWKqL8c_7SpNKON658SY3CMJ7UnE1TrJ3pl_2cdPv_vTgydKOUv363NzwE1h0mWQj2pm7iZMP6z2jqe08cDGsvPy5VV2Iwe_wSl1qlM8Yhb9tD8zr4u4W5X19W0ONrSd869h8XyZ9UJ3cFIuRG3B8hkRRV2PIuh3eFRUEkRjpGap3oe.EYNeOgGJlfypzc8qkcdiwEeyCDtdAjwxuO26HL0MwbQCQIbtE9d5o5a1EecsjSt8en.pwsKb5S8WnO9_GghKPUNwJ4a3ZEH9n8sD0kfVpLzpNP6IwQFJPJLR3HijI0A9jU1bDyL1URgahe6ByoJPSiWpG0JyHF5iYqkCyM9Ic.RXTzP1KTwM3GNR5g9S9P5BjFMfeW1jH2riy4qwvJi77zhFAO_FcBe0uoIb8Zx0DSweReilEbkCrZ4ccFCI3JNz.EX93FeJ6jc6xyCd3LpH8TH4Pb8pLZK..E4nJnhxF4T1AGpdOVVSovoMkzuiZ2jeyPXGQD63EYxlbRD4fPY5yEKOXWXlLWPljqAXLx80u54MHlkmdPIS21ZQQnZiRx_6l46UIqw21hm9dqPuh7bd8MqNoBW.Wf7T.WypicjGlA44W5d7VvFE7B4YYtXRNEXw.sLBEXQtx84yRbI2w7WGPrPp4PCO_qbzUcel_jmcVV1r0uCtSw0swUvfJW7c2LKLH6D0YTl6BeHyvbm5wAES1kAaPg8yaMXIkKofy9wAy6Kf6fe1aCjc5uPDEJ3VPxuKSd8xd2knGPiju9pH7rGoVCIbzHJ4VdfW.pjJtGerKWHikcGqgnNe6UIbfgwuRpNPLOnGch_B_zcLSXFlaEJG3OZzRUVSnBH0bHu8V6tGf_CrxcwdvYZYb6_lh0R7t4lSQp8TUauxrGnCxmWNjaASVSQE6I3mpJmO_0q7PtEL0orcrpABkqMdNpWHMP5By0378mRbsn1dJJIEc_VSjA1NUOZO9kPVOfzTaKvw_Z2ixN8eZ0zhr3kq1SU20x99C26uGa2U2TYI42RaDWig1M3JUpEvMdsm.wiSzLHqHQnBCv8CFJM6mLsKZWpKXHdlGJnip8_lbmMUw2.DzJ1kpexdA4VA8ljbxpLAUdTSZjuDWFim4Malob9j28T_vJ1CmKG2bLTYQLcAatvGJRLXRjoZXDF39ePzxuOICWSI2aSS_qhyhEhPKeI3u3BCPEfhw7JzM_oNUAWO8lnW7Bzzb6BitP_gYbz7uFgXSvkbJ0nZ3bUjrb8OVca73Cf4PlMlwURkOcRzGODXt0KhbbBD9rkTpPiiJHUdF1Q',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0b309305361dc';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\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_rt_tk=sUjtYNBfumBGrvXRiJP.qz5M9Bq_f6y8xVpaWbHtFy8-1752324972-1.0.1.1-4P8nHXlvpp25xalzAKQ0TCo_wl0A3xkcaucXZjSmFSY"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>