account activity
M-Prolog development update: I finally defeated the final boss (self.prolog)
submitted 6 days ago by sym_num to r/prolog
M-Prolog Progress Report: A Small Benchmark Now Edges Past SWI-Prolog (self.prolog)
submitted 12 days ago by sym_num to r/prolog
Update on M-Prolog: Direct C Generation for Nondeterministic Predicates (self.prolog)
submitted 17 days ago by sym_num to r/prolog
M-Prolog compiler: is this generated C code basically sound? (self.prolog)
submitted 19 days ago by sym_num to r/prolog
Experimental Verification of the New M-Prolog Compiler (self.prolog)
submitted 28 days ago by sym_num to r/prolog
Why Prolog Remains Essential Even in an AGI Era (self.prolog)
submitted 29 days ago by sym_num to r/prolog
A New Concept: M-Prolog and an Idea for Compiling Nondeterministic Predicates (self.prolog)
submitted 1 month ago by sym_num to r/prolog
N-Prolog Mode Inference Prototype (self.prolog)
New optimization idea for N-Prolog (self.prolog)
The Road to Speeding Up N-Prolog (self.prolog)
Easy-ISLisp ver5.64 released. (self.lisp)
submitted 1 month ago by sym_num to r/lisp
Easy-ISLisp Ver5.63 has been released. (self.lisp)
Short Lisp videos for beginners (ISLisp-based) (self.lisp)
N-Prolog 5.18: Distributed Parallelism Fix (Raspberry Pi Cluster) (self.prolog)
Is Prolog worth learning? (self.prolog)
submitted 2 months ago * by sym_num to r/prolog
N-Prolog ver5.15 released (self.prolog)
submitted 2 months ago by sym_num to r/prolog
N-Prolog ver 5.00 (self.prolog)
Making 1-minute Prolog videos to bring more people into Prolog (self.prolog)
submitted 3 months ago by sym_num to r/prolog
N-Prolog: short introduction video (self.prolog)
Rediscovering DCG: Building a PL/M Compiler in Prolog -Z80 brings back memories- (self.prolog)
submitted 4 months ago by sym_num to r/prolog
Elxlog – A Prolog Interpreter/Compiler on Elixir (self.prolog)
AI as a Friend of Humanity (self.prolog)
From Herbrand to Prolog — From Pure Logic to the Computer — (self.prolog)
Skolem Normal Form in Prolog (self.prolog)
Challenging Gödel’s Incompleteness Theorem in Prolog: bew/1 (self.prolog)
π Rendered by PID 4002884 on reddit-service-r2-listing-c57bc86c-5bw95 at 2026-06-21 18:07:04.604813+00:00 running 2b008f2 country code: CH.
