These are public posts tagged with #prolog. You can interact with them if you have an account anywhere in the fediverse.
If you struggled with the traditional #Prolog courses .. this course was developed for you.
Develop understanding through hands-on bite-size examples.
Talk through how new ideas work, step-by-step.
Avoid terminology and jargon
www.amazon.com/dp/B0BTQ7P69H/
A famous example of #AutomatedScientificDiscovery is "Adam the Robot Scientist".
This is a machine, introduced in 2004 by Ross King and others, that can do biochemistry experiments on its own and smartly pick the next experiment to do. More precisely, it is a room full of robots and automated chemistry, growing yeast cells that have been genetically modified. The goal is to find out which enzymes are important in which parts of the chemistry of yeast. This is a puzzle, since when you switch off a gene and the enzyme it coded for, then you only see indirectly what happens to the yeast (some important substances fail to get produced). It is like a cross-word puzzle, and therefore #AI can help. Here AI came in the form of the logic programming language #Prolog, that can encode all the observations and rules.
The biggest achievement of the robot scientist is that it can be very clever in selecting the next step, focusing on the most informative experiment. This is essential, since running an experiment is costly and time-consuming.
The plot I love most in the 2004 paper is the classification accuracy plotted vs the logarithm of the experimentation cost in British pounds.
Adam's follow-up robot is called "Eve", doing drug screening.
https://en.wikipedia.org/wiki/Robot_Scientist
https://royalsocietypublishing.org/doi/10.1098/rsif.2021.0821
(image below from this article, CC-BY-4.0)
Read more blog posts in this series: https://florianmarquardtmastodon.eu.pythonanywhere.com/?account=%40FMarquardtGroup%40fediscience.org&hashtag=AutomatedScientificDiscovery&message=Florian's%20Blog:%20Automated%20Scientific%20Discovery
The intersection of People Using GNU Prolog and People Using BBEdit may be just me, but if there's anyone else out there then know that I put together a Codeless Language Module (CLM) for gprolog. https://github.com/adamcrussell/bbedit-prolog-clm
Basically this allows for syntax highlighting in BBEdit. All predicates in GNU Prolog (as of the current version 1.5.0) are included.
BBEdit Codeless Language Module for GNU Prolog. Contribute…
GitHubReadings shared February 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/13-readings_shared_02-13-25 #AI #Autoformalization #Coq #ITP #IsabelleHOL #LLMs #LeanProver #LogicProgramming #Math #Programming #Prolog #Rocq
The readings shared in Bluesky on 13 February 2025…
VestigiumLP-LM: No hallucinations in question answering with logic programming. ~ Katherine Wu, Yanhong A. Liu. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2024.5.pdf #LLMs #LogicProgramming #Prolog
On LLM-generated logic programs and their inference execution methods. ~ Paul Tarau. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2024.1.pdf #LLMs #LogicProgramming #Prolog
Map showing our journey as we learn #prolog together ...
.... from the basics of facts and deduction, through to meta-programming.
"Prolog by Example"
I can't think about AI without remembering being completely useless at #Prolog in the early 90s, and thinking how pointless it was. But then my arrogant younger self thought everything about my degree was pointless.
I feel like Poplog, a combined Pop11, Prolog, Common Lisp, and Standard ML environment never gets enough love: https://poplogarchive.getpoplog.org/poplog.info.html #lisp #prolog
Interesting Prolog I just learned about.
With a Clojure connection.
https://github.com/jjtolton/libscryer-clj?tab=readme-ov-file
The simplicity of Prolog
https://bitsandtheorems.com/the-simplicity-of-prolog/
"Prolog is a simple language: there are only a few language constructs, and so not a lot of moving parts to be mindful of. Well-written Prolog programs are often also simple, in the sense that they add little to no extra complexity to the problem being solved. At the same time, the language can be hard to learn, as it functions quite differently from languages people are usually already familiar with."
Readings shared January 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/28-readings_shared_01-28-25 #ITP #LeanProver #Logic #Math #Prolog #LogicProgramming #Racket #FunctionalProgramming
The readings shared in Bluesky on 28 January 2025 are Readings…
VestigiumThe simplicity of Prolog. ~ Ties Westendorp. https://bitsandtheorems.com/the-simplicity-of-prolog/ #Prolog #LogicProgramming
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
Hey all! I'm due for an (re-)introduction: I'm Jack, an engineer in the NYC area from a firmware & cybersecurity background, currently working in something like hardware-software co-design.
Technical work is often with #rust #kicad #python #verilog #c, and in all-too-rare moments stuff like #haskell #forth #agda and #prolog
I've never been much for social media, usually preferring to keep interests local: a better-detailed #introduction to follow as I figure this out
Readings shared January 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/21-readings_shared_01-21-25 #ITP #Lean4 #IsabelleHOL #Math #Prolog #LogicProgramming #AI #LLMs
The readings shared in Bluesky on 21 January 2025 are Readings…
VestigiumAnother month, another conference.
#libobscura will be a topic at #FOSDEM !
https://fosdem.org/2025/schedule/event/fosdem-2025-6184-libobscura-cameras-are-still-difficult/
I'll dive a bit deeper into the mobile side of the camera problem compared to my #ccc38 talk. If I have time left, there will be a quick demo of #Prolog-driven capability querying :D
Describing domino tilings with Prolog. ~ Markus Triska. https://youtu.be/h5Xy4YjCZxM #Prolog #LogicProgramming
Enjoy the videos and music you love, upload original…
www.youtube.comGreeting, I'm Sam. Basically I created this account and now access it via #Tor because I live in the US and fear for our safety, security, and privacy from our own government now. It's a disgrace.
I'm into old computers (#Retrocomputing) from the late 70s and early 80s, mostly #Commodore, #Atari, #Sinclair, #AppleII, (gotta specify the 'ii' else I'll get a bunch of modern apple junk), #Acorn, etc.
I know #BASICv2 and #6510ASM, along with modern #C, #Perl, #Pascal, etc. I've also wanted to relearn #Prolog (CP3... )
I'm a straight male but I hope that doesn't matter as it doesn't matter to me what you are. I believe people deserve to live their lives, their way to be happy. No one is above others. It's when beliefs are pushed on others we have problems.
Thank you for taking the time to read this far and I guess I'm supposed to end with a "Like and subscribe", but I think here that means "Follow if you'd like".
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
Using Dusa to describe and explore graphs.
Dusa