Backend>In The News

A modern Prolog implementation written mostly in Rust

CommunityNews

CommunityNews

A modern Prolog implementation written mostly in Rust

GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust…
A modern Prolog implementation written mostly in Rust. - GitHub - mthom/scryer-prolog: A modern Prolog implementation written mostly in Rust.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.

1 comment
/prolog/rust
5 1250 1

Most Liked

OvermindDL1

OvermindDL1

Heh, prolog is quite fun and quite useful for some problems. ^.^

1
Post #3

Where Next?

View thread on forum
prolog
rust
Home Backend>In The News
/prolog/rust
5 1250 1
Last post

Popular Backend topics Top

First poster: bot
Backend>In The News

Bit – A modernized Git CLI written in Go
github.com
/go#git
1 5741 0
New
First poster: OvermindDL1
Backend>In The News

C++ Deserves Its Bad Reputation
jmoiron.net
/c-plus-plus
11 1251 6
New
First poster: bot
Backend>In The News

Rust is now overall faster than C in benchmarks
benchmarksgame-team.pages.debian.net
/rust
0 1272 0
New
First poster: bot
Backend>In The News

FIDO2 security key company releases hardware that's open source and uses Rust
Our Solo v2 launch is official!. Our Kickstarter campaign for our next generation of Solo products launches on January 26th. To > ge...
solokeys.com
#hardware/rust/security#kickstarter
0 1160 0
New
First poster: bot
Backend>In The News

Typing is Hard
Typing is Hard Type Checking and Type Inference Common terms Completeness Soundness Decidability Hindley-Milner Type System Dependent t...
3fx.ch
/c-plus-plus/c-sharp#f-sharp/go/haskell/java#ml/ocaml/rust/scala/swift/typescript/elm/idris/zig#typing
0 1755 0
New
First poster: OvermindDL1
Backend>In The News

Why I still like C and strongly dislike C++
This comes up in my conversations surprisingly often so I thought it’s worth to write my thoughts down instead of repeating them again an...
codecs.multimedia.cx
/c/c-plus-plus
10 1428 3
New
First poster: bot
Backend>In The News

Metaprogramming in Nim
Metaprogramming in Nim #1 Introduction. In this video i will show you and teach you about Nim’s Metaprogramming features/capabilities. E...
youtube.com
/nim#metaprogramming
2 1293 0
New
CommunityNews
Backend>In The News

PR to Merge Multicore OCaml
Multicore OCaml by kayceesrk · Pull Request #10831 · ocaml/ocaml. This PR adds support for shared-memory parallelism through domains and...
github.com
/ocaml
5 1279 1
New
First poster: bot
Backend>In The News

A comparison of rust and zig
For the first 8 or so years of my programming experience, while I was an undergraduate and later graduate student, working in the experim...
expandingman.gitlab.io
/rust/zig
2 1464 0
New
First poster: bot
Backend>In The News

Introducing Trilogy: a new database adapter for Ruby on Rails
Introducing Trilogy: a new database adapter for Ruby on Rails | The GitHub Blog. We’ve open sourced Trilogy, the database adapter we use...
github.blog
/ruby/rails#database
1 1210 0
New

Other popular topics Top

AstonJ
General Dev>Code Editors

Onivim 2 Code Editor
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...
#code-editors/onivim/revery
88 5821 32
New
AstonJ
Backend>Questions

Erlang's not installing on macOS Big Sur "You are natively building Erlang/OTP for a later version of MacOSX than current version"
Just done a fresh install of macOS Big Sur and on installing Erlang I am getting: asdf install erlang 23.1.2 Configure failed. checking ...
#macos/erlang#big-sur#asdf
10 5914 8
New
DevotionGeo
General Dev>Dev Chat

The V Programming Language
The V Programming Language Simple language for building maintainable programs V is already mentioned couple of times in the forum, but I...
#programminguages/v
21 12589 7
New
PragmaticBookshelf
Backend>Learning Resources

Programming WebRTC
Use WebRTC to build web applications that stream media and data in real time directly from one user to another, all in the browser. ...
pragprog.com
#pragprog#published-book/js#webrtc/book-programming-webrtc
27 4743 6
New
mafinar
Backend>Chat

Data Structures and Algorithms with Elixir
This is going to be a long an frequently posted thread. While talking to a friend of mine who has taken data structure and algorithm cou...
/elixir#algorithms#data-structures
108 10628 31
New
AstonJ
macOS>Chat

How to block any website on Mac using Little Snitch
If you want a quick and easy way to block any website on your Mac using Little Snitch simply… File > New Rule: And select Deny, O...
#macos#how-to#littlesnitch
5 9782 3
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Erin Dees (Author) Interview and AMA!
Author Spotlight Erin Dees @undees Welcome to our new author spotlight! We had the pleasure of chatting with Erin Dees, co-author of ...
#author-spotlight/ruby/rails/book-effective-testing-with-rspec-3/book-seven-more-languages-in-seven-weeks/book-cucumber-recipes#rspec
24 3863 11
New
hilfordjames
Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
#taskbar-overflow-win-11
3 2694 2
New
PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1
Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...
pragprog.com
#pragprog/python#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-in-python-volume-1
24 3803 11
New
PragmaticBookshelf
Backend>Learning Resources

Simplicity
Fight complexity and reclaim the original spirit of agility by learning to simplify how you develop software. The result: a more humane a...
pragprog.com
#pragprog#published-book/book-simplicity
10 4288 8
New
Back to top

Sponsor Spotlight

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Latest in Prolog

Prolog Portal ❯

Latest in Rust

Rust Portal ❯

Backend>In The News

Backend In The News ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap