trealla-js
berry
trealla-js | berry | |
---|---|---|
9 | 188 | |
33 | 7,138 | |
- | 1.1% | |
8.4 | 9.2 | |
8 days ago | 3 days ago | |
TypeScript | TypeScript | |
MIT License | BSD 2-clause "Simplified" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
trealla-js
- The Power of Prolog
-
Using Prolog in Windows NT Network Configuration (1996)
I think Prolog really shines as an embedded query engine (I know this is old and it's been removed since). It's perfect for declarative configuration, very easy to write powerful queries once you wrap your head around it.
The Yarn constraints plugin also used (Tau) Prolog, although it looks like it's in the process of being replaced with JS, which makes me a bit sad. The reasoning is here: https://github.com/yarnpkg/berry/issues/1276. Seems like the biggest issue is lack of a nice dev environment. I maintain the Trealla Prolog Wasm port (npm package 'trealla') and I hope some day to use it for a VSCode extension or LSP or something to provide a nice dev experience. Performance has also been cited as an issue[1] but Trealla is quite fast and I expect it could easily handle a complex Yarn workspace with tons of facts. If this sounds like something you'd be interested in helping me with, feel free to contact me or make an issue/discussion here: https://github.com/guregu/trealla-js
[1]: https://github.com/yarnpkg/berry/issues/4079#issuecomment-10...
-
How do I learn system programming?
port a C or Rust project to wasm and make a JS package for it (trealla-js is an example of such a package, porting a C Prolog interpreter to wasm)
-
PHP: Prolog Home Page
Hey, this is mine. Thanks for submitting it. I'll answer some questions.
> Why?
I ported Trealla Prolog to WASM (WASI) and I was looking for something useful to test it against. I found Spin, which can run WASM+CGI, and landed on this. Making this project exposed a number of bugs in my port that have now been fixed, so consumers of more useful projects[1][2] benefit as well. Also, PHP style templates are just fun! There's something valuable to just being able to shove a little bit of code inside some HTML and get it up on the internet.
I started my webdev journey with PHP many many years ago, and it's nice to revisit it from a different perspective. I don't use the real (elephant) PHP anymore, but I've gained a newfound appreciation for how fun its quick & dirty development style is.
I hope this project can serve as an example of how to use Prolog for fun things. It does showcase some of the cooler dynamic aspects of the language, and the PHP parsing code is like 10 lines of DCG.
> Is it a joke?
Yes and no. The name is certainly a joke. I was pondering what 'Prolog on Rails' might be and thought calling it PHP would be funny. This led to the PHP-style templates which were quick to implement and pretty powerful. Despite the humorous presentation, it does actually work.
> Can you use Prolog for web services?
Yes! For example, SWI has a mature HTTP package: https://www.swi-prolog.org/pldoc/doc_for?object=section(%27p.... It's used to power SWISH, an online Prolog code sharing thing: https://swish.swi-prolog.org/
> Next steps?
I would like to support persistence somehow. I think it'd be really cool if you could use Prolog's dynamic database[3] as a persistent store. Spin has components for Postgres and Redis so it shouldn't be too hard to implement, but I lose the WASI compatibility if I do that... which means I can't use the binary from WAPM, etc.
I would also like to experiment with running Trealla on Cloudflare Workers. I have another project, worker-prolog[4], which uses Tau Prolog (a Prolog written in Javascript) on Workers.
On a somewhat related note, I've also been playing around with Cosmopolitan libc[5]. I got Trealla to compile to an APE executable but there's some issues with the embedded Prolog libraries getting garbled, so I need to improve my GDB skills and figure out what's going on there.
Finally, I'd like to say thanks to Andrew Davison (@infradig on GitHub), the author of Trealla Prolog, for letting me add WASM support to his project and helping me with lots of things. For example, PHP led to Andrew implementing improvements for using DCGs to parse Prolog terms, which is now super fast[6]!
[1]: https://github.com/guregu/trealla-js
[2]: https://github.com/trealla-prolog/go
[3]: https://www.swi-prolog.org/pldoc/man?predicate=assertz/1
[4]: https://github.com/guregu/worker-prolog
[5]: https://justine.lol/cosmopolitan/
[6]: https://github.com/trealla-prolog/trealla/issues/53
-
Prolog at work
With trealla-prolog/go on the backend and trealla-js on the frontend, you can share the same validation code.
-
Why Would Anyone Need JavaScript Generator Functions?
I found async generators to be handy while porting a C Prolog interpreter to WASM/JS. A `for await` loop is a natural way to iterate over query results, and as a bonus you can use `finally` within the iterator to automatically clean up resources (free memory). There are ways for determined users to leak (manually iterating and forgetting to call `.return()`) but I've found that setting a finalizer on a local variable inside of the generator seems to work :-). I can't say manual memory management is a common task in JS but it did the trick.
The generator in question, which is perhaps the gnarliest JS I've ever written: https://github.com/guregu/trealla-js/blob/887d200b8eecfca8ed...
- trealla-js: Trealla Prolog for the web
- The Ciao System
- Trealla Prolog for the Web
berry
-
How to set up a new project using Yarn
# .gitignore .yarn/* !.yarn/patches !.yarn/plugins !.yarn/releases !.yarn/sdks !.yarn/versions # Swap the comments on the following lines if you don't wish to use zero-installs # Documentation here: https://yarnpkg.com/features/zero-installs # !.yarn/cache .pnp.* node_modules
-
How to resize images for Open Graph and Twitter using sharp
If you need help with setting up the project, I recommend that you follow this guide from Yarn documentation.
-
Node package managers (npm, yarn, pnpm) - All you need to know
Yarn
-
Create a Chat App With Node.js
Install Yarn or NPM to add the required packages and modules.
-
Assign a smart contract to an existing SFS NFT with Thirdweb deployment
Latest version of Node and Yarn
-
How to Register a Smart Contract to Mode SFS with Thirdweb
Have Node and Yarn installed with a recent version.
-
Understanding Dependencies in Programming
Node.js manages dependencies using package managers like npm (Node Package Manager), yarn, and pnpm. npm comes pre-installed with Node.js and allows you to install and uninstall Node.js packages. It uses a package.json file to keep track of which packages your project depends on. Yarn and Pnpm are alternative package managers that aim to improve on npm in various ways, such as improved performance and better lock file format.
-
Run a Linux Distro in your Android device
Depending on the stack of the repository you are cloning, you might have to install additional dependencies. For this demo, I'm using my own website, which is a static website built with Astro.js. It which requires to have Node.js installed and Yarn for package manager.
-
Unit Testing in Node.js and TypeScript: A Comprehensive Guide with Jest Integration
A package manager such as npm, Yarn, or pnpm. A package manager is a tool that helps you manage the dependencies of your project. You can use any of these package managers to install Jest and other packages.
-
Guide to ChatGPT API Implementation for Developers
To start off, you'll need Node.js installed on your local system. This ChatGPT API guide will use Yarn to install dependencies in the project, but you're free to use npm or any other package management tool if you wish. Finally, you'll need an OpenAI account for ChatGPT API access.
What are some alternatives?
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
yarn - The 1.x line is frozen - features and bugfixes now happen on https://github.com/yarnpkg/berry
async-generator - Async generator module.
pnpm - Fast, disk space efficient package manager
Bumble - A small JavaScript game framwork
docker-node - Official Docker Image for Node.js :whale: :turtle: :rocket:
trealla - A compact, efficient Prolog interpreter written in plain-old C.
nx - Smart Monorepos ยท Fast CI
pyswip - PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
snarkdown - :smirk_cat: A snarky 1kb Markdown parser written in JavaScript
php - Prolog Home Page
lerna - :dragon: Lerna is a fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository.