<!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: '95d27bf3457239cc',cH: '01RIdbOX0sVTlPrKYjqz2Sc.r3oZ8hmYb6fAfNKlryY-1752175916-1.2.1.1-FXzLwaqZz5bxT9X_.cq05.zEKcYoUUJlU3DPc23JpiMuQ_1BWxm9Wr4tqkgCEy0_',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_tk=xKQ7lrynYfVjm6uoCUFEZ1MkVEdx3bfgnbW9_WFKzMU-1752175916-1.0.1.1-jvULMYQlYcPcbuORsTXJilYcG5Lnw80ZRBNsoFUCp08",cFPWv: 'b',cITimeS: '1752175916',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_f_tk=xKQ7lrynYfVjm6uoCUFEZ1MkVEdx3bfgnbW9_WFKzMU-1752175916-1.0.1.1-jvULMYQlYcPcbuORsTXJilYcG5Lnw80ZRBNsoFUCp08",md: 'oV2zxQ2H0LQw7JBC03gB3W3wWVXRoHeSVw6YJ99iXQo-1752175916-1.2.1.1-0OczVtyZaFrMSyy_oNFWreC9KXof7V7cc0dJtEInCVype7ZQoEIuwDcxwW7RZYhq8xYrtpFfd7.7LkiXdIgafKkZyRUHe6UTTmjy_6ZywX4VBFNplZ4_jRFXWj1S_IfN_AwJ15xK9dBS7Q7FNOxlMgr2N6FOv8fJXILLpVMKY09xqVxy.AHWSFYgCLLeNJ6oI.muLoxlAZl32XbG_naONkUFhtZ9S2sRnuZRNaH242OkPBJ9IwrYvERAclKPoEaz_5nzdKuEJ9NlQhA0VJwvaQ6RHK6pv_X3G3QyqbXH3mAbButJIuAnNeHOVow9cFH7h22aBcymEn74EbVs7krnWT4QThDdmHadJ7.gA3vO23UcWNBsifmJQS7zNTF1IL7Ar3d3JGhqPl3PsvsF8bwiXxciswYpHhtAi0Oe6y9y9ZRPURiGlBueE4nBorlRKh0ipl4pb3bbk_fJ_TPiqn_yVKE7NjZitTbJW0kTBfnz0aY5vO2yLKh92BV1nIWol5.NJvi0YK1XL2IY.XizmhByN8X5t8SiVpdLCqXpX2IMpfRgnHwBop5ySwDxAtUNQNh6ZlnRGf9X2hFMQEQaLBSZK4Pabbv5KtJOH4NTwxUOsVJMvImlyqyaa_Cpp3bcerb.G78FkBVHRqflpen3kueA2q03bfB4jdR1zG_VT.Ywrjv56wWuM.nCW5NaOuv2aAqncvtu_VuloKsuyQmpgumZw1G_mJDRwyRT3M3axUfcfbBoTw8S3.1AlUOQaxRPekxn8.m1shgidLByvmjFw5p5xEYfFR2H.MwMK.9IB3gGwsa1pJXqKwqU467.e3zGsRlonD6YhElwpa5VPxyBV3bCpLMqX0YwtQfUgrFHLnNMlpqHn0aTTwNJ4BQOyepVu4CCNBFBTbpi2gPHyFiaTDp7RCQ3uWeq3OtEUxJjl.S7o0w2ppCt4ENWcms8Qc8xc65TjmGK3lD9nCtqrmw0bhNxFfFHF4vQV9qxDnczqIvQdl8',mdrd: 'Q5z2EP6pTofcgM8kc0kPwPe8AfYQOrALkHAPmHYgPTo-1752175916-1.2.1.1-3_H.vA8oYx5aw797u0OZ0Wg.RDIPZ.uVyZ2pJaikJLO51kwXylvNJjekpSUsMDUYUD5g9uouq_LxbA0hdJ51T1FPPyXJbNg_6ZoPCnbTj2DkUa_GZGF9DMj1DcWN_8VYVyjcjv3wQXYgV4M_rIZ_2SPbkIzJPbzen7sAZW8f8eQD3fUPkn0ryZeS5PzMWotpW9rDWjy4B_zLBKn0GJamnD4JiTBJQK.gMXqRYptWzKosgBgbUM2kaY26c2XdP4H17UvRw8SlOC5Mt.auZ70lywWyWp2bNRZ_uWE9YQ8mq1PnrUsOpX6K0JncWJXrgBYwzbvW_rlE_xkG5dtsBDWXjB1jyAE9MzpaGF_2UtPOjoh_M_waFg9VJ0T_m7Y73xaHo2fbbAdotw7H7cVFjXSL8MdaLKOKbGmKsC_m96klev_x6OVaixuEFLdVpsG0wCbcUddYwrjlqhTHmmkTJziMLmHuvpk6kkbHwmBihTfI3IRZV.ZYN1gqEByQ2DSmjGHR5OlpO_N7LJNaWdS4_FB8WOftqmEGIAE7QIjVURkOemh1w0pRyLjfkZhkj57z8OPoB3oIv9uMdA0JsFRpW3KzbsLvD1.TGUwelSMrBVN11Lk9StPJ9moRNfKknr3vppsV4Q6LiGHLPAXc4eiHVMWDXLbJX0ucNGUv0zYVW9RkjBXI7ak3Abt5Zl25olqmKaprUNLh109oFj.K7Zu1uaTVyGC_vAxlppdozh_lNi5Xr0tVsCTqLPMrH79a9C2RtgvUH7LsbY7rk2oH3nJmoI4CdgIP1EY6pjzpMB_VhpbJ3DvKR.WBQWD989J7HpYc1UwSXhnM9CAgmlyRB96Xerl18DjITkiw7SgUQgyja9aSwk5qyVcYEN.aJzs2biUP75bXp6PywpuUo6rHkfpaA9IROI.2EYQ5e.sSLLbzes.yz51XI.s3YAsHyS6QGaYk7zjQovS6HrXNDCgsNvyvrNWQK4S6URJzZ2Cj5v9PV4s3ZtwOlsnmegDs8cR6.9mkTf6D4LlHvEnc3admD.EHc_B4c1uIxQjoSOZJzz1GromvCdk8bI2UGCtEMTcBcPfxGrVq67UUiVbvP33QYvjh0XYsxjQz8LSy5KL6jU53Iu3zBqhHRk6ZIBi0zDv9uyKeeQGtqOanknYPyWOVy1TNX7yrVQyhp0CvegdNOcLJ8fvA6sTmnZ_ydy3jL5z3ucfFgoMKm5fr3QCYgJWn2qzgg_Rm9B4tzSNBcHyBfa8nk918ZAbz85eajaMkLjz8UB5Cjr8fe1Jw1JfIJaJvoYz7yrsrAbjL6_4BvO_ElQdrKBSlhiMV6_ZUjIr59qPn_w95qXL_rdnfqzDGCoOrtx3gmwlxAz5dShBD2pifD6ZpCIKOrYMKbGD9Ix48uI77rruliIRcFs.sS366UqYflKjSEjdQ2VHhf1eIrVfE6Dx_f44fDMC3fiWDrVd7l2jodLSkEKLf3G1GaZW1Shs2HglJOLWbrWHReITZpKkX1gpoQFrJeehdNR8I.GNb1nwZCNTDGhx8EiJ9vSEVQChqiW.AAKxqDepruhGU_.c7OhNETmWUBC5ccRbqchBrjdjEKwrzKcmNoOSxtn87UbNeC2rUWxaI2hHOffhfq.sv.SfikGmT7N0BgNo8MUQY3fAt0QC1uWV_NjDTfyqmoowqbz3iw6YRg6iCBwDU85zk3e6PKw5PDtJ4s8JvTgBIVpaGEZXv9ZzBeWfgkBf2Qw5ueYWBvCI5cmHpo3GlK9upHtAUHellSg_FIAyosOAV0MnTzUD34910G5BTL0JfWIYLnQtwMo3BWejvCGBaSaPHKN9F_JZGUjIE0Cu06iwvW1ecq7uktt_Quwu08otskzzM7BCWqxjhEUsRo_gQ9gE8y01njksQffWFL6V3_xaoevV0mHYFAoMjIpgBkU0obNrFRFVFaeO4v3lZR4JKzF2sVa7XZcDexdBAeY8AST1bqRz912JqC.v0iY.ddXWwFrUrppSBzx0ZiLKE9tp9gdEa7mTWRmyYBIAXILZ_uBotosB.n.knSDqdlxtmNKX46P4k6YFnLNEEdlS_BdWLTAaF90EyD1fPzKxxuOhWzzhyb9fltuql.gZMdPs3Dmaf5qQHCrunGtdMH5wtr12r3pCJkKqS8VDxJaD4tzr2N40jF4nKoH0c3z5Dzra6B4wE.sAmbJI0s1MS34xXUrkwtpmHb12Gso7TKmBT0TkM0cUvzMli1RMG8sMcCDLGUZEEBgG6fRpOvrH09ptRyFkd27aVFVpzl1rrU9RRbbECW9E1M322IhehJiZ6lBx4ZIOAtCq8RCZeKfapIrfvMk5dUc6o6Wx7JYufI8fOMn_JOUWF9oD4KtmWqq1Wv3b7KU7xghgvsQdCnYMNPa9qC7AdCVuPdaiROktoTsB8LtfzR5nFNqFMl1FF9.rXZhRoS4K7i412CTFFz_.Qwh4zxY_tInYc8cNsN_xaqVVc4U4rxqqWiHJrdvyVJasosSih70JybS.Vj9S733zHvjyi0loWu7N8mhPXInlIilviFB_YqmgWF_rKDa2iFcRrqPLEGzw.6nNCLkVbZbqmAW0.u5iFCC8daMFkiohdmNdZd2B.5_kJhoyPq22aFXze',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d27bf3457239cc';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\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_rt_tk=xKQ7lrynYfVjm6uoCUFEZ1MkVEdx3bfgnbW9_WFKzMU-1752175916-1.0.1.1-jvULMYQlYcPcbuORsTXJilYcG5Lnw80ZRBNsoFUCp08"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>