<!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: '960c78d352ec36c2',cH: 'KIRwdhQ3HlcgBC7uGVjAAfg2ggozF66olZuftYbOg3E-1752783962-1.2.1.1-UMPte61_objYPlcj1boYSsDtYDogEtLB_XGDVoJC2QZPOW6uUuNETAPCkzTvHmmY',cUPMDTk:"\/p\/xsb\/src\/218\/tree\/\/trunk\/XSB\/docs\/userman\/standard_pred.tex?__cf_chl_tk=v5cdBWOzV6AT51YqUoyvWVeBG4zP_g6Fqb_ghOtsTYM-1752783962-1.0.1.1-w4YYDcpWODn4cpxz4ocpNWqaqBgxnvDBS_THqRK.PzE",cFPWv: 'b',cITimeS: '1752783962',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/218\/tree\/\/trunk\/XSB\/docs\/userman\/standard_pred.tex?__cf_chl_f_tk=v5cdBWOzV6AT51YqUoyvWVeBG4zP_g6Fqb_ghOtsTYM-1752783962-1.0.1.1-w4YYDcpWODn4cpxz4ocpNWqaqBgxnvDBS_THqRK.PzE",md: 'v.LzciHn0FqLKOC5TfTAnSVSNLpi41yUvL9gjZjduDU-1752783962-1.2.1.1-ChkbmDHgd0O0BcPifiKIX9pIGD9H7f_rs1687xFoJm03sxq5PQGgNohfDth4IliZO8oImCK7TqPZ6lP_BR0T7gpIpDFDNT40VybSZymFXfFhdn_uLPb1EDE_ety_8p7uHQ5t5cG23csgxb8JUD2ssoAktD7Xrr2G47q8zRasgPL6wTowfnOtuyw9F5Vr8aEUM8foRNuv70OzLFcMlpvJyGZTlpJad_r8mu.HxjkdIC0YMFpYslSag6SceEwUqfKoAgAnHmsMsNo1YaLG.PRhCrMLgjP_BR6eLi.Om2t695sX6cJ1WbnQhYmveGaIzsWfpLHrJTgVLuYJu7yioyHD1jcj4SSUklZQ8qWk.GQ.nn8tU4K4VS7XsnR62RtUz2wRO56w7AbFlOYTFhBqShsMm1C.lBpbDGhwdYQeHJI0PrpMxbBwmbUJ1EF6bM.rwOEwsGUHIgUCXiEONua.Vf.1SizkxFI.XE1YEaL_irOqdyLQCky0kl6_J801RDP.FLUkxbUxvVkxrzVgtFZaiSsMPkeEvSh13.khkJMb_b2fpSiKjf7tytKWEOH_2XqkGuYUK2iJktRIpx9lQ4wpd7vYxELJ_.xjXtQnPb1N3XVn38D58UnJpIJ1Aum7ROiyYNQsyk_J76ChG0YsVMtBR78JyJWtIQdMLQgatz2ivh0loyxZr79arD08xNyv1Q3rZPaoBgN2zB9YhUvR62lyJH579X23wPeUEvdfNQuCFvTr0G5m64JE_0o_0U3.Clf3hcCyF6pfOAkJBl4HPvGUsDPAwxMnaXriuDCQmn1W.v8Tx78z.NEJ7m.5fYPfva.jquILC7wOohCi7yYSKy2W1XTtiUSAP88L.KJUPFCzZnaX4YCgofvCUV4atmg35_ms_RXOmaeryG.c.MBta2kZHiVQJBIDTBGaK1BejzF26.IUD1vK0_ct40ilQAnBdBekQdKcarU6c.yZTx88TwuqKCfhFnZGnfiXPOitIZBHocIdtTldbpOyqYtOPp_etnj0SAfA',mdrd: '8iZmoLYiX_9WDvTOkMgnSRmPQgQ5DmwAwtpS3mhWpnY-1752783962-1.2.1.1-bGEdKqtmHsIRc3ZHY5Lx.qdwDi6ialxeXuCdRvQukG8Zz2_ExJ9oDP13ZapejmvLSPIKOEsRLnMKbd8y0R2szrGik.YARKGLEk2u2yjBub7fNqqCB5px8sll0Gy9.JFjAW9RNfBSJ_N79ops5CrWCldc9whKLGxmRvuAM6GxNKbeULrG8G2KXFUgktUXbuytq1Q9ipF39lXfw7qphBMn4l_Xi0Sk0c.48cw5UQdX_yubsGrd4p__oHSK5jKivZQY6c9KX2ZJi3pn0hxvCFGFcYruN2s3XCIUG9GUpADCjiRkIN3yWVtjjVif0O7P8.G49MNKTAHTGfvu5l4PGosjQ0u.UwdsmncSH2V5.VfPYi1Mw3.YYfPJD7siNshFAbHACMM.7LEmAM6UJHWElovQ_D4SlaRWs2qOLoinirtsctZZ60UhmRhKr8QdFfis53xfpI4hHFX7S.nVjFmL6FVysIdyo1a2nIvO1E9djHQlgWMcyS6Al03L3xvDfuypMYDhy6qG9TuvTGj9YUjC2GP8pRyl3zDftjRYGx8yjW_RqLhtlV6BLvm1iqMnvn4iHpbwoWsPA1HvkER.uI4Ie..seU1427mIp7m9qVbmeVlHxXyPyP.pUGBO7Nfwa49BtTpcW1Tyf9dLaEOY7UeXj3sTg9rXA8H_ZkcxGVfm_GeOn1mR5s.y.vlaz1LSILT35LIkoJp9JH25Bo2doJ1Z9XVn.IcF78_pqDcUmoOKPgyMPCv__G0vUb9NIXPH3dthguECgACsTEil1e6KSOAvZN43uw4jc_r6rpVE6QewUx2bHnSlaM9Pg2925TBIftHP6WNJU3g4CAGqazb7.7_tqNN0HouNLkQ.ZlUbFcHc.l5vUExUq7y.aCtcT36CvYVcjwJHbufVATFdCutEUK7kOmqVDB8vZq6vk8GRpHLUhbmowxaifzDtwqken5oG_D4Ec4auT5IrP3WAABi0bSiqME6_j3eOw9MdfDsEpRDb6sOvh6xi1a0gtQMeKMZf8lk5n86S3N9RtdnNE1ML_AaZDbbLvwhmuRxXRh9Fx1.qtd7A1RsghZl_cv.fd_uwjx5cM3aDqE9NSp1gHna.eM_nQw_X4eHRoQ78vJgN_p3Zc73R5.W9IQNiwC_5Xc8.wxxu3FevCwmp3.twO5yf0Ve9kpNCNbHmbJVkG_Qs9vlJHbKm5GViJyhE5dE3UF4eUlK8osqAQ2FUOhEpO8Q59U_yxE360775j5snbpCbZVOMygOW7N0Y8Im7EfIQ3_XOMIAcJayJ9tIIU5n4h_lbpNVzoRV27_RRou76a26imL.jSIT.fFgKKE5m8i33DzI6hLY9dSz7DAMKUyWBXXpUjo8SwPgtIPtVTEqqG5WzDY5T9NDWGvB6LLaKZlQR16mG.e92NSxZEnvleLu.6QpfznttS5M5CPJtK2gFBO_BuRBVLloNqYN2cMPsfuwokm91Zf8vhE699gnxzriuyhLeyDTStS8Q7w5aNwMTyLXnFTh.R.QJ4xD7UBtUu_G8oPaiJ1SyLNPMsJx6BId6tG62qVd7g3yrJbQfbiUiic_wo2mQy7Hn762fX.OWWVxz2r56jiBwxq9.YoYOl_5wYTuNJYj0lEwF9wBMM1Z.EKSIp6xU8YFYMJ5ywrlB_oSmGqJpeb5la2quMxNTmZOwpPni1tIYaBrxl_5S1LgMQSFT47LVcYku4wP..t24qY4nHLm_zHGvup2ft4x1n5VAawv5RPRuWVaaVe0VV8xMO6PnALJrmtTvRGFUVmJxF94vvlkRJiPwUSTQFUExb2c.3QmUBorO6I.6AcUSh1SN2.kLoTXKtiAnob3FewJir0Rx.XOI5D07SNRSMQb3bMDVy1FHlD6BR7NF5riQ1Nyb1fJXDWjTnh7CMxd.EBKCPJyCtlwHViv4dNvqyWuVKWc.IssyrQyO.pzuntI8sS4lIQOSkDYQkKkXwJOoNO69RFTW4thL0lifP8WXg8BDmbNtFGJGYDHO1BGLJsng0mKVcctC5.CHokrmh7qFMHDd4Qc4z6nL.AUgCakPqZDjzOSny3_Cu3Ja8YWt6uGH.Dq3BbIeuaqIJ4YEbhi2fCVipYeF5kSMQbkEoc3vd1aWybgf9Q7cOcnfPRGU7.iAI1tjwlYmqYO_eZWtxCX5iRYjVqgFulSQj4fTLhFqeEl9ofJSpE0XxBaavQJMYmdUrq639sun5iZAZ7PUNaoyMZbz5_GD2zEVxQ54.7UF_IdWbSMMLOjU.yiPnlzhY7sUYxxkEshsp8LImcmyI2e_qOFtN.lVDabrWNRxC2FEBu2iYeEwCfsXCyYQ92gm8oD.BKplq1ZCojRCx8ajRT_0ZCp4J4YqxUbBhIhE6FGUTyL9dLpqYYS9eqoA2Zrkxrai1deaFRYxN43msl9w4j_pagSpZjydNE_nXyBjlt1sZd1l5eo6WC6P8TaEHeuNye49.UV4bcMUqh2OBU72Ul9ok820BpDp6_eVcDbVJKgOaSwXR7bWtUOAYMG4AvrnetsHGjvXhw7Nfc9Z_joMOHIU3Pmqu_pTLQX3slH3g4viBrnEmsOkX4OKx.JE9X43DtGER_11ubMq0G6rojeI_BzTdIrO4hO1RmFvHCH2kIMH3hbZKG6M02L1kQDUjxcEHw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c78d352ec36c2';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=v5cdBWOzV6AT51YqUoyvWVeBG4zP_g6Fqb_ghOtsTYM-1752783962-1.0.1.1-w4YYDcpWODn4cpxz4ocpNWqaqBgxnvDBS_THqRK.PzE"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>