worker-prolog

KO | EN

gitlite — search

#python #typescript #golang #android #machine-learning #rust #nodejs #java #awesome #kubernetes #awesome-list #ios #openai #open-source

(★ 14)

serverless Prolog for Cloudflare Workers

worker-prolog 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# worker-prolog

Serverless persistent Prolog via [Tau Prolog](http://www.tau-prolog.org/) and [Cloudflare Workers](https://developers.cloudflare.com/workers/) + [Durable Objects](https://developers.cloudflare.com/workers/runtime-apis/durable-objects/). Implements the [Pengines](https://pengines.swi-prolog.org/docs/index.html) API.

## Demo

👉 https://prolog.run

## What is this?

- Run Prolog code quickly and easily online
	- Simple and responsive HTML interface for exploring and sharing queries
	- Easily sharable URLs for smooth collaboration
	- Supports text output (via `write/1` etc.) and tabular output for variables
	- Pretty printing of JSON atoms and complex terms
	- Built-in examples feature with typeahead suggestions
- JSON and Prolog programmatic RPC interface through the Pengines API
	- Simply point any [Pengines-compatible](https://github.com/SWI-Prolog/swish/tree/master/client) client library at `https://prolog.run` to start using Prolog. Many languages are supported such as Python, Go, Ruby, JS...
	- Baby steps towards a true Semantic Web with rich querying support.
- Persistent, serverless Prolog interpreter in the cloud
	- Interpreter state and dynamic knowledge base is persistent
		- Clauses added/removed with `assertz/1` and `retractall/1` et. al. are saved via Durable Objects, letting you use prolog.run as a persistent database.
	- Query state is also persistent (Pengines chunk option is supported in the API, but no UI for it yet)
	- Interpreters can link to "applications" to keep track of shared state and code. Application state is synced between interpreters.
		- Link common modules with `:- use_module(application(ID)).`.
		- Edit apps at: `https://prolog.run/app/ID_goes_here`
		- Still a work in progress!

## Development Status

Currently **MVP** status. All of the above features work. Persistence is experimental and there is no permissions system stopping someone from deleting all your stuff. Stay tuned for proper Pengines application support, which will allow users to upload scripts to R2 and associate them with long-lived interpreters.

### TODO:

- [ ] Better persistence
	- [x] Application state ([#2](https://github.com/guregu/worker-prolog/pull/2))
	- [ ] TTL for query state, deleting stale queries via Worker Alarms
- [ ] Uploading scripts to R2 → replace src_text with R2 reference (cleaner URLs)
- [ ] Cloudflare SDK library for Prolog to call directly from Prolog programs
- [x] Real-time query output and chat (join a query with the same ID to see each other's results!)
- [ ] Namespaces, maybe at `subdomain.prolog.run`, with customizable read/write permissions and simple user system (use OpenID?)

#### If you work at Cloudflare... 🙏

I would love to experiment with **D1 support**, so if you can hook me up with a beta invite please [keep in touch](mailto:greg.roseberry@gmail.com). As crazy as it sounds, I think Prolog would be an extremely viable language for the Cloudflare ecosystem and I'd like to help make first-class Prolog support a reality.

~~Currently persistence is limited by Durable Object's storage API limits, so the source text or a particular predicate's code cannot exceed 128KB, for example~~.
Things get chunked now so there's a workaround, but D1 would still be nice :-).

## Towards a Semantic Web

My vague goal for this project is to facilitate an easy way to experiment with the Semantic Web. You can think of a Prolog query as kind of a beefed-up version of GraphQL. It's the ultimate abstract API for querying and transforming any kind of data.

Cool stuff I'd like to try:

- Displaying form elements via Prolog scripts for easy input/output to take advantage of persistence
- Support for rendering output to an alternative protocol like Gemini
- Using prolog.run as the dynamic backend of a statically deployed site

## Thanks

- [Tau Prolog](http://www.tau-prolog.org/) does all the heavy lifting.
- [@yarnpkg/berry](https://github.com/yarnpkg/berry/tree/master/packages/plugin-constraints/sources) for hints on how to use Tau with TS.
- [worker-tools/html](https://github.com/worker-tools/html) for super easy HTML rendering.

worker-prolog

worker-prolog 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

worker-prolog

worker-prolog 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README