Dogelog player is a Prolog system for the JavaScript and the Python platform
xlog.ch
xlog.ch
One thing I've wondered about with such systems as performance: I would be nervous about pathological cases leading to really bad performance or even DOS attacks. My understanding of Prolog in particular is that sometimes in order to get your program to run to completion requires a nontrivial understanding of the backtracking algorithm them so you can judiciously place cuts, etc.
Inspired by Will Byrd's many presentation on quines, this leads me to wonder: what if you had a logic language that does not run at runtime, but that generates code with certain properties according to some set of rules? It's such a thing possible? Are there theoretical results on that subject?
That depends on which constructs are you using. It's perfectly fine to write modern Prolog code without any cut, but the sad thing is that those constructs (once/1, dif/2, if_/3, tabling, ...) aren't taught in most books out there (the exception is The Power of Prolog) which still perpetuates these ideas about Prolog.
It's tangential, but along similar lines. You generate a grammar of what a successful program looks like, and then that grammar can spit out programs of that "shape" ad infinitum.
The main difference is that you don't have the same verifiable guarantees as logic-al solutions because the grammar is generated and evolved over time instead of induced from a ruleset.
> All industrial property rights regarding the information - copyright and patent rights in particular - are the sole property of XLOG Technologies AG. If the company was not the originator of some excerpts, XLOG Technologies AG has at least obtained the right to reproduce, change and translate the information.
> Reproduction is restricted to the whole unaltered document. Reproduction of the information is only allowed for non-commercial uses. Small excerpts can be used if properly cited. Citations must at least include the document title, the product family, the product version, the company, the date and the page.
(am I already violating the provisions by quoting those paragraphs?) makes me immediately scared of what will happen if I use it.
There are other versions in HTML (and also other documentation formats, IIRC) of the ANSI CL standard. One example is this web version, provided by Franz, Inc.: https://franz.com/support/documentation/ansicl.94/ansicl.htm The content is basically the same as in the HyperSpec, but the rendering to HTML is very different.