scryer-prolog
scratch-www
Our great sponsors
scryer-prolog | scratch-www | |
---|---|---|
42 | 802 | |
1,866 | 1,550 | |
- | 1.0% | |
9.7 | 9.9 | |
8 days ago | 35 minutes ago | |
Rust | JavaScript | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" 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.
scryer-prolog
-
The Shen Programming Language
thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
- Advent of Code 2023 is nigh
-
Djot is a light markup syntax
Djot is the markup syntax that is used for the documentation of Scryer Prolog, using a parser written in Prolog:
https://github.com/aarroyoc/djota
It works well so far. One of the few limitations I noticed so far pertains to the formatting of tables. For instance, consider the table used in library(format) to describe control sequences:
https://github.com/mthom/scryer-prolog/blob/b0566e41503a6c8d...
It contains several entries that span multiple lines, yet are meant to denote only a single row of the table, such as:
% | `~Nr` | where N is an integer between 2 and 36: format the |
-
Why did Prolog lose steam? (2010)
There's a nice book[1][2] about Prolog, with modern characteristics. Moreover, there are things like ProbLog[3] and DeepProbLog[4] that allow you to use probabilistic reasoning and power of machine learning. I am personally looking forward for Scryer Prolog[5] to achieve its goals.
[1] https://www.metalevel.at/prolog
[2] https://github.com/triska/the-power-of-prolog
[3] https://github.com/ML-KULeuven/problog
- PHP: Prolog Home Page
- Control memory usage in scryer prolog
-
Julia is missing 'pycall' for Rust
One use case would be for example Scryer-prolog. The latter is a very fast and easy to use Prolog. It includes high performance constraint solving (e.g. CLP(ℤ)). I'd write a bridge to this prolog, but not if it is too cumbersome.
-
State machines and reconciliation loops
if native Prolog, which one? scryer-prolog seems to be constantly mentioned a having fast string support and useful libraries for dealing with JSON and web APIs
- The Power of Prolog
-
Annotated implementation of microKanren: an embeddable logic language
No, what I'm describing is the "monadic" behaviour of `phrase_from_file/2` and similar predicates. In conjunction with definite clause grammars, this means that your I/O operations either conform to the provided spec or fail. This is a "hot topic" (if LP topics can really still be "hot") and sees active development in new prolog systems.
Check this out:
https://www.swi-prolog.org/pldoc/man?section=pio
https://github.com/mthom/scryer-prolog/blob/084fc845902f7b43...
scratch-www
-
Ask HN: Yo wants to build a game, I'm lost. What can I do?
+1 Scratch! My son started with it, then expanded into Roblox/Lua.
Children can download other people's games and experiment there. Scratch also has pre-made art, sounds, music.
How about using
?
This ! Learning to code will come after, spending time with your son writing down ideas might be more fun at first and it's a good time to teach him that games are thoughts first and then coded after.
I would have recommended Scratch [1] for a first introduction instead of hoping into code right away, but since he is 9yo he will most likely want to hop on big game engine like he sees his favorite youtubers doing.
so while you guys are thinking about ideas, you should look up and compare engine in this thread and learn one, then teach him and make the game/prototype together later.
[1] - https://scratch.mit.edu/
-
Ask HN: Platform for kids to learn how to code
Scratch.mit.edu is a highly-recommended place to start [1] https://scratch.mit.edu/
> Scratch is the world’s largest coding community for children and a coding language with a simple visual interface that allows young people to create digital stories, games, and animations. Scratch is designed, developed, and moderated by the Scratch Foundation, a nonprofit organization. [2]
-
Eligiendo un computador para desarrollo
https://scratch.mit.edu/ (Scratch version 2)
-
Show HN: Roboco-op, a computational blackboard for efficient human/AI collab
Mashing this up with something like https://scratch.mit.edu/ would float my boat :)
-
Linux running on RISC-V emulated in Scratch
Huh. I thought the title might have been a grammar mishap ("from scratch" is how I read it first), but apparently Scratch is a kids-oriented visual programming tool: https://scratch.mit.edu/
Neat. Kind of reminds me of LOGO in days of yore.
-
What to teach in a 90min introduction to programming for non-devs?
// EDIT You can also try something like Scratch
-
Ask HN: Whats the modern day equivalent of 80s computer for kids to explore?
Scratch is amazing. https://scratch.mit.edu/
And a slightly different direction than what you describe. Nowadays a complete "basic environment" on a computer (say a Raspberry Pi, sure why not, but perhaps simply a used laptop) feels too complicated. Far more complicated than DOS was.
Scratch is actually both interesting for kids and a seriously competent programming environment. They can explore; they can implement basic games; they can implement ambitious games or other directions like story telling. And possibly (but not all that easily) open for cooperation, cooperating on larger projects with others.
These are just my opinions, but:
- Arduino C with ESP32.
- Basic Python (ala the wealth of No Starch Press Python books oriented towards kids and games and fun projects).
What are some alternatives?
swipl-devel - SWI-Prolog Main development repository
Node RED - Low-code programming for event-driven applications
GDevelop - :video_game: Open-source, cross-platform game engine designed to be used by everyone.
logica - Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
blockly - The web-based visual programming editor.
Godot - Godot Engine – Multi-platform 2D and 3D game engine
differential-datalog - DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
materialize - The data warehouse for operational workloads.
processing - Source code for the Processing Core and Development Environment (PDE)
tau-prolog - An open source Prolog interpreter in JavaScript
stencyl-engine - Create Flash, HTML5, iOS, Android, and desktop games with no code with Stencyl. This is the source to Stencyl's Haxe-based engine.
prolog - The only reasonable scripting engine for Go.