<!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: '965ad61b24c5e82c',cH: 'MuaVkDXlVQ_6HxvnHZ3i4NyW4qYRlgK9xneN3QxM7To-1753605672-1.2.1.1-T54UCycfwF9Wy9ZfgxULEKYdJbMgEO5.mWeGngaCjf9OoyN.AFtE1_jmGkp5iruJ',cUPMDTk:"\/p\/xsb\/src\/6903\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_tk=_29c0IddGzD5V0NYoxCmXzhok0yHopkKddcyzDEjmT8-1753605672-1.0.1.1-.KKUzCPbZNViIVPFe2Wq_wzwlUmVP5v1ieHOtU.ZxRw",cFPWv: 'b',cITimeS: '1753605672',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/6903\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_f_tk=_29c0IddGzD5V0NYoxCmXzhok0yHopkKddcyzDEjmT8-1753605672-1.0.1.1-.KKUzCPbZNViIVPFe2Wq_wzwlUmVP5v1ieHOtU.ZxRw",md: 'J059Eiy_SBAm4Xs7QGzdfvUqtj9uElcbE0MMhr2op8Y-1753605672-1.2.1.1-9LIPFHHtYJihdWMuuYLgT.bv33Ft14pyheAY0KP2Yx2gm9dIKFB2xuSadUgZJNtUu2yCv2VeAecQ1lQ4UMQmlQ.UmLkBVHSVHUC.cy3ACttimPxm3zb1fPq49noUNIQ2QIq4iDqitgKilkkv8aZe_uaLa0KcZ8FYzUMNI25VDTrGvTlgG8q.F_tPDMhkZTVpVuImuZz_6EkqkXrDW99znJzpBTS1KXC8icDn3HqGFraACsXAoSIAjC_H7zO66zXRJMSto4dIvQuLvet5KX3LUZHP7vEtjE6DKi93bamFF_kDPwXkuumQwRscvI5CL6bfxMC2in.RgVs1QGH2olsjWE9ptMny8a7eXOi1y9Nxg7OfDdZ_gOaiEWh73tQN3UEBeRSi_mzBLCbMTq2ayN5fGpb.Yohdu7WzaKx.j0CouR5HEFVH1lSI61MfZ.EPeDjAbD2LA6uiuE_WkL5TWOFTspC_qdYA4ewB__oiLHe_Opm0QWmjFX.5K9bK03xvO6PLvfCN4CiY9fau1o9r0i9663l.Q.aq0Vdjy_3cKN.KcXfEV3LDzBhWjVZyPexZBWbFvwaTQLSUJorNzJf7VxitusGB5RmTKxUH6xUIwHsa87WZxQ4CyPSjgmn6Cr_OGXSpIac1zXrZ.bI93aLlSpQUf3nPXBGS9Ti_lu9kJdp5cc6IhoxPzZoi7ksLqfMqQ9wVxn5YB2aLZ1eqHb5cV18MnB.HWgoNn6YSQbrIS0WkZxFoCCDjmkzkScFr54WdHiMFBcMYZTjuEgNRPPeU7BYQSHHaySjyFsD1fuypveWqrjrvEaHaLBbWYDUiuYd4XcX3T0hXa8tsSdqtmhyPv5ZpF.gT05Lx9uvinhoGM.9FyXg_muxJtPC_Vt7XbW1R8lQ3D.PNVKJeZkiA8DjZtanX2CgCyo2MSJDoUPh9lqRmi_ZI2y7u.JVrMHnXTeBDdhUO3CrMtcTzxtAzN3X10_WrJnPBihW29goopOzcRE6nSSg',mdrd: 'SH8eTpBn77I2ZwkdsGCdKhUcqPDmph6O9EgleIsul7I-1753605672-1.2.1.1-f0TCpYZc.6yaMX63ZsLaYflT_V5Oj.ZqfnDIIEWJRxYuB9tv6cryrM347hoVFPafODjH3Jz52jS57EOHu0ItwLzW8MGnD3damc2j6A2NfNGgaYNvzzQSe8WGyB0.l3MuljUAvRLGL1n4U7USsljV1Zvb7.a7AVOD4mOQDVGpTiQBvmcrkKRtc1rEKVc_5z5ES4657ISfjEzR.3KSeHmowwEPBhRk8Mu3t.QJP0SzahdAC8yq05gXIdx82KRG156ibJJEiYapBbkC0X61AaJZZRZSeO9kfrkUxuHPqPCCpdtjFtl5mkTbRfq6fPCdHZwW0QaEEiPt7j33QjGEsa2bZ0bAFvtkgjuXdu9nXXiMvltOEl70fhTWdFmdILyw9YlWtXwEGwLw5pZoRLsKHw5pqfyhouzVeKz1JN4dGrBEh9H_O9OCm83Tym.HofSosfRk7zx4cUElM2iSVfwEce9jnAjiNWXcstg6pH2WEhduCRSacuj5vDKIffP8eAmsKtNfnREWj2cciEZEa0VI5ux9jCHcS4oWwPmrkBL.RHm2Rgb1FcmW_U7u9Or7LCn8qjP_.cSPecmOm.ATIkAxEWNlAX2vL..cIf1xsVZaCOX4w.Y9TPY6t_LmGDXGKnOikgmIZrVhudwljpglFQkG5OKcw34PNO9WWNUJbkuK62IwVSrwk9yv4x_vi_TdN6qntwO96nhTLdONgnnpdDtzPa.bVnHX25Rcba0xirAxERSg7MJ_eHK1GVSSBnsJxfZDG_V6L.braJR4xeezt40.s1PhEcqacd2kQDXYkY6cXtQMt.U0BfldTQmjKtF9ERh_B.sBT16FdzeKQxdaB2FEPRpqA9c7NfmNGX.qP4mwYYx0sp0EG43zpRdcF3gqxy3EqpiOSC.1ZSIbDfA_BikfmySY2lCBvWrknpOtalImyqINNpNm9iri4ommHewIpWOHfheas2K0LN.A4XUg0GblP7R6mq3BdQZbVNZgPZjSpALSQLoxXAWzF5Hd0HG1i6xrn4ZyfgTEbhxLmSuAj3FtzJAQYf4t08aNk_6K0M8DnXxLHqaJEUAPoXyypCs1AI5U3fXnvQe5pADngmKS7QzIdzfT4uDiOy90yPtInXyoU_fjDeeuN0hnzjf7MrHE5yeEw1JHH1xG9nIAg8u3kMgpkvcetsPPfdSzBp4zG4G.FFA7F3XNUN8lX0k4Db6bxqkU2MI0nCzxYOd9A4FRdoeUynT69Uk1zH5OqkwnfG36Wr9oqLbXe1JG_UjUPqFAwf3k6vcwR2YiqkOtnmfglxkxS4oDl4Md4uwOU2pRyVXBePpyKVNzdZ4wzOqbPL6n7Gc_S1MrymKKoDY68856Fv4NXT8EDlT63gzO1KQ4N0VRg7xW7.naWLqh4S63IAORN0EDrGMXKbNiVzcd.bVquVSvvFc3zAE1yhVlw.XREjuy.KgaSSVjQTTlPNVn_QNzU68Yn1_jw3Yq_hFC6oAlicrWs0ZkIgcKvUkyoh0Iqs9n6nW7E8Z9rAyvRR_ageWpdJYdCkxVrq9Z_zf52gHOgksF38dml6ry_AMbKTyF70bh8AcxcgsjWoi.SVRLf7aZfrrleG9qf60J8gnId3xO_8w716zAluL_RsuaIb4VepCMVo_M4Q0VtIfznY6.phokCKhF0Vdr8r44WZ2o96KeztKSu1bEa1g0f1RHJ24THlCx6rBoUlIX1QNyHEI2LCgB_3hDJApPSQaNvOx1Ho3YHxDIV7WXry1SQY7hZ3OooUji62HxtFpbo6ZEVy3888kHb.uwZXDmzbRxq7FAYkCmt8IVKn6EdtvwHoX4cPPaafmOWv9Hvg_YYUBLvMtuSxWpEMZUrN9qthGkcYtOTcXk2Rn0VgSY3wTugUESA9N7zcKgDQVCaS2ojNZRI1wBeT_a.G4eQ0UAdXhYJDvSXfnstTUmvs.ud9hpMtWSU16MlElYAJEtvyzTjAtCyIx4XXHm_NCV4bPI7zcLc5_4Z5s4cMtk03dzK1xudGcFkctDXmESEt65hyD_RdtNd1AV9u7rhQqefjYe8BePpUk9yv.I2KHISzWatFeZo7SRdyyupB3yzfH8XlQ6sKis.EqNVYa3HeAyLrvdM_GDGtTf4oFxLxhhRYjJOP4ibGQ0xBrbQEF09ooqlLbCup3xNUesTwu1nX_f8n9cf0Zlk6ygLUCguO5mMlWH2nuZj.d_I8PMPxvK43_2od5EAfLyz4SHerm33rv2hW8HGFrfpH_p_afntRkW74f.QrC5B9CkhHvRyO7FT4LYWklK3OGCuKwxtN8ygRA1hPhxrJTMgY4A0ugvER7dKqDCBRaza.kWJthug8b4yN5Y8nRDXyL3yoxhrgbQnRHeGr1Qlikd2VxcuqIt80f4FLqACqFTAqasfWIgluG3082IuuS5GHda3VzbTeay.L6_rKMczZCNFrEcpjl5629UGEzcZ9JL.Kw.QOGwdr3FI8Vjq85co9kWSs1fR59U2R34OP.XrOUm3wTHPeB.GLY1sSAqzhpyMJV0R3rVSzuU3DZv63NHcLC4Vh8YmksR7E1P9uh61zZg_ePkRNkR.UgSD1Ly9BWR0h6cqcAQwfA_PPANcspJgqfOhYbcNSGZDIbRlTQgW2ORpkPc0mmt2.qgHe80Uw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=965ad61b24c5e82c';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\/6903\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_rt_tk=_29c0IddGzD5V0NYoxCmXzhok0yHopkKddcyzDEjmT8-1753605672-1.0.1.1-.KKUzCPbZNViIVPFe2Wq_wzwlUmVP5v1ieHOtU.ZxRw"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>