<!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: '95e0bb3b25e741cb',cH: 'vkDagbDVAsjxVEaCZJicefpuvRFk4TcBvIvLFIxsSmA-1752325308-1.2.1.1-JbsWVsTA51NHIYQV5FxabtNW_XYjzdgTHfsq9yeejD66PxZ5TFXIZgvVHrPUqVPC',cUPMDTk:"\/p\/xsb\/src\/1843\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_tk=XyhaZruOMb6RKC4AYeN.bTiZRIWe6dHTNMPROZyK8uE-1752325308-1.0.1.1-LR8wo8hcbkbNIeJwoC53DR7jHRYI1a3voxgcJbesWhA",cFPWv: 'g',cITimeS: '1752325308',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1843\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_f_tk=XyhaZruOMb6RKC4AYeN.bTiZRIWe6dHTNMPROZyK8uE-1752325308-1.0.1.1-LR8wo8hcbkbNIeJwoC53DR7jHRYI1a3voxgcJbesWhA",md: '0YOYFVrs_Q5HkQNVzQImwZTLES4fvUaczP894RW6C7I-1752325308-1.2.1.1-g6uBBGeWEX52IFtiFCLkh.Iz97V35qsblv1gKWeLzEU44B9phLWLjnd4LMKoWzEoUQSVUDa7LKQEgmdrGVXOUY48dLON.L3oNX.yc3otedXa4p3XYfJHsUfYnyIe87LMY.scVWcL40czSzMVsbH55iFJoB1qesWAD2f9qSsyFG9m809A6LoDXezXgYPr0yhPjipiAz5y5pJ07wnIif.dtMYnro2T38tLP7v3WpDDF.BWyUtGMs53EzKW9w6usp3dX4Ur06Y_FxXOvQ9zapUEpt83TeGMk9xzrYdQaiXNAlMH4L7EZkWYhNHV4okh9ggevvOxQhh2Acd7Wb569KbjZkArS8fPBgVQHjRnMe2F3AIaQT7RBnJb2ZJXbEkHWn59CL_jyMcP6KUcfWKPDMIxnlGdBTT_fQiBQSx3who__611UrUDfCNah0Va_m35fETFQQDpsXDcFHX01HhMovKpZ42Y1WSGaCVIctDeA2NEp07VSsnqL8Twrfm2eUHfHej_6zYB2UhMj7zoo7MaZgnfiGfp0E1QPWX5wve2WNAXjrj2EdzyGYtoUBgAPHsl53ZNiTMi46Qshb3wfBEi_Vrm9VQ5daD9_L.cD2EK58vL8hhnqxvRtfoRDfQ3H2FKfhbnIs7wZITsmYA2xISuXjKEq8ahnqYck3fEfkl7K.yAmxN3zxMdLqmlxfhG48u.b3vCX2E5SUO3BKSxo_pV6JHwhBf9pUzqTZZh6xx7Jppps0O2U0hL9Su65G6vjiqZk8D_OHOrwO2uM7.lCmBnYR.7Axg8P53oOf5rHOmGytt6HDGEkvIHn20rJeA2_M3886DVQlg2Ar9hhsGSIj5TT2UABLPk7cu0Qk1ny02Uw.sykLoPQJFukSDSpT_Na7mOi.4k3SoJzSyaOvVrrHVkhn0OkOEx.aKc9RvasxVTWFYfW2Qp6kcl2FUhffqLr1uV5JxvW0yFzQAgrrO5M.FiCcA8oMx9j..qm5SckOGWmgdObRg',mdrd: 'JYfz_PfHxoH7OSlF998qGF47Fl.l8cqKic9BTkUKogg-1752325308-1.2.1.1-Z0RlCubgrXad4WhbkCEGezMr1YW0NTWGTydKXedMJr6jiO0QCJXqQy_vwPjHTph3UcP6UGbwTwJrhZz_x4Uj9L3kbr.oIYZUxVMD7EmK7vglNqZWptMItrTVLxkT0lDcsFlAx3YoprerJoHHJoJczA3klbKF.TDNig71QBBjlUYsia9h93uRJGTSwhfjw8LwKsn8ri2GQS2k6.Kv_2Y0GBhmO646ldL50TrPVbtiplL7TNFBAwWK1nFQ0QahZMma9RvAIB1vM6IqEVP3BVqmLr9AhcAwuv.C0NSfHFUXh5N6mSKdAHsKbY5vxubG3fvP0keZ_Hvb76T8oBGPAMlbQxDszkZnljUbvbDWSYbXA1MUJVlUGFEBOGF6J.TUjLu8sSv7kZGU00LCXKGoutW33OW1wR8oqiO_BQt4FYwpww7pUbOuf_zonTcURkKceqNW9FBWXtKFqtep0ugyoctaK0_dZXpEbn61Zma6p30TFh5XRYJ48xkh9QfQyogm3i_dAck4Pii6wzMQNBpS9NieTtTrEwEA_l1N2mAtt9ScceIpiSuM.WVG30Krj.NmoXxsz.nTUXEp9utzDfbQYU.Z98numtjhCxsGKtSJqd369hm_zGDT_kYmobRpo2WD4ltnm5lYQnWftZxBEyBgnPL5VAxaXM6w3vcGHI.7aCAengr.6d5oQQ.eMFavG13BEcQ6kQFMQ7SH.ZQRNBCR7jnAh8NASCEqDDEvwyjbDZrw8zupe5CsApM4..lCDE1eQNqmsDzWZkZHIGPisLROJHxoWNDUURLAN2ddFapsTnowbCH7AMml36AMBw0PW50dXwg4zY7HdHlKQO8_Ja0dPsRMY7Hdnz6jP.f81JHy8VGyjKym8fsOfrv6T4U3Gxh3MP8roWHdbfzJBUxcFDia.T_SMOBjZq7L1VDquIuyDoigrV3.OtD4ho0e0ZqycstPNR4TsaaGouhodVWQeS2EL3Z7.bQdNElclUPkbjl5j80JyzGxzWISmfZKyuBF5FzmHDtZpSbPPkilU5AUEqU7.ZEY1dQQSOaKHuL89W3g1WLL5wlpgpOW8x8EuhUF5maoifzmI77f_RD90BDCWC8F39SHw72NOu32rbNf4bsoVh3MlsI8b64OLgywSwdEJ8BegEhOLVP0zik6RPPD3jpb_x2OOBSLfCDsBpJzq9L3FMV5jIWuK9X7.RNjKSunEXp1PpPyUn_X1NEzENKpnr_HvkGGO5DHhK8zKUsdFtVue4myTPebINY4yVW0dwiwiEbMfXNurbTyEX2S7SAm3KxWvs9nDYpFeFN8GdNqbUp0i_LhG_e0I075ELW2Sx2B6p_wY5NMXRBMDvTtaNXZhsTPzP1q4TKkrzxqCe.X30j.r7RWaTGJYr7tukw8W6dwdbhpFFKNYuWz1QYr_rOXb.FJWj.jp0f78MwDhiC2D_FMEnguxHsVpJamgFVjJ4TzY2yfPPm4rzLbMC0dbvgJxtLXvJ1GB_Y3ObTw8ZisJeTloBuy77sH0tmFvTeurfMsiF.6XydAeTk6b2mvmwXzHstnhH26dc1PLoz1W0TqKYpxSsje.Nzx0nMLMJERgBZBg0413j9NgJpix5cr85rW5lZR9UGOIFb_DbWucfvgVyiAiw9_CDGAp6EbYOEZeCnyKKl7vn.kYoM06L9QzPXdlOWJR11OC5wZWWho7HHoU6eOhWvUgRTa8kI0bABfNSutqmQ.5S0eF8FVpNS1BKSTY5DN1GDoLuHjrRwC1.MIXNtcK5n1kwy7VWby8F91wn06hPAicgT3B1uiOYTh1fXId9WndCxrkmgvTazKuztxNCdSAC5GNN97K6lW1LqTJCBXYUiAoCD9_ma2zWojfHVEmzmEME7KCT_Uxr_eRKVk0YHKjJCIlYrLeD_6CllU6Hgl5Fu2286nvyL9y5m5FZ1JonJpI6G_6L1dUxDOlVSui39D2FjLq8I5VcNK7W.rr_pvYLt8.Sdt2U6h6uCO10A0I2hocwf5l1bKLijhF8.TQdHHweQyjeTEXN5xAg7fffgpGNpReHN3O5QDrybueLE9aLTg4ZTb8j9lZJaMuc1ibxPXslzC6cxVf.B3Td5nsaoi.j3OmcRmw9MoYTOrP14bTEKB3dJX098duGcnflTsiOpArFqIYtG58fK27bwaMJuIrT.yu.zQpdwv1OuZoVdCV95xCJl2NrMp2Ila_MuYG3enhA6lb8Cgb.G_aV8QMqDDe1P7jlgKmB9tJtTD6_wq0ooGo9Mu.kcKWVjP2Jf7rIlUw3Mm9XZcfnYPdpDhkWUv_aAJouhlFI9BvPzd7tAot3H3CfsWH3Mtux0L1uffEiDpwoH1G_SJ1XF91sVTX4rckITh_jz7etTP7ixOGxiniq3Bws4hTfqfvNHWdJX5OpGwci8Tfnrq3yjEWWngPgAH2wX19iA84b_DRxNPVuqmz3HCnEWQz.6U_i6rcL5P_Zr3XhZNzjWCuttXlYZqaiIIo3375x34_7iWiBmhzaeASzHOp7QokKizai5b7mxMNh9H3GUeTCd8z4EQ.S.MJZh.7x5OjZ_0Bu6BU2S8CHM9l2JitFkeSCZx9HYWBRUxvLlFEfdPELg',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0bb3b25e741cb';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\/1843\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_rt_tk=XyhaZruOMb6RKC4AYeN.bTiZRIWe6dHTNMPROZyK8uE-1752325308-1.0.1.1-LR8wo8hcbkbNIeJwoC53DR7jHRYI1a3voxgcJbesWhA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>