Prolog at Work

• bower

  5 119 7.0 Mercury

  A curses terminal client for the Notmuch email system (by wangp)

Has anyone used Mercury? The language seems quite interesting and has C and C++ FFI. I see bower (https://github.com/wangp/bower/) a notmuch client is written in it.

• the-power-of-prolog

  23 1,160 7.4 HTML

  Introduction to modern Prolog

The Power of Prolog [0] is a fantastic blog/video series covering everything from basic syntax, theoretical basis, modern features and idiomatic constructs.

I highly recommend it if you want to get the gist of Prolog and its modern features.

If you want a tour of Prolog, you can watch the video with that name [1].

[0]: https://www.metalevel.at/prolog

[1]: https://youtu.be/8XUutFBbUrg

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• SharpLogic

  1 1 10.0 C#

  Bring Logic Programming to C#

I agree, that's why I made this : https://github.com/smallbard/SharpLogic to embed it in c# (in order to use it as easily as Linq).

Suggest a related project