<!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: '95ed6f3dc173e1ff',cH: 'Ffi03RS1Dj8bmxMumI1Ysi6uaY4N7T8bhIW7ABO_Px8-1752458511-1.2.1.1-1CbPE6HK3BE5YCKePlYK8QkteiqMV.jg1IIOhf0sRCb7UJ0LygZ2CbPqM8aTfQwi',cUPMDTk:"\/p\/xsb\/src\/1134\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_tk=QDgJboDNXVU1Tj2RWZmf3Qy_MGyrusOuzsba6QhzSqU-1752458511-1.0.1.1-ZRG6Bm7Klnlw_NQ7gjDnYSiXFGUY1U9JuQ3Tl9U6TzA",cFPWv: 'g',cITimeS: '1752458511',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1134\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_f_tk=QDgJboDNXVU1Tj2RWZmf3Qy_MGyrusOuzsba6QhzSqU-1752458511-1.0.1.1-ZRG6Bm7Klnlw_NQ7gjDnYSiXFGUY1U9JuQ3Tl9U6TzA",md: '1wV2dSMkFTLRGglsZoLZEeD7O8g3b_yYwOn0ohQRoog-1752458511-1.2.1.1-kZ7YVl7DgUsNSwZ0qCvonV2yZyJsHgY.LOmodoP_VH_XRgqNtcxMqdJLwciQLOw4cBHR3jGITKCJ4eBIAuLkuI2cTxzATy1osCBjWVYH2u.aPc3vLlugC7Q_Gd9m9XizwjP869H0OvGohNpfXCSf5KNr_mcBQzufvGg46ghuBj21PacVNGNmIgUiQmGgjv.M4vydjzelbjnHvix.3LTL20W3pXYKLhBPwO8rhI5ms5BDFQ7hCERg4f8k7J3Rvak61P8NzETt0p0Vy2glBfRXKJKMBhiShD2AKtboLLXNOv5uWRF2EeULtnWFDDGHaOdMci6Bf0RiUdNgDcE4nW0tUYGLYy9BeXx2K5i0gDzini_VIx35qNyXYl5YjXBFupeW7XbXv16ltwj3m2jrZV.CvfFTH5yz4UIGwUBVaBzIybcpV7SLxRhbDKmI8zsAJrkWObcOzLQ1Whdosre7FgOGbpCAzlXHukKdYokBfOqk7YUkwMCEt9poeZuD5jbO6VaFvlaBgnUt23tRTZtDC_RYgNdd4SAQu_6kDE9_T6P4e78pOz.VrbYpRWpcfG05aEnc9zf5mRy8OCAbKx7emN7ek5TiA95tHq95TKNCjcaEcNSV1KvvSeanxCJtOskPXsfTkVxThoCvbEWkVIfIMgb4tutzNrSflHpqGzGOEXObpLbcOwxBgWySNHjnc2UiiOj1PwfZlASgXImupRMyGBWVjfWGKjUbRsRCfNXNaPJZ_8jG5bKuHd5gNr8pKbO.4cwO08IUZhT8bvEY5MCD7b14hhREud.GdOKLTfNiRIYWv88A8DHUJiE8ShIUc9z36vCeNu4hrgdBxcczH94nI1QoJHvyvULLrmr.IJESDM2KryW8u0ed4O40iH1EwR3QvGFf7uGneLAQked1rZ6gek8aYz1Bi5FaryZPZU48KjXyMktqGY7Lud6cwvQVT9VfxXKnCLyk9cCkgQ54e6x7xtzHiZjKVEj_0Z8sazGy_IgP7Xg',mdrd: 'kSJXjrpfB21l_1K5nuaCy.l.TPWa4Ug.1hm7TsJPQa4-1752458511-1.2.1.1-R90T9ddT7I.u6hyWFNBenQg2DfC9SgEk292ZJH_tpbFX1KZm.U5gme0pHPVb4btgq7bNBiRpfqHRbJPawpCtHZFf2WS.xoCHcpB.eEGGfxocFGzfo2aBESt1zkvJKmWYAdLZ3DBZjtJSJQzDoVtsuDtOS6Exh5UmYlGJPfqu_8_r8NVIEmt1peIf33fBpuV3HE4.NNOHzOHgeBmOBhVt9ErPbf9I1.VNv8IJLTbe2QgAE6Di6KHWNqq4lqfS.RLD5tbjew2_82uIzyTWgxCC46cyjjOPttbpZDguE32WgvC.804EOMuxws1Pokw59NSDansNHunASHlMOxqW0RSZ2uvErBcJcRawVZYLigSKMZ9udAKAM9xbtMCH6LIWtZZJCLMPkdKWwlMST7EVmR1riGUREeix7qP16p_hd.AWPi3RcQ4ymwiewbCZDVPxPa0ckC_N.Hs6hMP1ZIIE3pFD2uCMv8X0INQp26aK0a.OLbc9T5r4LKgaARNnzADjYPIMoTCL_.S6m2BqV.pFB3PxkiGsfmQEiu4i8mPdIECN9cpb9W18af.lVQ6tlosAzXkbBp3HO0KeysQEKeQRK.dJj8te6vgH5BK4mb1NnI5T8a4zwFmfk7V52gmNMSAKlp0VJaJrcByeMpLfWqCXu51pmdCbZPM73XHLHsNXSpsmt9pjah9aKsX0YFoRkPkGlOsRjW3X3EoQj1n1suXyhlm8b0wcz3S1M1elgxF3YF0fSK5qtV_Ot3s.PvrYM8wlFXPmYR4txlc0Atav_Xp9pHsjoskot8Ox11swS49C.G.3gN_VDUmS1crrLVzAjevLtmihMOOrn1.ikAvtHiyT16KQGbMmZSW5SNnDLSP1011eBzms3Wp9e1eX_e539tfkJJZnYsOjfGTwdLJbjsUWi8sOATK1SxZ67TZkKyK2bJveTiyXPaTGGygsV5ZUVuCiB69d5V0bmlCtYMDX7iUACAzxSMEGoBjoPu740e.j7Sj.mj2m4SZaVXIHOhpsdVTdc0JSn8fzGmEAgkvqhkKwb4v3OmQMr0V.U1fpu4XhjrMS9OrZTBMsUzQXlOoUNnandnRr6m3f_51yE8hnWt2qsnTtb9fcRBxt7DuepUS2XywhRe4wJortJ1lA0UanUtyqcfaVZRP6wtOkfO8T8CsD4DmXdjn.zLTSuDyk3AVNZlqBPbAcOU1himOG5QeAkOp0Vy3STB727e8Ixq4r9dnvStQD287tPbHp0slEwqHd1TlH0miqDJRwJujqviDzuUfjr06PgiRNgOA.NlIymExTSre8WSgmdgYMQbx1eEM0OIBcPTINk_WiJ1b6bogDr3K6iZdapNVy1nX87Pynub3lx.vPeaBVnkH.3MPSqosa9XHq_Wx7O1pRc.9r8V2X_WZ.4jJMF40Y4C4iBmZVwCaxNf20SB5C6xr3y6mWLwkpKakO_fsgybPWLao1YylXKwNIZ0SS.sPoapvXtPFLKuCbv7kpsfuSoXUG.w4WKtWvtQ1Qh7zvWvKAt.RfN4QFfNhhe_1AvyWEzmIV_vtitiFH1gcCM5IROBWC_V40xHcpHNUwtdS.aqANdrjVUt5FuqJF6b3UW7sMjmy2_fY.l70vAdLRRHvoSFqmhHeqNUVmCtUAO7fohffRGWvCl.U0Qf8HiKDZrc7FbImfxghGeHSffyTqJJxkkdlwq7SnJ.DLQuzXCthWBOc_cXRvYPiXpllZtHb9Rjsn2COtMKrdzBptkAwDCUTTvfszOrEYiWGEN7OtpFzQUK8pCuiHsAB5MUAdVaEwSXBBRJbt6p2Yl8q9cqJgFyX0ToRi37QceKHKrzzMTT3sQI7WDkRTQusQO9CF1almwsauII2Y1jgIPLD5BS7jfkduR9h.5srxOJkJ6M00I4QyCmEJtNa5qLKx7QTidrnVbDuIRbJv65FHbcDw04EjlO8BjxEuSD97VnDQGhEuKyQS_qCTlDGJGMqnTsseUnL7iznkwxqJ3re6ky2St2rCOz5E4jlBg4zwGZfj19jorfyaUGGF2TgGGiYzv9iS6E8JcLKoech.kR5sQUgGfMn20r9rR3VUoGj_H2.O5XTTTOcf74Ao3f0n126ujNtFzT9Fy1D9zJdoJHHlh3iFUXhbwr29qe5LEAw2yJYGXKb1Fwxm6uCQKe6UrIlm6BYvA5RqK2BHftmnV2rH42xDU7P2r9qSbo8Op4gwOPA5neiurkknai0wsnHsRswS1FajDxrmWMRFxYpCJnR3JyrfDd5xkgMm_XKVagpfAUU9Kt3STMf08iKLqNa2TwVZzremikvts3lX.lQGrTZXDU6Y0BgOEx3B66u5b8s5R7KVxhHDT550omcJgxfHG4JB5liwokg4jOWj.oH8QQeyRza6PX82RtKs3mUlp2O0tlq0GEoJ0zgIbF45g.I1I9mWCVymHIk2vg3Wts7ba4aL0ockNKA7tfXMuUhD3GKJVCBsCnmYHbdR.qSeTN374xgcJEmddBvf.WPQBk9R69CFzVYUZEGgrbCN1bcH57dF3Zu.tuaC0..RSzCh1m24FCjHni9aaZkgesaeGfJ.O7wlrE1ASkLvXCgrpZwE_e67vCtD7qT021UUQ1_MzmPG9KS4crNN3wYsE8Ptw9P0zBCw3u1yb8JtZg',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95ed6f3dc173e1ff';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\/1134\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_rt_tk=QDgJboDNXVU1Tj2RWZmf3Qy_MGyrusOuzsba6QhzSqU-1752458511-1.0.1.1-ZRG6Bm7Klnlw_NQ7gjDnYSiXFGUY1U9JuQ3Tl9U6TzA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>