<!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: '960c505465036195',cH: 'NUQ6stScEpf1kMIpnkjaLhB6FxW8.6IjDpiKwm7FPNw-1752782303-1.2.1.1-tFuCgBXSzACnSjBAc2m0gCgJ_LpaC3AR6L1tIDOY0V68hOjYRVNCP34O_2N6tEGY',cUPMDTk:"\/p\/xsb\/src\/218\/tree\/\/trunk\/XSB\/docs\/userman\/standard_pred.tex?__cf_chl_tk=VGLs2nxKHL_HRPrI5LM5nSEXLvSWwkFgh5jFw_jCps8-1752782303-1.0.1.1-p0Zkf40_Xkgw_jujzWB3Qn0TYdIfy3g4r5Kxgu0KYpA",cFPWv: 'b',cITimeS: '1752782303',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/218\/tree\/\/trunk\/XSB\/docs\/userman\/standard_pred.tex?__cf_chl_f_tk=VGLs2nxKHL_HRPrI5LM5nSEXLvSWwkFgh5jFw_jCps8-1752782303-1.0.1.1-p0Zkf40_Xkgw_jujzWB3Qn0TYdIfy3g4r5Kxgu0KYpA",md: 'NMZJF.MK841y9DY6V6560M0yuyDRo64ZI.yWEZYHESU-1752782303-1.2.1.1-4sTU_DoC1EfGghGCdvBjB70mJHTnlc36GDWgEXufgVbYwOpPPvXMLkm0XKZdH9IZETrTFo.iZ.zOUVde2Ke6FUNwnLsXlzUn6e6eYKHoDn0Lcr3kJ5oxmZ0CiqTEz2zMUOekqqXo_SDdXcfNTKTpk6VWxOvFv9yZQFcrDsLP3q100JQHzwEOJy9zU_2WUwfzImjcxBA8Q7uu3S8ZtqsIrdt5MYHGxhC0XIsWCQHxNeaa7rR2kC3CQMsiw_Coko1FBPqcJ7GBuxz1VFrNUGIzxE8P5zrU8enNoo8fbqK7RmYdrMSjDGjXXOjWx0dgYZ02yToc6dKiGnIaXcKhI2Xrn3rlwQoq5QH3i4DrRmgTCODIqwc4uDlnYwHSfbfEFw2KXjL_amj8DmZlQCRtii.hMkHD7fopEGENcyu5euOzPPwArLfithdsgT3Sb30szfKhBJFGMSo9QrFJ0tULoc2mcJ.UirBh0WSTYg7k0AgJJHd0Sd1C5gVQAxjGPq0Sfb44J_AwvIGGn.nnlnkKb9k.aW7OCRMukWDHYtzhaJVVlle.VDniPbCQIvr.xnXMdZOB1SsZPQuuqm15j6Ec6ePPeTd7PReDuj0.Qgra3jkdwEoUKfu4fvaQ1FwatPM7TBI4aX8hsjL_91.ZnlKSbqKbVcorgWEMouoRsPdT72A00W1wWuSZIcfo0fX_ymzjnMY4roE2eMEP5tn15v9Xp3vtoUNdHQ0wXOfyT97mOwjAcarCZ4ReBKj8f3b0TsrL_RHln21diWZ1u83SBeX8oIcpFSXvJ.cl5pcSujGeTlBeQqzOT1x_rWrGgYgIZwszLrWxBIBQ3uodn9SZOf9tbZhp8lpZSxGinLnyjfKM0UZRLfKj8Yv1tB3Sjb28EMdyd2.PR0frPmBfwvsW4rvCf0e9wpCh2fRrUqgKmdK6nQ1dvmZlvI9LuFJ5jTv_auXzZBB8xL3h4_6vrSyTEw2Wctm_i2yRPYSgW93MdWFrufNvdvrDkFEXD4e.NwecFtZckdmc',mdrd: 'hzhjumT.e5I2K3ZZNYOBeVG0xcMdDeVrdT_RrSclPy4-1752782303-1.2.1.1-..F4M1Tu1WYKf9ZyJ8XCONf8To1SN5V8s6q0aPHqVW5xK21wbJavjxsqJ9k1Dzd3qJZe859oFTQwLb4L1zX.n_VZmGQ7mXyJIbHSqqs7WvehOamSw_UiVz9D7wB9ZeTnpywSHZbW6Xiv2b7sSdeNOIiJqEl6qqTCVYqeQXvWNRU_rH9abM9l7.cNz9xSvY0TJ7RW0Z4uFrtszVdvB2XmnxPPwk_S8k.WSjuq_unmaRpxEm7FRm1ZBdqNGtc1LMNsIE7H7OEFIlsuEjhLJAnCsLshg9MXBCaMObcgnDOfnSzIDxiIggWu34DKGj9oMvVRTKpjDDYv2mJXNLqaEYpv7r5SsztHiZA4XbIKb5wzBNcnd1B_Y9aqc5N2x3NzNjrBnRArYcINKCP67ZOUV2riY.6L0egFBSUl3Bp6jQO20.e3005C.RPpFrSWvi8uJOKfpNxpP6tNzAvCDkEcmuKHj0d8v0JH9jOUszJ.yot_pyGBcPZWQ_p8PGKfx76u4ddvIh2yFJXyQhsyNQuuqh7herdsF2A0YFY.A69.cQk9vuuGOjbRUlPrkHwkPH1CwP7eQ0gmuK.3tb4xUgyhIsiwKTym7Rsx33fPyiWKxgltWiF3YrLJJgIbPDA6VGKeyFjbYmVrg9WGrmA97i85udFWUI1xyQDd5z.VwQHgffXHn0Z.PIBEj.t8050bbg.6xWC7UZSXtZHXbPzAHcIs63ga0oMOYkM8w_NF9t9VLRTcbvekJdyx9_NndDWkKSXpLDY5wc8UDEwcVBCeimJn7.d5JzKeUjo7Pu0pX3Zhx7K3tLcB4zw21uSm6.mRjnPHANjBTC6RVbht4zOCwVmMJD_nlLLWN9kwZSMogwlLCap63lUkL.R_7x.nBD0JdkaxXc7szX4r5vzQvBEdTgJg5UvurluiBVqK.108K.XbbCoaHtxbU0we_3QKF2df47_p0gMEeXqJyErT4VCg39_oUVqJfwt6t.kum8rNoeqOuF.SK0vkIU2Ein1CPyKN.117_qyHykNN8w61B8RVmRpgdIT3DOeX4DHjoSQtao6xMZ.9ayQfkkePW2T.vecceX46LNIPwCyq0xNLHXA0OraTo.hwGEMitAUyDm16usKCefEvVHw803ZCivach6MCP5oZxoFyFMkhZqlTs_nehVi.VK5x6zo5nX__AB1rBumj7Yuu4okx9SuqagNUa5u15m3LRLGlzM.qpsOrfgUMA7TtBA6uPQsrdzKJgbSZicbCEVNMzZwwZ93YNYZkUVSHu3zPgizTvsKEQWM9qOWvu3ieAzYOKti1yydAa18MsA_BBf6y_YmeKsDkV_uwnDroOkZrujgsh9KlsmR.ieSWchvozbIs2dovEexM99zdr_rTHE.s6gpxc0D7Fbopz9m5c_qB1dm14uzcyxkwqzRVUGsoUsvdeC6tG5GF1A2REUkiRrNm1cT9VUMLhhbOkJWxLnYiSd0lWyC4sNudGA2yMX5XOhqObpjN0bMZvxdkpHQgdGFb7_19B69Lw_D7adKe._rUGFw0zksNIJwGjIWNaXGyKiSpZC3wcgQ2LO0CGLtnMs4A09VJY3x2CTZNJkPxDp30VveEgFbrK1EMjE6WTuJVE8PpRb0kWyDF5Tx1bGC3sEGeskcJaBihSNWBi2KjmKIIg_RTBbFOGhawnikdbTofHhCtDjJGgq1jnl37SwrGdTfy7szKpjdXLvY5QH2YYU1TmoPHfGTntMH39A8oArN2a_HRyLWJLIbKyFPLecaDos5ZscmIsetdgXPLDPX6e_FNMvQ5S3IX4wfSc9F1jZZl6anulcFNmcDeprNoStectSf8.Y.mo4nkPDpliku0f806GerhRlxS1J6g9fitu9J22nl2XqIRcmlYuy_JA2uGhMhoGBFVFQ2NslfYAOUX1hvrWLVcRF0o3zqKvcJD7TonyeUPBa9vi5F7_Br4kWdWjlpz5oPm1yGuwdU4LC0Lm9uwYjLwLFeVLDvoljQgfGAmr2JrpVq_FCQZOemi9jvoJYORGK3q_S55C7X.RpCUTZ.xYnCsoTQnix3fsMFfnNJt.wtUZWLQoDA6cIw1kITeCwBhaI3hcfELyNPH7WpPcEjtxE3JHh5n9j1m_h7FHQ0naUd9lgKFpZH7UJUbomuUvoZigiQfwdVcxObpgb40Hami96ZISDXPWEYofrL51hr05PpqsbzD9QIlBLKVoNGTTF8wZc7SVisGJ24y3Pj.OZrKvkFGx.HSPI5XrmYr_bFHNFNkS2EBlqXVyUl9kLDoVXLmpUoN_V3AMCuRGFRCJom8j6Q39BvCgznP8CV5ep0P9B698VwYV6Kt13_PAHs0MvAGPZ9CL1iOZbaLYcd1CeJaY.WgErDDXH3Qu0mP02iUkWq4UppSEjr4hT9f_G_GUdQLEKh8LWAktctcLuXzHcop0.XvvzQN5IXefkzDxdruaThsh3WDV9lp8814RhQz8_fCsISue6Bwgn1rh1neI2drX3ZVJBDU7KgtoNh9fHFslQXyGDmB2Z3OrYXIlR_82XUU8CFQsu80o99AT1h4cEGFTJT.YX.QHmxQTBuJnYYdugwePXqgQ3mwJrwa7au7rT6ukmm15Zg9EJj_CTSKkfY_yCeO',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c505465036195';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\/218\/tree\/\/trunk\/XSB\/docs\/userman\/standard_pred.tex?__cf_chl_rt_tk=VGLs2nxKHL_HRPrI5LM5nSEXLvSWwkFgh5jFw_jCps8-1752782303-1.0.1.1-p0Zkf40_Xkgw_jujzWB3Qn0TYdIfy3g4r5Kxgu0KYpA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>