Jean-Luc-Picard-2021
Jean-Luc-Picard-2021
For example SWI-Prolog gives me this warning: ``` Warning: user://1:14: Warning: Clauses of union/3 are not together in the source-file Warning: Earlier definition at user://1:8 Warning: Current predicate: union/2 Warning:...
With Novacore and Liblets its not needed anymore.
You can also extend graphic char and alphanumeric char. Just read the second paragraph of **extended characters (6.5)**:  Its say the contrary to what you wrote, when you wrote...
SWI Prolog and Dogelog Player put CURRENCY_SYMBOL in the category graphic char. A typical currency symbol is $ which behaves like this: ``` ?- X = $$$ . X =...
Similar problem but not exactly the same solution, in case Scryer Prolog would use some Unicode database, you would need to map a different Unicode general category. You can check...
TPTP (as of v8.1.0.0) is not a Unicode adaptation, it doesn't make use of the unicode database. For example it has: ``` ::: [a-z] ``` https://www.tptp.org/TPTP/SyntaxBNF.html#lower_alpha But in Unicode one...
If you would like to be TPTP compatible (versus v8.1.0.0), you would need to ban this: ``` $ target/release/scryer-prolog -v "v0.9.0-181-g8e9302ea" $ target/release/scryer-prolog ?- X = hörgerät. X = hörgerät....
What does "not necessary" mean. Thats nonsense. Wouldn't it be a better and less confusing explanation that `write/1` must behave as `putatom/1`, and everything else would be a bug, since...
Failure or missing Prolog garbage collection? Relying solely on Rust smart pointers? Sloppy built-in implementation? And why a Segmentation fault error? Also there is something wrong with its speed: [https://github.com/mthom/scryer-prolog/issues/1291](https://github.com/mthom/scryer-prolog/issues/1291)
Listing works simple, if you don't have stored variable names. BTW: Colmerauers Prolog III had stored variable names? I have stored variable names in formerly Jekejeke Prolog, but not yet...