CommunityNews
Prolog Heritage
Prolog is a programming language born on Marseille’s Luminy campus, resulting from the research of Professor Alain Colmerauer and his team.
The Japanese project on Fifth Generation Computing has given it an international renown over the past quarter-century.
From Prolog I to Prolog IV, the languages created by the University’s Groupe d’Intelligence Artificielle and then developped by the PrologIA company were all pioneering milestones. They heralded the birth of logic programming and constraint programming.
Read in full here:
http://prolog-heritage.org/en/ph1.html
This thread was posted by one of our members via one of our news source trackers.
Popular Backend topics
It’s Time to Say Goodbye to Docker.
Docker is not the only containerization tool out there and there might just be better alternatives… ...
New
Powerful, flexible, complex: The origins of C++ date back 40 years, yet it remains one of the most widely used programming languages toda...
New
Typing is Hard
Type Checking and Type Inference
Common terms
Completeness
Soundness
Decidability
Hindley-Milner Type System
Dependent t...
New
Is Rust Used Safely by Software Developers?.
Rust, an emerging programming language with explosive growth, provides a
robust type syste...
New
What we can learn from “_why” the long lost open source developer…
Code might not last forever, but _why proves you can have an impact t...
New
GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust…
A modern Prolog implementation written mostly in Ru...
New
Multicore OCaml by kayceesrk · Pull Request #10831 · ocaml/ocaml.
This PR adds support for shared-memory parallelism through domains and...
New
Martin Thompson On How To Manage Software Complexity | The Engineering Room Ep. 4.
In this episode, Dave Farley chats with Martin Thomps...
New
GitHub - clojure-rs/ClojureRS: Clojure, implemented atop Rust (unofficial).
Clojure, implemented atop Rust (unofficial). Contribute to c...
New
Some Thoughts on Zig — Sympolymathesy, by Chris Krycho.
One of the biggest things Zig has going for it—especially compared to Rust—is th...
New
Other popular topics
No chair. I have a standing desk.
This post was split into a dedicated thread from our thread about chairs :slight_smile:
New
Thanks to @foxtrottwist’s and @Tomas’s posts in this thread: Poll: Which code editor do you use? I bought Onivim! :nerd_face:
https://on...
New
New
I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...
New
Oh just spent so much time on this to discover now that RancherOS is in end of life but Rancher is refusing to mark the Github repo as su...
New
Build highly interactive applications without ever leaving Elixir, the way the experts do. Let LiveView take care of performance, scalabi...
New
The V Programming Language
Simple language for building maintainable programs
V is already mentioned couple of times in the forum, but I...
New
Programming Ruby is the most complete book on Ruby, covering both the language itself and the standard library as well as commonly used t...
New
A Brief Review of the Minisforum V3 AMD Tablet.
Update: I have created an awesome-minisforum-v3 GitHub repository to list information fo...
New
Ok, well here are some thoughts and opinions on some of the ergonomic keyboards I have, I guess like mini review of each that I use enoug...
New
Categories:
Sub Categories:
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /python
- /js
- /rails
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /svelte
- /onivim
- /typescript
- /kotlin
- /crystal
- /c-plus-plus
- /tailwind
- /react
- /gleam
- /ocaml
- /elm
- /flutter
- /vscode
- /ash
- /html
- /opensuse
- /zig
- /centos
- /deepseek
- /php
- /scala
- /react-native
- /lisp
- /sublime-text
- /textmate
- /nixos
- /debian
- /agda
- /django
- /kubuntu
- /deno
- /arch-linux
- /nodejs
- /ubuntu
- /revery
- /manjaro
- /spring
- /diversity
- /lua
- /julia
- /markdown
- /slackware








