scryer-prolog
scryer-prolog copied to clipboard
mthom
A modern Prolog implementation written mostly in Rust.
With great interest I was reading, and got a kind of christmas feeling: > Scryer Prolog sets a new standard for efficient encoding of lists of > characters, which we...
Was this ever considerd to include in Scryer Prolog? > **subtract(+Set, +Delete, -Result)** Delete all elements in Delete from Set. Deletion is based on unification using memberchk/2. https://www.swi-prolog.org/pldoc/doc_for?object=subtract/3 Somehow Scryer...
Was this ever considerd to include in Scryer Prolog? > **upcase_atom(+AnyCase, -UpperCase)** Converts, similar to downcase_atom/2, an atom to uppercase. https://www.swi-prolog.org/pldoc/man?predicate=upcase_atom/2 Strangely its used here in xpath, how do you...
Currently, we get: $ scryer-prolog ?- use_module(library(pio)). true. ?- phrase_to_stream(("hello","there"), user_output). error(existence_error(procedure,(',')/4),(',')/4). With `master`, we get (as expected): ?- phrase_to_stream(("hello","there"), user_output). hellothere true. This seems to be related to DCG...
I have filed #1071 to provide `read_n_chars/3` what is now `get_n_chars/3`, it can be used to read many characters (in case of binary streams: bytes) at once, also up to...
To reproduce the issue recreate the following folder structure: ``` /scryer-webserver docker-compose.yml src/ server.pl /scryer-prolog ... Dockerfile ``` The content of the `docker-compose.yml` is the following ```yml version: '3.9' services:...
``` ?- setof(t,(L=2;L=1),L). error(type_error(list,1),sort/2), unexpected. type_error(_,_), unexpected. false. % expected ``` At first this might seem counter intuitive given the template and modes in 8.10.3.2 `setof(?term, +callable_term, ?list)`. But note...
### Discussed in https://github.com/mthom/scryer-prolog/discussions/1413 I encountered a crash when communicating without a TTY via STDIN/STDOUT. I have created a minimal package for reproducing the problem: [reproduce.tar.gz](https://github.com/mthom/scryer-prolog/files/8534770/reproduce.tar.gz) When you run ```...
Edit: Mistyped / submitted too early. Now it is complete! The readme for the ruleml converter states that ``` ?- parse_ruleml([people('Alex',male),people('Alex',female),people('Siri',female)], [], XML), write(XML). ``` should yield ``` "peopleAlexmalepeopleAlexfemalepeopleSirifemale" XML...
Compiling this crate from source is not a good experience, mainly because of OpenSSL and it's silly Perl building requiment. I would at least think about using Rustls so it...
