Jean-Luc-Picard-2021
Jean-Luc-Picard-2021
I mean a link from for example https://www.vidal-rosset.net/ Now you posted a picture of a link in your intranet. Thats not what people understand by link sharing. It would be...
From GNU Prolog, I guess unparse should give '(- a)^b': 
It could be that consult interprets the given input text, not sure what it does? How about include/1 and ensure_loaded/1 then? They are both from the ISO core standard. So...
Is this some sort of chess?
I an not a Tau Prolog contributor, so I cannot support anything. I am only a spectator, who saw this currious code.
I don't think Tau Prolog should change anything. It will break TPTP Syntax, like here: **Cannot consult file** [https://github.com/mthom/scryer-prolog/issues/1289](https://github.com/mthom/scryer-prolog/issues/1289) So its not a bug. The ISO core standard is inflexible....
It seems I must retract my hands clapping and tend now to be more agnostic what Tau Prolog does, and wouldn't care less what Scryer Prolog thinks Tau Prolog should...
A library charsio does not anymore exist in SICStus Prolog 4.7.1: ``` | :- use_module(library(charsio)). ! Existence error in argument 1 of use_module/1 ! file library(charsio) does not exist !...
Meanwhile these two issues got closed: https://github.com/mthom/scryer-prolog/issues/1423 https://github.com/trealla-prolog/trealla/issues/554 Any priorization for this feature request?
This does something: ``` // term_atom/2 "term_atom/2": function(thread, point, atom) { let term = atom.args[0]; let atom1 = atom.args[1]; if (pl.type.is_atom(atom1)) { let tokenizer = new Tokenizer( thread ); tokenizer.new_text(...