Jan Wielemaker
Jan Wielemaker
Most emacs mode that create a process put something into the environment such that the process can act on this mode. Currently SW-Prolog checks for `EMACS`, `INSIDE_EMACS` and `INFERIOR`. It...
I'm trying to use the template-hint.js in an arbitrary mode (prolog). I'm still pretty much new to the CodeMirror code base. I have the impression though that template-hint.js does not...
Forked from #722. See also #737 for the context for reproducing. Crash at ``` v = v0 & (buckets-1); head = table[v];
At 10,000 engines, `ldata_in_use()` is getting expensive. Similar issues probably hold for the various _in_use_ fields of the thread info structure related to hash tables, atom-gc, etc.
Provided by @logicmoo ``` :- set_prolog_flag(occurs_check,true). next(P , \+ ~(P)). next(~(P) , \+P). next(on_start(G)/definitional(G),G). bug :- clause(next(A , \+ ~( A)),true,R), clause(_H,_B,R), assertion(acyclic_term(A)), fail. bug. ```
Seems installation works best using (literally using `*.zip` as that will make the pack_upgrade/1 work). https://github.com///releases/*.zip
I was trying to add a scryer entry to https://swi-prolog.discourse.group/t/best-way-to-write-terms-for-interoperability/4709/15 using the program below. This should be called with `?- rsafe(1000000).` and then `?- time(rp(X)).`. However, numlist(1, 10000, L), already...
Consider using https://docs.conan.io for managing the dependencies, notably for Windows and MacOS.
Keri's algorithm for resizing the atom table is way cleaner with less time and space overhead than the one used in the RDF library. Rewriting most likely also fixes the...
If rdf_make/0 is used with persistency enabled, the reload will try to delete the journal. It should close the journal first to avoid a permission error on Windows.