<!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: '9651b04604730012',cH: 'gJO.5P.g3SLlaR_kzfE.pf1jth85K7kgGiQc432b1ww-1753509750-1.2.1.1-2K7cche_nVXiAq0CbAPnVHP4y5FF05XFFqhgZdEfbR7tDT7N5wOtOnTQ8nfVZ7pq',cUPMDTk:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_tk=j2fXQ1QEDaTLrku.9YbfQnIX5d0bd3jjaO_9C.zM9I8-1753509750-1.0.1.1-SkcDgc7ICtq3BAvfcJHu3SynnVy7OBKDGPeHISAKfr4",cFPWv: 'b',cITimeS: '1753509750',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_f_tk=j2fXQ1QEDaTLrku.9YbfQnIX5d0bd3jjaO_9C.zM9I8-1753509750-1.0.1.1-SkcDgc7ICtq3BAvfcJHu3SynnVy7OBKDGPeHISAKfr4",md: 'ucHu23CTrJ5tgaQmQaxFSZtPb01bEXP9yP9FO.NnQB4-1753509750-1.2.1.1-lZ9wqDHhEoabsbVmJWESV4FeNHXVZ0bQiS4KiNOmkX78qfQ3ITEjDO1lD4OK0OacV4FfpQZ_9i5ALWfdKhKMObr4F1T5pYuHn8HsalImYR09SuUuBAcFXt6ESxZsIvavqPbVTNnSZzkC8TGE77t8p0Av4mf4i4odhn4MfT6kTa3y15kcvo2GiOlo23IPs7s4PJ78nE1x0riQRP7ufDfzaezZdNsLqHLjg1ZVN2SX6FZEiNu_WkMcBXzsKI1vXDgb9OA_gjF2ItSu_HN2egUhZumcvW_rt7b4TlVau38.luO2n0II5l82mbWaOPLhsZj8jrQP9mNa5L5PJkdVFtZfdmczHJ9CboLJlwD_.In5XrsADsDdgJ5n5oqWGCSyPUEHXxcqUjFICI5VXGqLY1qjE5mktJVyyuTLN308XABxRLiKtVpOg_txSb8pM2.R0vvEvv0Y6PNmZ2w4vGGSqv3GG5d57oaidXUjZ25j6BGb0hZHgsYVpz4jkjoS6Kpl1USleomnmgWCM8xmH1z3VtBKVZCklTmpuiN2waLn5.RybzddtNMK.hySJTPbsL2URPFmwdTLLFOtFmWkoc1yXRlBAsrd3M4LtTvc_mHpVQfwzZO4lOPl50Z9863pwqTZfPJlcb42LGUzn81axC8yV0aKW7e.0VzbtGZg_LWhDF4kNQhXzZD_HmFIXbjcn3LYgq5KcO0z5bwHmIwURJjbYBuE80LrO7omxi5izUrLppJ1rekAEX785htpC5jYpmkWffqtoOtRAokUga_WxC.yuHObDVthOSDJUq6F1HxBw9.Udal8YkSCfQFSPXJx3AMn6q9aR3SnFHl1J3RuiDizHhU4xPlNFhMo6b_NQhrqVxcjvU1J9wLbyiRDsye3PoV7IvHmhSKm2bKsf5Faw.Px9De58aUQLiuPGug.WQhMmkmf2WP.u8N4hBPYH6KUM4YmVVqUFxKynphXOU.IBGi7z4ZznKOMWrAdgraRDUn7NKeuykA',mdrd: 'h1In7wh26RBzVp87qbQdAhahP58VK_5gXxE3PPCIWsQ-1753509750-1.2.1.1-2EYbBEo4ayjH2kqs4DLxhhUHEOrXzxfVQXWvPkZeCYvGEPGs1Blfm0rEMYXseJCZ6esdDJw2y1uLcgYNWnUGUAtKb5xapnWnsEO96bICRf4tEq9dL0sm9cKF24B1Be5T7.PmU5XV.0Mrvxcng2izTrSa.v2PEUlTt5bSv2SBzrFZTVaDYGx9uFEJU6Co1BXB1s.wIJSGvWaKnQjP1q2Jwd03PLOfQ5IQAQKBX.zzAMjo90LrPWOCxkERRLMyEaWo3bHYh8iT_CjP3NZKKBM8CjRGe.hw5mLnVgkeYPQEQmZJq6AF4McV2M1ZRSem0UdzJ65a_1CsaRYO8W4zCAE2dNoDLw9PgFu9ZFc4C9CKh.tcIuaJ8W3NKB2B.A8DEAnNUsbC6sj0G6RPtmIBVA1vba6yo.CsFJtUgKgQAEXwqg1j37xHKQQJ5DI4uSumVN_6mOQQjFIBs.kHzA5z8UQIScz58hq.WcR2OyggIrfzKxbiSzPK_19fICWpaWVB__s051sSFsEpGsm8y8N7JrOUnEtvKsog8OOdesj7NsAqihzWqDyH.UhI2TdSoHR1bPPi6ZaiwOOPM9olNhwt4OQu_c7lPBWGeyIbZZmIgnADnYcwuggwN6OvkYY8bjHbUFe.IPocjSiENHNZIuLCI7G0FPbP67nuNA4iy7E6DZZiiBO1eBXBMBtVhfOBaSizjBrlCtliz7aWLUUQ4LAMfsHOsFBNL.0UFIPUzSxRfi9MQ61jBO3_pgInGqhbM2G8EP2TGyStzHSQR6IjNage0u9bzdJyWovW1b9vFwYLO4UPPZieTd4MeOIYpJ132.wi01CSvmmiv9PxTa5L87gER13Lk6tCXtZ3_5i0_5PdfxBxMS7MgzMb4qZF568y7zsRZzepD71jidsmJY8w_LU_oF5dNJ3SplrAMcXc1PnkPfAH.o_QQXgJ.7Y8PKvU.lya25H0hMrORv.wKruSz12NUjUgx4pqVHBGOSW2WImTwMnFdiVVURzwYFUP.ygUvJ0l8_279XAEVWkmRIdm9epszrlYpnbwwcMDevlpS5gxjXDP1Vzl4y_xx2.wD2YDBoaP4UgLhFwY9LK1u_aFr5hW7YghIh3Y.klV31q12ZVVohD1qy5LxxaVzi25aaILZ33J3vBaDPNN2rWkRC9uYylq4DajC2MONhMEbEcsln7LJ.QsEv3J8AwYTe9i7iXKIG8oPO1Mflj265XDo.Zgqj3sXRDFSse44cnpUxI37hMeWrPuQkAtmL2vkQ4alrPpC2V877lXpf6yT6oACmG0WeuXy5kZ84LwqiYIm.LspPBtiWp0QiLuYP6Yp5bdOGloB7Q68v6wvBfJK2fDmFaq4vdk80XsFPNsLCUcuynjAQ.8aTGy5LeS00nDZJH7roxWdtAJLpItYqB4IIl92GZNQuykR7xTb.v.KeX.6NM5b3I_RZv8xFywecVrrN9GG20.28LYUjw18nrXlsYp92q1uOQ6xcdi_rbMHSP6erNqSrtxUZtgWlozyqzYjtkzyX4NA97oVUcMhDiTA00kuSLHs0Aj2A_9cqRLx61hUukDtBGLx7vyw5e69pO16Yatn3zEd1eu6mdPX.4vrjcyGWqs1ro02mnyVxE64fbHIKAXSCYxW50l2JMBd1tp.avSV1zJiw0ehrCESMpgeB3pQSOxV7JLsDeS1vVy.CxvXBtO2NgT6hXxZGpktJryFyHfTVYjvcFMMnl7P9WzwPH.GWiLwxlL5AnEy9ByjoLKZ554aJgsKplDoBCrjyjY7b.jyvh88h8KdwgemdY3IbKHKHWvM_Kk0YsDWmV0T1UjIvJyUrsfuKBy6izxGHoeR7eQHFPuElmK7GeEvxHIp04qc4zL3GnxbQx26oM2PQyAUE6gHGbyP5kyvJzmFPMIFATFIRSE8La0Alb7CmebcZY5vKTVy_5aTcf6oIk3yOxOumRIK0UggOp9XkC1D8QKuIKn_OYwbnYGSYxF4MFnVK.tQBNsalKDLAz3DCg4OsDgtZPCW8vSs.ZFuVhtxYtQEuGaLQ3Le9CkYLTTTSBMi2BwaPIu6EtqNZZvYf8jjp.I._NnVIA_YNY96fptgLwGWX0FSp9kc54QRCuTpMS2bh9ycHyH64h3fP9beNRmUGQ7bvsFOOPHprLpgEhCDAqgx299qwHJ5XsbIKKvgflc18rfiWwcIQnneq9hdvdOgz6Nt8JPPuVSWLzd5a3pkq6YDDqFAZ3vIXKghUg7V1S5Rk08nTXVRPk6we3qleL6K8R07VqvIwNkFuhRiUyssFyfHzTn7lx1fLEV_OkAhG289_1oC1bqOhOKsZ6BJaBuyVw6SFTjz2jfUWIfhXwES_rUJFNU6MR36rxjyAG9ANAM9luVg7NSLPt5p7ZQCDUhdeBMnnPHBW9Lq52kTog6OjQTS_0yJSoOzMyNuLuRdkPPDbsEE35TW8GnW_NsS0Bvs_ghSiabdXIW.OPhGZHSgUVd4ahAs8.iaZsJ7YnhDjYsU.OUhqPmH19AjB8yGVeKangI6akMMZcjXrO6JJieqpeufLmstY_Nnf4t.6BobxEC8VUjJpql2cG_iL7Cfe.s0jZJd6zcd53eehcSKaWD8cQIUNocj7EdPllLc2kwT45JpO5UZUtRfIAe65_v9g',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651b04604730012';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\/builtin.tex?__cf_chl_rt_tk=j2fXQ1QEDaTLrku.9YbfQnIX5d0bd3jjaO_9C.zM9I8-1753509750-1.0.1.1-SkcDgc7ICtq3BAvfcJHu3SynnVy7OBKDGPeHISAKfr4"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>