<!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: '9651b06f545a0012',cH: 'ThT_NyOC7GfWaYxkJSRA4.JkgySX55JAbYHC.WOuzek-1753509757-1.2.1.1-93TyJzwUSUbZvIW.Dxf9LIxNUBbPvAdHSjCpkhcEELGND6JmCMW8wnqdF4Tvk4R0',cUPMDTk:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_tk=5LiQzMqE3qzAuLymdejUiwOa.Xtyj1REyxGzOBJLkow-1753509757-1.0.1.1-Cc7E7ig6DAAm9X1CIlo7x029Y8pxvrbHWhUoeAcDR0M",cFPWv: 'b',cITimeS: '1753509757',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/intro.tex?__cf_chl_f_tk=5LiQzMqE3qzAuLymdejUiwOa.Xtyj1REyxGzOBJLkow-1753509757-1.0.1.1-Cc7E7ig6DAAm9X1CIlo7x029Y8pxvrbHWhUoeAcDR0M",md: 'tdkOecZMGjpjoSEc65omtjXB9JZ5Yd0BHjLlzkDwj8I-1753509757-1.2.1.1-9syaWkfH.odJeqcsaCFHOT4TzN8zw0Qa0MWJ1_zq44tNNO2p8zmYuKKIZ8LqhbPKJPWdR9DscpWhG5Fy9UWn3lyTx8nwR5ANKGE7xxcB2EwpQ2k5EK9evkSCVGOZJoFqTf_dPT6.zYaSIt1NEXkjQEIdVeOyH9eeEsZlzPCNur5J7wZFtiCFgHK5oyMpLh1HVpnlTEDvowEbCs7ko1c9TvfFiRLyYcGJ1aicFohnUNWAC8EgopK3C3lu5l31nVoIF_h3XHMWQbTVvg2jFgcQGhhktoUY.hFSAxTDTIGlQrR1gpa6BsIWmKKWQcPP568O2DHWb63kt_P2Kkw_aLBTQv9Jyw3rheSOyqVX3U8eEfM6CdoW24CGAAoYlGWJ1LEniQ6TsWG5Rwl4HV5vipcu79JDBQ0WysDyI6ATLfId1cHX4rmVApD72vXjIGjhqBddKo.TRhgV8dHtbspXYmiZpkkbIaaNnqyTS6GUhMO_HFKAU6P3cs69Z1vJuxAp2C_iNPSnu2sn_b7BhofGSAm87IHpGNRpjeBaWjmQClmv0UYIWn4XQtSTwB_Lha7lfMixeR4aEdigHeUsE2BCa_4x3Ufjw9nAjJLH9KvwizJxSm.pYYRmpsvsUbL6pN4ftn3jF7kElh5R1zXxoMDrtOL17eI656eyVXAUfsQT9Y10bzAPN7nO2vG3CjUL67B7bWvaQWZIV33rdlupWCNP2I6Erzk2yxszSyFDLGx3zdkx2XmNEln_vYSQ95z6O8bTaIyrCEbLm5GK7LD.6rhafaLq.g39.0lnV3cvGN8EgdJ7JjoakEhMcO0mp8TJfPZC.besT08CPec1VsZ15J.lh0JqDR60F1YSmxPhisTK088.dEKhUgbH.DlJmBMYfaZatXJXB_Um_p66NINkAvth1wqkF70k2uDTZXhmBpKgUZRFJP8i6Wgoq2i7USXE17q7E_IgUtcGrhALC9KgIYdDCQTqFKeXKkjJi49eRkSMsC61AAA',mdrd: 'kH1z0LMmPNbsSKK60lfA8N380Vcd44U6D123ptgQHsk-1753509757-1.2.1.1-b2rLkKwjirTIEvYKnqKgJcXWHMwLk2xwq_xnQ0uLcxdARTqMOMMytn77r9SiiS7jMTJKPE4HYdtHVvVMPjJR4MbC556UMv6WAqlkiETyhaHFYMNKwZcWT7zqP6dJnTD5BceClBDSIpWSlPLM5D6G_HOR9cKlcJ8wXTNuvDWsD4zkUGBMf1AoQYH6_lxFjfCNpm4aFKVSlCDxkEgzlD2BDy.gOx9e6guIb3HEIkdSf1Y7ifg4RSARuu9sKxXHUKeETUxMG8Umatqnx1x_ALO1A01_RpUJyPWzBvM6XJZgwqzWxLrlvb8tf2Dg3JFIrf9UcL8m4x4wlJpXpPwzkKjsj2wIPloa6SyGQm7L.4TgCIr3jx_yAQoLkysdKCY5UtBTjywAzS9z8zVxmXlCPrazGCQai0oiT75LPebnUuCr7BTDoACrm_QfceRVwu.tqbhOh5kdH0kwGaM5ccF3TcNoVeBElmEQX3F8CadneupJJaEo_DBcCv1wp9CAmbm9bSlZ60HMQuMQfOxxGvmdc5cweXdrOW0NDqEluh0UBZaeCz8Gmh8PWa1WeCrxxRLt8gJVvb4Cf_JGBTjCdcoJT3nvBpXdojhz2K2M8CXDOX8EYU2JXbxk2nbVowTLfho7NjDroySt2SSzbiLPTu_BjcmyqDBs9Sc6RAy9a7uuTFYwL08nS1k7BxyaWsCONl6Pj4nhFt3Tf3UaygqqUmdQysdMbEiz9TQP3lg91dNHYUAlM8aybNgiJ6nbLiAp27mIesE5IpHkqenxRJIGLxHVkI9pFQev8NBeJXuKFutht8Yj4xme8a_WVlCOV1YblmHKKbUZOtd_.lW0sYAV6tyHswzHGSin.iwR9z_c27KrGrjfT0dowMXrj_JimvD2FT_C6wJIx4ARW3p7LsJq.a3zaRVqNQrHEYP_jmy_IQGEmTzz4VhwgsROLi8xWC.I3.wchplqeTpQNk7IEc5knFeOZ4d53E9inKAE3fN.6_gzn6ZiwPVUSGuIFgilmnWSX_DKmlRGQ27xnJu8X5kSHH60pnwPht4b.L2kdvVbEzbUI42W1gKRKyyV7TgTtDZlcWogLOLei.rJs1KUEKX4xMibZzBWDgmTg3QtVcvF47cMKhgNSY3IgVYfu3u38AB0Dvj._C17R07nhXR9673wTTN4lCZtcfw9FFYhhlE40ZFlo1sYxVRhkUcASV4yCh0GFcu8bUL1fZekuCE3RQWS6H1oY7rEICc_HaTb.gcb_LbDY5uqLWZiSxPF_rkKwmtfkixR_MNE7wo.BwFEBPX.KxtqnqLK0mLI3BUQeMlhN9H9nC.q17tN16mcZBJ6g3WALu21lnZ64IT7v2QtpZtK2pgfFdMX3ADdUV_eDE9FgJbDmUZmZ1USVJXllKaLEnwj3F2X0MFCgrNGI7ydLTMlrGNzhHYpc6bqV759D1Bh595J.TaFGMCxHQuEgTjTkUddOOUr5LR9v2izimmdXIixPmyp7eZ0vjNNUMkwfkxJX7wAA2GQgFUFhvPcFvoINmUq7xkuouWKpGtw_TnWrMGoQR4gB9w_eZ2b268XGVznz2KGHHNMC4h0m4tL4dIOLGwEQ4mwzevTAo3BNVB.gUfg4S7mcE28LZDRA5xpGvwXij8w4BJbLORgwJUOJ1IV6VlsW8jEWdkk9FofRypVFAw3w2lYMgxH6J8DLDO0PicJf47A3SlnfMaX8_dwPg3rFfM7EjjfcQanWRa0TJ0S5iO9HzinLQWwBQRbzi3scKcqNfUaTcHeiHzu0vs66hRqz8LwI.Iure.Z8crPeboIdiwUg4J27vq_XKQb_rFs2A1W3NHfpuWf8HkmzghEwjQTzlDb62Jm7s6cYEmtIdO8dJ9Mjje3epxRzODwqbVQPCqcvRHNqFm_qBqaRwwy7qa38apqe4eZzoB4Ifbks2.GzGr0NdPPAsJErQx5F3RyYO9Ykh4zb6q5EApHBkbfeq7KLNkG7cHMrbKHuJaPsoM.uqMroMirvvEg4vVyGmc9w7K8KQWAnqZ3u7.nIXQ7CcGZdmijJ5d8ksldMcLHOO0QyfowiusM_e6OFneJ4hwZynO5JS8qomopQoP7CDHP3HjEtaZ9IE1Azx.Ta1ezYMSJUZUoJVm2sxaL1yVMZqnmtTKzuX.RTSlKXKniAiv5ns7KYS3raikPlwuFXJo9V7PLmveT4AsKxbHNEZIgeYN7WKblg482HgHPpMhdMpbI1t0CBXpaaCSqeir6bzh4puCzdhXp4CgNQCgWd2Y5c3FIk4iifZRPxV80uPJrPgRQ5muhKeAWNtKUu3kEspeddXIrOTqzdjMTcqhLQ2FkADLboPnMhDEztTP7fzDW8Lf59GS1xdsI8NAoy9wI5.XWd5EnaWa.gUn7vUWRM_trzpHitvmOO.aNDN1dL_7CXmrmtzh7Zj6RejXccXwc3gSm6XwlOq5n_pivp8pgFrASmAQu8dXELjURqiMjE6CR4bSudq521Dli2ZfKZbUyAvtw.uxlWxn97y2D.PRn0lZFEpL_VJmlCpEMSz5FDK3vub4rQrr5uzW8whebRzAOWOgSjLjjUYleKW_Caqb01vptSabyxAgDsQFWGyagaeRml5t8Lo7S_5.m0jk_qtWoU7P6j4t7czgC68OqcVy6Bw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651b06f545a0012';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\/intro.tex?__cf_chl_rt_tk=5LiQzMqE3qzAuLymdejUiwOa.Xtyj1REyxGzOBJLkow-1753509757-1.0.1.1-Cc7E7ig6DAAm9X1CIlo7x029Y8pxvrbHWhUoeAcDR0M"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>