PrologInfo

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

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.

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

GitHub - llaisdy/PrologInfo: Prolog, Datalog, languages, resources, and beyond! Prolog, Datalog, languages, resources, and beyond! - llaisdy/PrologInfo

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

First page of paper, ask for a copy if you would like.

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.

LearnSAT: A SAT solver for education. ~ Moti Ben-Ari. github.com/motib/LearnS... #Logic #Prolog #LogicProgramming

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

Curva de Hilbert en Prolog- ~ Adrián Arroyo Calle (@aarroyoca). blog.adrianistan.eu/curva-hilber... #Prolog #Matemáticas

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

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.

Segas Prolog-basierter Bildungscomputer war seiner Zeit in mehrfacher Hinsicht voraus: Neben "KI" verfügte er über Touchscreen und Sprachsynthesizer.

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

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

50 Years of Prolog: Becoming More Declarative – David S. Warren [video]

Discussion

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... 50 years of Prolog: Becoming More Declarative - David S. Warren

50 Years of Prolog: Becoming More Declarative [video] Discussion

@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