Hello!
It's great to find this list! I'm close to releasing a community website to aggregate programming language information.
I publish a draft of the site. For instance, here's the current list of plangs that implement Datalog or Prolog:
https://eoga.dev/#(implements:(mode:any,values:!(pl+datalog,pl+prolog)))
The search needs some polishing (working on it now!) but part of it is that the data needs revision.
For instance, here's an entry for Ciao:
https://github.com/EmmanuelOga/plangs2/blob/main/packages/definitions/src/definitions/plang/c/ciao/ciao.ts
I'm looking for help making sure the data and metadata makes sense. Some of it was picked up from Wikipedia, some from LLMs, and some was added manually. Plangs! could really use an expert human eye to verify the entries (I'm not expert in logic programming myself).
Would you be interested in improving the logic programming languages data on the site?
Thank you!
Hello!
It's great to find this list! I'm close to releasing a community website to aggregate programming language information.
I publish a draft of the site. For instance, here's the current list of plangs that implement Datalog or Prolog:
https://eoga.dev/#(implements:(mode:any,values:!(pl+datalog,pl+prolog)))
The search needs some polishing (working on it now!) but part of it is that the data needs revision.
For instance, here's an entry for Ciao:
https://github.com/EmmanuelOga/plangs2/blob/main/packages/definitions/src/definitions/plang/c/ciao/ciao.ts
I'm looking for help making sure the data and metadata makes sense. Some of it was picked up from Wikipedia, some from LLMs, and some was added manually. Plangs! could really use an expert human eye to verify the entries (I'm not expert in logic programming myself).
Would you be interested in improving the logic programming languages data on the site?
Thank you!