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