Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). https://prologsource.wordpress.com/2025/04/05/prolog-vs-llms-a-complementary-approach-to-ai-according-to-deepseek/ #Prolog #LogicProgramming #LLMs #AI

Building AI for mathematical reasoning. ~ Chris Garcia. https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72 #Prolog #LogicProgramming #Logic #Math

｢ 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) ｣

https://curry-lang.org/

If you're interested in #Scheme, #Lisp, #MiniKanren or #LogicProgramming, I wholeheartedly recommend William Byrd's 'From Bronze to GM' youtube series:
https://youtube.com/@williamebyrd

The simplicity of #Prolog

https://bitsandtheorems.com/the-simplicity-of-prolog/

"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. #Kotlin

#logicProgramming #DeclarativeProgramming
#programming

The #Dusa Programming Language
Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. #datalog #logicprogramming #graphs #prolog #programminglanguages

https://dusa.rocks/docs/introductions/graph/

Help, there's #logic in my #camera!

$ ./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 #Prolog in the incoming #libobscura feature.

The above query returns supported #image formats and frame rates at 640px wide.

This API is optional, but do learn some Prolog anyway.

Finally! A new episode of "The Search Space"!

#6 - Adam Smith on Answer Set Programming
https://thesearch.space/episodes/6-adam-smith-on-answer-set-programming

not 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

Does anyone on here know how to make a #backtracking #algorithm faster? I'm writing a #logicprogramming language ala #Prolog 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?