swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
Here's a minimal sample where an engine is created, queried and destroyed within the http handler: ``` :- use_module(library(http/thread_httpd)). :- use_module(library(http/http_dispatch)). :- http_handler('/', test, []). test(_Request) :- engine_create(X, foo(X), E),...
Indenting bug, when the the line is show as in the first case, the indenting is one tab stop to small as shown below. ``` printf_type_eval(_, In, '%i') :- debug(coder,...
Hello, after updating SWI-Prolog windows installation to version >8.2 by default binaries are linked against tcmalloc when available. The documentation (in 4.41.2 Heap memory (malloc)) says: "If SWI-Prolog core detects...
A bit of a nitpick, but when I compile against the SWI Prolog C++ library I receive a lot of warnings. The list of warnings is so long that I...
With SWI-Prolog 7.7.14, I get on OSX and also on Debian: ?- [user]. |: conjunction(A, G, (G,A)). |: % user://1 compiled 0.00 sec, 1 clauses true. ?- length(Ls, 100 000),...
 Why did the installer have trouble adding `C:\Program Files\swipl\bin` to PATH? That doesn't seem to be too many characters. I don't have much added to my PATH.
@triska , New versions of Openssl (since 1.1.0) support **Curve25519**, but `load_private_key/3` does not work with it: ``` $ openssl genpkey -algorithm x25519 -out /tmp/key ``` ``` 25 ?- open('/tmp/key',read,S),load_private_key(S,'',K),close(S)....
It would be great to implement an LSP server (language server protocol) for Prolog, so that we would have code completion, compilation errors, etc support in many editors, something like...
html_resource/2 is a handy system, but doesn't provide access to the entirety of the HTML link tag's options. Request for enhancement to handle some of these other options. Notably, there...
Like it is done in IPython, Julia or Elixir REPL. 
