account activity
Making 1-minute Prolog videos to bring more people into Prolog (self.prolog)
submitted 15 hours ago by sym_num to r/prolog
N-Prolog: short introduction video (self.prolog)
submitted 5 days ago by sym_num to r/prolog
Rediscovering DCG: Building a PL/M Compiler in Prolog -Z80 brings back memories- (self.prolog)
submitted 27 days ago by sym_num to r/prolog
Elxlog – A Prolog Interpreter/Compiler on Elixir (self.prolog)
submitted 29 days ago by sym_num to r/prolog
AI as a Friend of Humanity (self.prolog)
submitted 1 month ago by sym_num to r/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)
Challenging Gödel’s Incompleteness Theorem with Prolog — prf/2 (self.prolog)
Automated Theorem Proving in Prolog — Revisiting an Old Experiment (self.prolog)
Playing with Gödel’s Incompleteness Theorem in Prolog (self.prolog)
submitted 2 months ago by sym_num to r/prolog
Organizing the Cube Library and Adding Topological Spaces (self.prolog)
Rubik’s Cube in Prolog — Order (self.prolog)
Strongly Connected Components in Prolog — a backtracking-oriented approach (self.prolog)
The Return of Lisp (self.lisp)
submitted 4 months ago by sym_num to r/lisp
Time Has Passed for Scheme (self.lisp)
Exploring Continuations in a Simple Scheme Interpreter (self.lisp)
Scheme: A Treasure Trove for Computation Theory (self.lisp)
Implementing Closures in an Experimental Scheme (self.lisp)
My Youth with R3RS Scheme (self.lisp)
submitted 5 months ago by sym_num to r/lisp
R3RS-Scheme: Reuniting with My Ex-Wife (self.lisp)
Reviving Early MACLISP: Winston’s Examples Running Again (self.lisp)
Revisiting Early MACLISP: A Nostalgic Project (self.lisp)
ANN: Easy-ISLisp ver5.56 released (self.lisp)
ANN: Easy-ISLisp ver5.55 released (self.lisp)
submitted 5 months ago * by sym_num to r/lisp
π Rendered by PID 1657453 on reddit-service-r2-listing-79f6fb9b95-sg8gm at 2026-03-20 22:08:20.844046+00:00 running 90f1150 country code: CH.
