-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathdocs.html
More file actions
1 lines (1 loc) · 11.8 KB
/
Copy pathdocs.html
File metadata and controls
1 lines (1 loc) · 11.8 KB
1
<!DOCTYPE html><html lang="en" class="h-full"><head><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="preload" href="/_next/static/media/e4af272ccee01ff0-s.p.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" as="image" href="/pluck-feather.png"/><link rel="stylesheet" href="/_next/static/css/76b7db6947d7b8d8.css" crossorigin="" data-precedence="next"/><link rel="preload" as="script" fetchPriority="low" href="/_next/static/chunks/webpack-8f9a63e426d43887.js" crossorigin=""/><script src="/_next/static/chunks/fd9d1056-4db9243fbb8e5bc8.js" async="" crossorigin=""></script><script src="/_next/static/chunks/69-77f069c3cbb16a9d.js" async="" crossorigin=""></script><script src="/_next/static/chunks/main-app-df0dcae23d31af7a.js" async="" crossorigin=""></script><script src="/_next/static/chunks/668-601e0b47256e143f.js" async=""></script><script src="/_next/static/chunks/app/docs/page-f4970acb21131198.js" async=""></script><script src="/_next/static/chunks/250-6ca3c26bd787eb26.js" async=""></script><script src="/_next/static/chunks/app/page-20f1b752c05e93dc.js" async=""></script><script src="/_next/static/chunks/app/layout-e5ddc09160139ddb.js" async=""></script><title>Pluck - A Probabilistic Programming Language</title><meta name="description" content="Pluck is a probabilistic programming language designed for efficient inference on discrete probabilistic models."/><meta name="next-size-adjust"/><script src="/_next/static/chunks/polyfills-c67a75d1b6f99dc8.js" crossorigin="" noModule=""></script></head><body class="__className_e8ce0c h-full bg-white"><div class="min-h-full"><nav class="bg-white shadow-sm relative z-20"><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><div class="flex h-16 justify-between items-center"><div class="flex items-center"><a class="flex items-center text-2xl font-bold text-primary-600 gap-2" href="/"><img src="/pluck-feather.png" alt="Pluck feather logo" class="h-7 w-auto" style="filter:invert(41%) sepia(98%) saturate(2227%) hue-rotate(172deg) brightness(97%) contrast(101%)"/>Pluck</a></div><div class="hidden sm:ml-6 sm:flex sm:space-x-8"><a class="inline-flex items-center border-b-2 px-1 pt-1 text-sm font-medium border-transparent text-gray-500 hover:border-gray-300 hover:text-gray-700" href="/">Home</a><a class="inline-flex items-center border-b-2 px-1 pt-1 text-sm font-medium border-primary-500 text-gray-900" href="/docs">Documentation</a><a href="https://github.com/mlb2251/Pluck.jl" class="inline-flex items-center border-b-2 border-transparent px-1 pt-1 text-sm font-medium text-gray-500 hover:border-gray-300 hover:text-gray-700">GitHub</a></div><button class="sm:hidden inline-flex items-center justify-center p-2 rounded-md text-primary-600 hover:bg-gray-100 focus:outline-none focus:ring-2 focus:ring-inset focus:ring-primary-600 z-40" aria-label="Open main menu"><svg class="h-6 w-6" fill="none" stroke="currentColor" viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><path stroke-linecap="round" stroke-linejoin="round" stroke-width="2" d="M4 6h16M4 12h16M4 18h16"></path></svg></button></div></div></nav><main><div class="mx-auto max-w-7xl py-6 sm:px-6 lg:px-8"><div class="prose prose-lg mx-auto max-w-2xl px-4 sm:px-6 lg:px-8"><h1>Using Pluck</h1><p>Pluck is a probabilistic programming language designed for efficient inference on discrete probabilistic models. This guide will walk you through how to write Pluck programs and run queries, while showcasing several examples that demonstrate the language's capabilities.</p><h2>Table of Contents</h2><ul><li><a href="#writing-a-basic-pluck-program">Writing a Basic Pluck Program</a></li><li><a href="#running-a-pluck-program">Running a Pluck Program</a></li><li><a href="#language-reference">Language Reference</a></li><li><a href="#sharp-edges">Sharp Edges</a></li></ul><div id="writing-a-basic-pluck-program"><div class="mb-4 border rounded-md"><button class="w-full text-left px-4 py-2 font-semibold bg-gray-100 hover:bg-gray-200 rounded-t-md focus:outline-none flex items-center justify-between" aria-expanded="false"><span>Writing a Basic Pluck Program</span><span class="ml-2">▼</span></button></div></div><div id="running-a-pluck-program"><div class="mb-4 border rounded-md"><button class="w-full text-left px-4 py-2 font-semibold bg-gray-100 hover:bg-gray-200 rounded-t-md focus:outline-none flex items-center justify-between" aria-expanded="false"><span>Running a Pluck Program</span><span class="ml-2">▼</span></button></div></div><div id="language-reference"><div class="mb-4 border rounded-md"><button class="w-full text-left px-4 py-2 font-semibold bg-gray-100 hover:bg-gray-200 rounded-t-md focus:outline-none flex items-center justify-between" aria-expanded="false"><span>Language Reference</span><span class="ml-2">▼</span></button></div></div><div id="sharp-edges"><div class="mb-4 border rounded-md"><button class="w-full text-left px-4 py-2 font-semibold bg-gray-100 hover:bg-gray-200 rounded-t-md focus:outline-none flex items-center justify-between" aria-expanded="false"><span>Sharp Edges</span><span class="ml-2">▼</span></button></div></div></div></div></main><footer class="bg-white"><div class="mx-auto max-w-7xl px-4 py-12 sm:px-6 md:flex md:items-center md:justify-between lg:px-8"><div class="mt-8 md:mt-0"><p class="text-center text-base text-gray-400">© 2025 Pluck. All rights reserved.</p></div></div></footer></div><script src="/_next/static/chunks/webpack-8f9a63e426d43887.js" crossorigin="" async=""></script><script>(self.__next_f=self.__next_f||[]).push([0]);self.__next_f.push([2,null])</script><script>self.__next_f.push([1,"1:HL[\"/_next/static/media/e4af272ccee01ff0-s.p.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n2:HL[\"/_next/static/css/76b7db6947d7b8d8.css\",\"style\",{\"crossOrigin\":\"\"}]\n0:\"$L3\"\n"])</script><script>self.__next_f.push([1,"4:I[47690,[],\"\"]\n6:I[77831,[],\"\"]\n7:I[87627,[\"668\",\"static/chunks/668-601e0b47256e143f.js\",\"726\",\"static/chunks/app/docs/page-f4970acb21131198.js\"],\"\"]\n8:I[5613,[],\"\"]\n9:I[31778,[],\"\"]\na:I[25250,[\"668\",\"static/chunks/668-601e0b47256e143f.js\",\"250\",\"static/chunks/250-6ca3c26bd787eb26.js\",\"931\",\"static/chunks/app/page-20f1b752c05e93dc.js\"],\"\"]\nb:I[13071,[\"250\",\"static/chunks/250-6ca3c26bd787eb26.js\",\"185\",\"static/chunks/app/layout-e5ddc09160139ddb.js\"],\"\"]\nc:I[87515,[\"250\",\"static/chunks/250-6ca3c26bd787eb26."])</script><script>self.__next_f.push([1,"js\",\"185\",\"static/chunks/app/layout-e5ddc09160139ddb.js\"],\"\"]\ne:I[48955,[],\"\"]\nf:[]\n"])</script><script>self.__next_f.push([1,"3:[[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/css/76b7db6947d7b8d8.css\",\"precedence\":\"next\",\"crossOrigin\":\"\"}]],[\"$\",\"$L4\",null,{\"buildId\":\"tpm9OtSP7_IPob1h4c0YQ\",\"assetPrefix\":\"\",\"initialCanonicalUrl\":\"/docs\",\"initialTree\":[\"\",{\"children\":[\"docs\",{\"children\":[\"__PAGE__\",{}]}]},\"$undefined\",\"$undefined\",true],\"initialSeedData\":[\"\",{\"children\":[\"docs\",{\"children\":[\"__PAGE__\",{},[\"$L5\",[\"$\",\"$L6\",null,{\"propsForComponent\":{\"params\":{}},\"Component\":\"$7\",\"isStaticGeneration\":true}],null]]},[\"$\",\"$L8\",null,{\"parallelRouterKey\":\"children\",\"segmentPath\":[\"children\",\"docs\",\"children\"],\"loading\":\"$undefined\",\"loadingStyles\":\"$undefined\",\"loadingScripts\":\"$undefined\",\"hasLoading\":false,\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L9\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"notFoundStyles\":\"$undefined\",\"styles\":null}]]},[null,[\"$\",\"html\",null,{\"lang\":\"en\",\"className\":\"h-full\",\"children\":[\"$\",\"body\",null,{\"className\":\"__className_e8ce0c h-full bg-white\",\"children\":[\"$\",\"div\",null,{\"className\":\"min-h-full\",\"children\":[[\"$\",\"nav\",null,{\"className\":\"bg-white shadow-sm relative z-20\",\"children\":[\"$\",\"div\",null,{\"className\":\"mx-auto max-w-7xl px-4 sm:px-6 lg:px-8\",\"children\":[\"$\",\"div\",null,{\"className\":\"flex h-16 justify-between items-center\",\"children\":[[\"$\",\"div\",null,{\"className\":\"flex items-center\",\"children\":[\"$\",\"$La\",null,{\"href\":\"/\",\"className\":\"flex items-center text-2xl font-bold text-primary-600 gap-2\",\"children\":[[\"$\",\"img\",null,{\"src\":\"/pluck-feather.png\",\"alt\":\"Pluck feather logo\",\"className\":\"h-7 w-auto\",\"style\":{\"filter\":\"invert(41%) sepia(98%) saturate(2227%) hue-rotate(172deg) brightness(97%) contrast(101%)\"}}],\"Pluck\"]}]}],[\"$\",\"div\",null,{\"className\":\"hidden sm:ml-6 sm:flex sm:space-x-8\",\"children\":[[\"$\",\"$Lb\",null,{\"href\":\"/\",\"children\":\"Home\"}],[\"$\",\"$Lb\",null,{\"href\":\"/docs\",\"children\":\"Documentation\"}],[\"$\",\"a\",null,{\"href\":\"https://github.com/mlb2251/Pluck.jl\",\"className\":\"inline-flex items-center border-b-2 border-transparent px-1 pt-1 text-sm font-medium text-gray-500 hover:border-gray-300 hover:text-gray-700\",\"children\":\"GitHub\"}]]}],[\"$\",\"$Lc\",null,{}]]}]}]}],[\"$\",\"main\",null,{\"children\":[\"$\",\"div\",null,{\"className\":\"mx-auto max-w-7xl py-6 sm:px-6 lg:px-8\",\"children\":[\"$\",\"$L8\",null,{\"parallelRouterKey\":\"children\",\"segmentPath\":[\"children\"],\"loading\":\"$undefined\",\"loadingStyles\":\"$undefined\",\"loadingScripts\":\"$undefined\",\"hasLoading\":false,\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L9\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":{\"fontFamily\":\"system-ui,\\\"Segoe UI\\\",Roboto,Helvetica,Arial,sans-serif,\\\"Apple Color Emoji\\\",\\\"Segoe UI Emoji\\\"\",\"height\":\"100vh\",\"textAlign\":\"center\",\"display\":\"flex\",\"flexDirection\":\"column\",\"alignItems\":\"center\",\"justifyContent\":\"center\"},\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":{\"display\":\"inline-block\",\"margin\":\"0 20px 0 0\",\"padding\":\"0 23px 0 0\",\"fontSize\":24,\"fontWeight\":500,\"verticalAlign\":\"top\",\"lineHeight\":\"49px\"},\"children\":\"404\"}],[\"$\",\"div\",null,{\"style\":{\"display\":\"inline-block\"},\"children\":[\"$\",\"h2\",null,{\"style\":{\"fontSize\":14,\"fontWeight\":400,\"lineHeight\":\"49px\",\"margin\":0},\"children\":\"This page could not be found.\"}]}]]}]}]],\"notFoundStyles\":[],\"styles\":null}]}]}],[\"$\",\"footer\",null,{\"className\":\"bg-white\",\"children\":[\"$\",\"div\",null,{\"className\":\"mx-auto max-w-7xl px-4 py-12 sm:px-6 md:flex md:items-center md:justify-between lg:px-8\",\"children\":[\"$\",\"div\",null,{\"className\":\"mt-8 md:mt-0\",\"children\":[\"$\",\"p\",null,{\"className\":\"text-center text-base text-gray-400\",\"children\":\"© 2025 Pluck. All rights reserved.\"}]}]}]}]]}]}]}],null]],\"initialHead\":[false,\"$Ld\"],\"globalErrorComponent\":\"$e\",\"missingSlots\":\"$Wf\"}]]\n"])</script><script>self.__next_f.push([1,"d:[[\"$\",\"meta\",\"0\",{\"name\":\"viewport\",\"content\":\"width=device-width, initial-scale=1\"}],[\"$\",\"meta\",\"1\",{\"charSet\":\"utf-8\"}],[\"$\",\"title\",\"2\",{\"children\":\"Pluck - A Probabilistic Programming Language\"}],[\"$\",\"meta\",\"3\",{\"name\":\"description\",\"content\":\"Pluck is a probabilistic programming language designed for efficient inference on discrete probabilistic models.\"}],[\"$\",\"meta\",\"4\",{\"name\":\"next-size-adjust\"}]]\n5:null\n"])</script><script>self.__next_f.push([1,""])</script></body></html>