The Clause @ThePrologClause

Bringing Prolog and Datalog to the masses github.com/TheClause/lear… San Francisco Joined February 2020

Tweets

308
Followers

286
Following

12
Likes

904

The Clause @ThePrologClause

8 months ago

This is an incredible breakthrough in engineering. Imagine building a Prolog or Datalog engine in this mind-blowing tech!

0 0 1 51 0

aron @Aron_Adler

10 months ago

guys y'all are sleeping on @flixlang this language actually has so many cool features wtf flix.dev

12 7 58 5K 15

The Clause @ThePrologClause

11 months ago

I'm not Mutable, I'm Partially Instantiated blog.dnmfarrell.com/post/incomplet…

0 1 3 130 1

Prolog et al. @PrologInfo

11 months ago

"Prolog is mind-blowing" thread on HN. Many of our favourites mentioned.

HackerNewsX @HackerNewsX

11 months ago

"Prolog is mind-blowing" thread on HN. Many of our favourites mentioned.

0 1 6 617 0

2 3 11 512 2

Prolog et al. @PrologInfo

12 months ago

Formulog is a programming language that extends the logic programming language Datalog with SMT solving and first-order functional programming! harvardpl.github.io/formulog/

0 5 14 2K 10

Youngjin Kang @architsch

11 months ago

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

0 4 9 388 5

ben sima @bensima

12 months ago

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 17 747 13

Download Image

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…

0 8 32 7K 22

Download Video

josh @hiptossjosh

11 months ago

late night hash table from scratch in prolog for no reason whatsoever 🫡

1 2 7 308 1

Download Image

Felipe O. Carvalho @_Felipe

2 years ago

2024: the year of Prolog in AI.

andrei 🇺🇸🇺🇦 @andreitr

2 years ago

2024: the year of Prolog in AI.

1 2 7 2K 0

2 5 12 1K 0

The Clause @ThePrologClause

2 years ago

Incredible!!

0 2 7 1K 1

Gilbert @0xgib

2 years ago

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 10 1K 0

Mark Thom @mjt128

2 years ago

The first Scryer Prolog meet-up will be held at the Hochschule Düsseldorf, details here: hsd-pbsa.de/veranstaltung/… #prolog #rust

0 6 20 957 2

Markus Schacher @MarkusSchacher

3 years ago

Not my experience...

Gilbert @soundly_typed

3 years ago

Not my experience...

4 1 9 673 1

1 1 2 210 0

Adrián Arroyo Calle @aarroyoca

3 years ago

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