Jean-Luc-Picard-2021
Jean-Luc-Picard-2021
I did a search in this repository about `aggregate_all/3`. But I didn't find it. Is this correct that Ciao Prolog has no library(aggregate) from SICStus Prolog? **An Aggregation Operator for...
There seems to be a REPL now: https://github.com/tau-prolog/tau-prolog/issues/306 But `[user]` doesn't work. I get: ``` >node.exe taupl.js ?- [user]. uncaught exception: error(existence_error(procedure,('.')/2),top_level/0) ``` Similar problems with end_of_file and consult(): ```...
In GNU Prolog I find: > 8.15.1 read_term_from_atom/3 etc.. Like read_term/3 etc.. except that characters are not read from a text-stream but from Atom http://www.gprolog.org/manual/html_node/gprolog039.html Is there something similar in...
I used a fuzzer to play around with parsing, it generated me a test case that fails for Tau Prolog:  The expectation is rather like in GNU Prolog: ```...
This irreversibly kills the sandbox: ``` ?- between(1,10,N), L is 10^N, functor(_,foo,L), fail. ``` Are memory errors not catchable in JavaScript. What about a smaller max_arity?
discontiguous directive is in the ISO core standard? Sometimes it helps spot programming errors, like here: ``` union([X|L], R, S) :- contains(R, X), !, union(L, R, S). union([X|L], T) :-...
Just playing around with the Tau Prolog sandbox version 0.3.1 (beta). Somehow here something goes wrong: ``` unparse(^(-(a),b)) = '- a^b'. parse('- a^b') = -(^(a,b)) != ^(-(a),b)) ``` 
When I try on WSL I get: ``` $ go get -u github.com/ichiban/prolog package embed: unrecognized import path "embed" (import path does not begin with hostname) package io/fs: unrecognized import...
I did a search in this repository about `aggregate_all/3`. But I didn't find it. Is this correct that Ciao Prolog has no library(aggregate) from SICStus Prolog? **An Aggregation Operator for...
Was just playing around with the new playground. Very cool, can even bignums. But somehow time/1 is not implemented, I get for a factorial example: ``` ?- time(fac(1000,_)). no ?-...