Tariq

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/

#logic #AI #metaprogramming

Florian Marquardt

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.

en.wikipedia.org/wiki/Robot_Sc
royalsocietypublishing.org/doi
(image below from this article, CC-BY-4.0)

Read more blog posts in this series: florianmarquardtmastodon.eu.py

@MPI_ScienceOfLight

Feb 16, 2025, 20:11 · · · 4 · 0
adamcrussell

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. github.com/adamcrussell/bbedit

Basically this allows for syntax highlighting in BBEdit. All predicates in GNU Prolog (as of the current version 1.5.0) are included.

#Prolog

GitHub - adamcrussell/bbedit-prolog-clm: BBEdit Codeless Language Module for GNU Prolog

BBEdit Codeless Language Module for GNU Prolog. Contribute…

GitHub
José A. Alonso

LP-LM: No hallucinations in question answering with logic programming. ~ Katherine Wu, Yanhong A. Liu. cgi.cse.unsw.edu.au/~eptcs/pap #LLMs #LogicProgramming #Prolog

Tariq

Map showing our journey as we learn #prolog together ...

.... from the basics of facts and deduction, through to meta-programming.

"Prolog by Example"

amazon.com/dp/B0BTQ7P69H/

Ian Chard

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.

seadrift

The simplicity of Prolog
bitsandtheorems.com/the-simpli

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

#programming #prolog #logic

The simplicity of Prolog

bitsandtheorems.com
Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦

The simplicity of #Prolog

bitsandtheorems.com/the-simpli

"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

Jan 27, 2025, 15:44 · · · 0 · 0
Jack Leightcap

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 🙂

Jan 26, 2025, 16:57 · · · 5 · 0
dorotaC

Another month, another conference.

#libobscura will be a topic at #FOSDEM !

fosdem.org/2025/schedule/event

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

#fosdem2025

S.Privicans

#Introduction

Greeting, 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". 😆

Jan 20, 2025, 23:04 · · · 3 · 0
Felix 🇺🇦🚴‍♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦

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

dusa.rocks/docs/introductions/

Dusa is a graph exploration language

Using Dusa to describe and explore graphs.

Dusa
Jan 18, 2025, 20:48 · · · 0 · 0