Markus Triska comments

Results 705 comments of


                                            Markus Triska

Use higher-order predicates for more convenience

The best way to reason about variables within your program is to choose a good representation for your data. In an initial conversion step, you will likely need impure checks...

Use higher-order predicates for more convenience

Association lists are a fine and also very portable way to do such lookups, and their performance is often completely acceptable. Dicts may be useful if you do a let...

Variable bindings are sometimes unexpectedly lost

Thank you a lot!

problem compiling on windows

The current `master` branch implements changes related to this issue, could you please try it?

Building on msys2-mingw64 fails in openssl

This is now available in `master`, and I think this resolves this issue.

socket_server_accept/4 cannot be interrupted with Ctrl-c

@matt2xu, @razetime: The most important section for this is in `system_calls.rs`, specifically in: https://github.com/mthom/scryer-prolog/blob/de10ccfdeea33abb5d64d5a4bc33ee39b14ab002/src/machine/system_calls.rs#L6136 For comparison, the HTTP server already uses `tokio`: https://github.com/mthom/scryer-prolog/blob/de10ccfdeea33abb5d64d5a4bc33ee39b14ab002/src/machine/system_calls.rs#L4323

Markus Triska

Use higher-order predicates for more convenience

Use higher-order predicates for more convenience

Variable bindings are sometimes unexpectedly lost

problem compiling on windows

problem compiling on windows

Building on msys2-mingw64 fails in openssl

socket_server_accept/4 cannot be interrupted with Ctrl-c

socket_server_accept/4 cannot be interrupted with Ctrl-c

Error when using local modules

Unification may fail with user attributes