@ThePrologClause

Bringing Prolog and Datalog to the masses

 San Francisco
github.com/TheClause/learn-prolog
Joined February 2020
  • Tweets306
  • Following12
  • Followers282
Now presenting... Prologue to Prolog! A fantastic introduction to Prolog from the perspective of real world software engineering. Find out how Prolog can be useful in your project today! Edited down from 60m to 36m 🤩 Watch, learn, and expand your mind. share.descript.com/view/snZv…
1
12
2
34
This is an incredible breakthrough in engineering. Imagine building a Prolog or Datalog engine in this mind-blowing tech!
This quoted post is unavailable.
Try viewing anyway · View on X
1
68
The Clause retweeted
aron
@Aron_Adler30 Nov 2024
guys y'all are sleeping on @flixlang this language actually has so many cool features wtf flix.dev/

The Flix Programming Language

Flix is a principled effect-oriented functional, imperative, and logic programming language developed at Aarhus University and by a community of open source contributors.

flix.dev
12
7
1
55
4,995
Just use prolog, problem solved.
Felipe O. Carvalho@_Felipe8 Nov 2024
There is a kind of tech person that uses every social media post as a chance to show how smart they are and how they have everything figured out. The PL they are using is THE ONE. Their techniques are all you will ever need. They never seem to post about learning anything new.
1
3
85
joking of course 😂
1
46
I'm not Mutable, I'm Partially Instantiated blog.dnmfarrell.com/post/inc…

I'm Not Mutable, I'm Partially Instantiated

Incomplete data structures challenge our notion of mutability

blog.dnmfarrell.com
1
3
138
"Prolog is mind-blowing" thread on HN. Many of our favourites mentioned.
HackerNewsX@HackerNewsX6 Nov 2024
Replying to @HackerNewsX
Diverse programming paradigms like Prolog's logic resolution, Erlang's concurrency model, and Verilog's unique declarative approach challenge conventional thinking and offer profound insights into problem-solving. HN: news.ycombinator.com/item?id…
2
3
11
525
Formulog is a programming language that extends the logic programming language Datalog with SMT solving and first-order functional programming! harvardpl.github.io/formulog…

Home

Datalog for SMT-based static analysis

harvardpl.github.io
5
14
2,378
How to design an efficient gameplay system in Prolog? Here is the answer. thingspool.net/morsels/page-… #Prolog #LogicProgramming #RDBMS #SQL #RelationalDatabase #SearchAlgorithm #GameDesign #GameScience #GameEngine #SeriousGames #SimulationGames #SymbolicAI #SymbolicLogic

Game Programming in Prolog - Part 16

How to design an efficient gameplay system in Prolog? Here is the answer. In this article, I will demonstrate some of the efficient search algorithms which can be leveraged to let us create a video...

thingspool.net
4
9
392
The Clause retweeted
ben sima
@bensima18 Oct 2024
If you want to think better, you use logic If you want your LLMs to perform better, teach them to use prolog Simple as
1
10
16
751
Neuro-Symbolic AI Agent Demo (LLM + Prolog) It integrates prolog with LLM through function calling. 1. Symbolic language eliminates ambiguity. 2. Natural language is converted to prolog query and prolog response is converted back. 3. Can reduce error and hallucination probability to near zero (If symbolic rules are defined properly and LLM to prolog translation work without errors)
9
1
30
6,711
The Clause retweeted
josh@hiptossjosh24 Oct 2024
late night hash table from scratch in prolog for no reason whatsoever 🫡
1
2
7
318
2024: the year of Prolog in AI.
andrei | megapot
@andreitr16 Nov 2023
2024 is the year when many developers will start with fancy AI models and finish with rule-based deterministic systems.
2
5
12
1,365
Incredible!!
This quoted post is unavailable.
Try viewing anyway · View on X
2
7
1,052
The Clause retweeted
Gilbert
@0xgib2 Aug 2023
Writing a "function" in Prolog and being able to use it in multiple ways is BONKERS For example: external_call(c1, f1, c2, f2). This returns `true` if f1 in contract c1 makes a call to f2 in c2 (all are id's). But wait, there are THREE MORE USE CASES for external_call! 🤯
1
2
1
10
1,296
The Clause retweeted
Mark Thom@mjt12824 May 2023
The first Scryer Prolog meet-up will be held at the Hochschule Düsseldorf, details here: hsd-pbsa.de/veranstaltung/sc… #prolog #rust
6
19
973
Not my experience... – at Schlieren, Schweiz
Gilbert@soundly_typed27 Mar 2023
chatGPT is really bad at writing prolog
1
1
2
214
Djot Studio. A demo app that uses WRY to have access to a webview in Rust, while the processing is done in Scryer Prolog (using library(http/http_server)).
1
2
8
1,302
chatGPT is really bad at writing prolog
4
1
1
8
680
Evolving Prolog by Michael Hendricks infoq.com/presentations/prol… More things to add to my TODO list :)

Evolving Prolog

Michael Hendricks talks about Prolog - a powerful, modern, general purpose language. Michael presents how they used genetic algorithms to evolve Prolog programs based on historic data from peer to...

infoq.com
1
5
10
436
“Unlike other programming languages, Prolog makes it easy to compute functions ‘backward.’” — Steven Tanimoto
4
25
9,643
Load more