Scryer Prolog

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
swi-prolog Prolog

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • swipl-devel

    SWI-Prolog Main development repository

    • SWIProlog[1] has so far been my go to due to the extensive support system it has. However, I've been meaning to explore higher order logic a bit and Ciao[2] caught my attention there, with sugar for function-like notation and higher order programming including "lambda" style predicate expressions .... and it compiles down to executable. The function notation in this context is along the same lines as Mozart/Oz and can be convenient. Not explore the higher order aspects much though.

    [1]: https://www.swi-prolog.org/

    [2]: https://en.wikipedia.org/wiki/Ciao_(programming_language)

  • InfluxDB

    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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Find Legal Moves in Brass Birmingham with Datalog

    5 projects | news.ycombinator.com | 21 Nov 2023

  • Not all possible results of a simple predicate given by backtracking.

    2 projects | /r/prolog | 6 Dec 2022

  • Looking for suggestions of interesting language to learn

    2 projects | /r/learnprogramming | 29 Aug 2022

  • Could this code calculating primes be much more optimized?

    5 projects | /r/prolog | 9 May 2022

  • Anyone got lots of trivial DCG examples?

    5 projects | /r/prolog | 8 Apr 2022