50 Years of Prolog and Beyond

• oko

  1 6 1.9 HTML

  The oko reasoning engine is performing forward and backward chaining of n3p data.

  

• Analyzer

  1 3 0.0 Prolog

  Analyzer is a grammar analyzer for a very small subset of Pascal. (by pjmlp)

You can have a look at my mini-Pascal parser, it was a toy exercise for the university almost 30 years ago, and some day I decided to uploaded into github.

https://github.com/pjmlp/Analyzer

• InfluxDB

  www.influxdata.com featured

  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.

  

• Gleemin

  4 86 0.0 Prolog

  A Magic: the Gathering™ expert system

official name):

https://github.com/stassa/Gleemin/blob/master/mgl_interprete...

The first two-thirds of the source in the linked file is a grammar of a subset

• aleph

  1 40 5.1 Prolog

  Port of Aleph to SWI-Prolog (by friguzzi)

[1] quite radically changes the presentation of examples and background knowledge, triggering their loading off a single Prolog source file and making heavy use of directives to switch between pos/neg examples and background knowledge. I'm sure the author has somehow taken care of false/0, but a problem of that port of Aleph is that it won't work with the relative wealth of existing problem/data files in their original representation.

[1]: https://github.com/friguzzi/aleph

Suggest a related project