PrologInfo
LightNews LightNews
banner
prologinfo.bsky.social
PrologInfo
@prologinfo.bsky.social
43 followers 9 following 1 posts
News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond!

A @llaisdy project.
Posts Replies Media Videos
Pinned
prologinfo.bsky.social
PrologInfo @prologinfo.bsky.social · Nov 16
First draft of a Prolog languages list. Sections on Lambda Prolog, Datalog, and other logic programming languages.
Feedback, PRs, etc., most welcome!

github.com/llaisdy/Prol...
GitHub - llaisdy/PrologInfo: Prolog, Datalog, languages, resources, and beyond!
Prolog, Datalog, languages, resources, and beyond! - llaisdy/PrologInfo
github.com
Reposted by PrologInfo
krismicinski.bsky.social
I found this book ("Introduction to Artificial Intelligence") last night in my basement and started reading through it--really a surprisingly good read even in 2024. The chapter on theorem proving is really pretty solid overall
December 11, 2024 at 5:32 PM
Reposted by PrologInfo
krismicinski.bsky.social
Congrats to Yihao Sun (@StarGazerMiao on X :-) on his AAAI '25 paper (his fourth paper this term!). We present our latest GPU Datalog engine, which beats a SOTA CPU-based system by up to 250x, and our previously-SOTA GPU Datalog (ASPLOS '25) by 2.5x. Code is here: github.com/harp-lab/fvlog
AAAI 25 paper Abstract: Datalog is a logic programming language widely used in knowledge representation and reasoning (KRR), program analysis, and social media mining due to its expressiveness and high performance. Traditionally, Datalog engines use ei- ther row-oriented or column-oriented storage. Engines like VLog and Nemo favor column-oriented storage for efficiency on limited-resource machines, while row-oriented engines like Souff´e use advanced datastructures with locking to per- form better on multi-core CPUs. The advent of modern dat- acenter GPUs, such as the NVIDIA H100 with its ability to run over 16k threads simultaneously and high memory band- width, has reopened the debate on which storage layout is more effective. This paper presents the first column-oriented Datalog engines tailored to the strengths of modern GPUs. We present FVLOG, a CUDA-based Datalog runtime library with a column-oriented GPU datastructure that supports all necessary relational algebra operations. Our results demon- strate over 200× performance gains over SOTA CPU-based column-oriented Datalog engines and a 2.5× speedup over GPU Datalog engines in various workloads, including KRR.
December 9, 2024 at 11:16 PM
prologinfo.bsky.social
First draft of a Prolog languages list. Sections on Lambda Prolog, Datalog, and other logic programming languages.
Feedback, PRs, etc., most welcome!

github.com/llaisdy/Prol...
GitHub - llaisdy/PrologInfo: Prolog, Datalog, languages, resources, and beyond!
Prolog, Datalog, languages, resources, and beyond! - llaisdy/PrologInfo
github.com
November 16, 2024 at 6:31 PM
Reposted by PrologInfo
krismicinski.bsky.social
Accepted at VLDB '25, "Datalog with First-Class Facts," we present a massively-parallel Datalog engine geared towards computing over tree-structured data. (github.com/harp-lab/slo...). We will post a preprint soon.
First page of paper, ask for a copy if you would like.
November 15, 2024 at 2:59 PM
Reposted by PrologInfo
jalonso.bsky.social
LearnSAT: A SAT solver for education. ~ Moti Ben-Ari. github.com/motib/LearnS... #Logic #Prolog #LogicProgramming
January 18, 2024 at 8:09 AM
Reposted by PrologInfo
jalonso.bsky.social
Curva de Hilbert en Prolog- ~ Adrián Arroyo Calle (@aarroyoca). blog.adrianistan.eu/curva-hilber... #Prolog #Matemáticas
Curva de Hilbert en Prolog
<p>La <a href="https://es.wikipedia.org/wiki/Curva_de_Hilbert">curva de Hilbert</a> es una curva fractal descubierta por David Hilbert en 1891. Es un tipo de curva de Peano. Estas curvas tienen la pec...
blog.adrianistan.eu
January 31, 2024 at 7:39 AM
Reposted by PrologInfo
ocornut.bsky.social
The stylish, unknown & extremely rare SEGA AI COMPUTER (1986) promised natural language processing and "artificial intelligence" via its Prolog interpreter.

Available today, for the first time ever: system roms, game cards, tapes recordings, scans, photos, MAME driver & more: smspower.org/SegaAI
January 31, 2024 at 3:04 PM
Reposted by PrologInfo
heise.de
Segas Prolog-basierter Bildungscomputer war seiner Zeit in mehrfacher Hinsicht voraus: Neben "KI" verfügte er über Touchscreen und Sprachsynthesizer.
Fans emulieren Segas extrem seltenen "KI-Computer" aus den 80er-Jahren
Segas Prolog-basierter Bildungscomputer war seiner Zeit in mehrfacher Hinsicht voraus: Neben "KI" verfügte er über Touchscreen und Sprachsynthesizer.
www.heise.de
February 5, 2024 at 10:22 PM
Reposted by PrologInfo
christophkappes.bsky.social
Man möchte meinen, das war eine mittelfrühe 16-bit-CPU mit Prolog Interpreter. Nun ja.
CRI Prolog ab 1987 für Intel

techmonitor.ai/technology/c...
February 5, 2024 at 10:35 PM
Reposted by PrologInfo
aarroyoc.bsky.social
Mi taller "Introducción a la programación lógica con Scryer Prolog" para esLibre 2024, ¡ha sido aceptado!

Si quieres descubrir el mundo de la programación lógica (y disfrutar del resto de charlas y talleres), acude a Valencia el 24 y 25 de mayo a esLibre.

#prolog
February 10, 2024 at 12:02 PM
Reposted by PrologInfo
hn100.bsky.social
50 Years of Prolog: Becoming More Declarative – David S. Warren [video]

Discussion
February 10, 2024 at 7:00 PM
Reposted by PrologInfo
hackernewsbot.bsky.social
50 Years of Prolog: Becoming More Declarative [video] Discussion
50 years of Prolog: Becoming More Declarative - David S. Warren
Prolog was invented by A. Colmerauer for processing natural languages, and formalized by R. Kowalksi as SLD resolution on Definite Horn Clauses in 1972.It w...
www.youtube.com
February 10, 2024 at 7:45 PM
Reposted by PrologInfo
blazingskies.bsky.social
@radiosega.net
Now to sadly burst the bubble, the AI computer isn't really AI; but it does differ from the majority of other consoles through it's programming language.
Instead of using Assembly Language, it uses a language called ProLog.

#RSHiddenPalace
February 10, 2024 at 9:33 PM