norden.social

0 posts0 participants0 posts today

José A. AlonsoProlog vs LLMs: A complementary approach to AI (according to DeepSeek). <a href="https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a>

José A. AlonsoBuilding AI for mathematical reasoning. ~ Chris Garcia. <a href="https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

jbz｢ Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures) ｣<a href="https://curry-lang.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://curry-lang.org/</a><a href="https://indieweb.social/tags/currylang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#currylang</a> <a href="https://indieweb.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functionalprogramming</a> <a href="https://indieweb.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a>

Panicz Maciej GodekIf you're interested in <a href="https://functional.cafe/tags/Scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scheme</a>, <a href="https://functional.cafe/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lisp</a>, <a href="https://functional.cafe/tags/MiniKanren" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MiniKanren</a> or <a href="https://functional.cafe/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>, I wholeheartedly recommend William Byrd's 'From Bronze to GM' youtube series: <a href="https://youtube.com/@williamebyrd" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtube.com/@williamebyrd</a>

Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺The simplicity of <a href="https://norden.social/tags/Prolog" class="mention hashtag" rel="tag">#Prolog</a><a href="https://bitsandtheorems.com/the-simplicity-of-prolog/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://bitsandtheorems.com/the-simplicity-of-prolog/</a>"Imperative languages focus on how a problem is solved, using sequences of instructions to manipulate state. In contrast, declarative languages focus on describing what the problem or desired outcome is."vs. <a href="https://norden.social/tags/Kotlin" class="mention hashtag" rel="tag">#Kotlin</a> <a href="https://norden.social/tags/logicProgramming" class="mention hashtag" rel="tag">#logicProgramming</a> <a href="https://norden.social/tags/DeclarativeProgramming" class="mention hashtag" rel="tag">#DeclarativeProgramming</a> <a href="https://norden.social/tags/programming" class="mention hashtag" rel="tag">#programming</a>

Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺The <a href="https://norden.social/tags/Dusa" class="mention hashtag" rel="tag">#Dusa</a> Programming Language Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. <a href="https://norden.social/tags/datalog" class="mention hashtag" rel="tag">#datalog</a> <a href="https://norden.social/tags/logicprogramming" class="mention hashtag" rel="tag">#logicprogramming</a> <a href="https://norden.social/tags/graphs" class="mention hashtag" rel="tag">#graphs</a> <a href="https://norden.social/tags/prolog" class="mention hashtag" rel="tag">#prolog</a> <a href="https://norden.social/tags/programminglanguages" class="mention hashtag" rel="tag">#programminglanguages</a> <a href="https://dusa.rocks/docs/introductions/graph/" target="_blank" rel="nofollow noopener noreferrer" translate="no">https://dusa.rocks/docs/introductions/graph/</a>

dorotaCHelp, there's <a href="https://fosstodon.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> in my <a href="https://fosstodon.org/tags/camera" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#camera</a>! $ ./config_query 'eq(A, config(_, 640, _, _)), A.' camera.get_id() = "uvc:Integrated Camera" Solution: "A = config(fourcc_YUYV, 640, 480, fraction(1, 30))," Solution: "A = config(fourcc_MJPG, 640, 480, fraction(1, 30))," fraction(1, 30)),"Oh wait, it's just <a href="https://fosstodon.org/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> in the incoming <a href="https://fosstodon.org/tags/libobscura" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#libobscura</a> feature.The above query returns supported <a href="https://fosstodon.org/tags/image" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#image</a> formats and frame rates at 640px wide.This API is optional, but do learn some Prolog anyway.<a href="https://fosstodon.org/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a>

Brian RogersFinally! A new episode of "The Search Space"! #6 - Adam Smith on Answer Set Programming <a href="https://thesearch.space/episodes/6-adam-smith-on-answer-set-programming" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://thesearch.space/episodes/6-adam-smith-on-answer-set-programming</a><a href="https://infosec.exchange/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://infosec.exchange/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://infosec.exchange/tags/AnswerSetProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AnswerSetProgramming</a>

chris martensnot that the world really needs more computer science conferences, but i keep wondering if there’s appetite for one focused on procedural generation/generative computation, i.e. the union of PCG, generative art, program synthesis, &c.mostly, it would really help to have a name for this field that people don’t mistake for consisting entirely of text2image statistical models<a href="https://hci.social/tags/generativeArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#generativeArt</a> <a href="https://hci.social/tags/genartclub" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#genartclub</a> <a href="https://hci.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#generativeAI</a> <a href="https://hci.social/tags/procgen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#procgen</a> <a href="https://hci.social/tags/proceduralcontentgeneration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#proceduralcontentgeneration</a> <a href="https://hci.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programsynthesis</a> <a href="https://hci.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a>

novatorine 🏴🏳️‍⚧️Does anyone on here know how to make a <a href="https://kolektiva.social/tags/backtracking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#backtracking</a> <a href="https://kolektiva.social/tags/algorithm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#algorithm</a> faster? I'm writing a <a href="https://kolektiva.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a> language ala <a href="https://kolektiva.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> in Rust and it's already pretty slow (takes 1.11 seconds to find 20 answers) at even four rules deep and a database with 84 facts. Might it be string comparisons for variable names and such? If so, how would I accelerate that?

Recent searches

Search options

Administered by:

Server stats:

#logicprogramming