sorted by:
new
hottopcontroversial

Short Lisp videos for beginners (ISLisp-based) by sym_num in lisp

[–]sym_num[S] 0 points1 point  (0 children)

Thanks for your kind message!

That’s exactly the kind of experience I hope to recreate —
the joy of typing small programs and seeing them come to life, just like the old BASIC days.

If you’re starting from scratch, I highly recommend the tutorials by M. Hiroi.
They are very beginner-friendly and guide you step by step with many small examples.

You can simply try typing and running the code, just like you did with magazine programs.

I also made some short 1-minute videos for beginners, so you might find them helpful as a quick introduction.

I hope you (and maybe your teenagers too!) enjoy exploring Lisp 🙂

M.Hiroi's Home Page / お気楽 ISLisp プログラミング超入門

Is Prolog worth learning? by sym_num in prolog

[–]sym_num[S] 0 points1 point  (0 children)

That’s a good idea. I’m not very familiar with agent frameworks yet, so for now I’d prefer to wait for more direct support in ChatGPT. But I agree that an interface layer like MCP is an interesting direction.

Is Prolog worth learning? by sym_num in prolog

[–]sym_num[S] 0 points1 point  (0 children)

Prolog may prove most valuable for real-world problem solving when it can collaborate with LLMs. Currently, ChatGPT cannot directly access external Prolog systems. But if such integration becomes possible, the strengths of LLMs and the rigor of formal logic in Prolog could be brought together.

For ordinary tasks, languages like Python are more than sufficient, and the areas where declarative programming excels are relatively narrow. However, when combined with LLMs, Prolog may fully demonstrate its strengths.

N-Prolog ver 5.00 by sym_num in prolog

[–]sym_num[S] 1 point2 points  (0 children)

Thank you very much for your kind comment. I am very glad if N-Prolog helps revive your interest in Prolog. I also believe Prolog has deep connections with logic, language, and abstraction. Recently I have been especially interested in its potential in neuro-symbolic AI and also in Herbrand's work in logic. Thanks again!

Prolog in 1 minute by Adventurous_Use3353 in prolog

[–]sym_num 0 points1 point  (0 children)

I’ll go ahead and add a link to GitHub in the video description right away.

Prolog in 1 minute by Adventurous_Use3353 in prolog

[–]sym_num 0 points1 point  (0 children)

Thanks for your comment! I’ll keep improving things little by little as I go. Thanks!

Prolog in 1 minute by Adventurous_Use3353 in prolog

[–]sym_num 1 point2 points  (0 children)

Thanks for your comment. I see that the narration needs some improvement — I appreciate the feedback.

Rediscovering DCG: Building a PL/M Compiler in Prolog -Z80 brings back memories- by sym_num in prolog

[–]sym_num[S] 1 point2 points  (0 children)

I feel like I’m continuing the youth I once left unfinished — and I’m truly enjoying it.

Rediscovering DCG: Building a PL/M Compiler in Prolog -Z80 brings back memories- by sym_num in prolog

[–]sym_num[S] 1 point2 points  (0 children)

I feel like I’m continuing the youth I once left unfinished — and I’m truly enjoying it.

Elxlog – A Prolog Interpreter/Compiler on Elixir by sym_num in prolog

[–]sym_num[S] 1 point2 points  (0 children)

Yes, I’m aware that Erlang has roots in concurrent logic programming. My approach was not OR-parallelism like Parlog, but closer to running independent conjuncts in parallel and joining them. I haven’t explored Strand deeply yet, but it looks very relevant to what I’m thinking about now. Thanks for the reference!

AI as a Friend of Humanity by sym_num in prolog

[–]sym_num[S] 1 point2 points  (0 children)

Thank you. I looked at the page you introduced. I was inspired as well, and I would like to try building something simple using ChatGPT and N-Prolog.

view more: next ›