Jean-Luc-Picard-2021
Jean-Luc-Picard-2021
Further problem, I cannot rewrite it into div and mod, I then get this error: ``` ?- use_module('/draft.pl'). {Reading /draft.pl ERROR: (lns 27-32) syntax error: operator expected after expression cra_egcd(...
It uses two bigint operations, mod/2 and (//)/2. Its a little slow. Usually bigint libraries have something like: > divideAndRemainder > https://docs.oracle.com/javase/7/docs/api/java/math/BigInteger.html#divideAndRemainder%28java.math.BigInteger%29 Which can be used to implement divmod/4. I...
What would be also useful, these evaluable functions: - **getbit/2:** https://www.swi-prolog.org/pldoc/man?function=getbit/2 - **msb/1:** https://www.swi-prolog.org/pldoc/doc_for?object=f(msb/1) - **lsb/1:** https://www.swi-prolog.org/pldoc/doc_for?object=f(lsb/1) - What else? Are they somewhere under a different name?
A related but different bug here: https://github.com/SWI-Prolog/swipl-devel/issues/1023
Interestingly Ciao Prolog does not have problems parsing the _non-terminating period '.'_. **Hurray!** But the obstacle is now some call_nth/2, since I get: ``` ?- use_module('/draft.pl'). {Compiling /draft.pl ERROR: (lns...
You could ultimately run fCube in Ciao Prolog Playground. Why is there no Logtalk in SWISH, SWIPL WASM, etc.. etc..? https://github.com/LogtalkDotOrg/logtalk3/tree/master/ports/fcube
Would Logtalk be, could Logtalk be a bundle? Maybe I should read the paper more closely, and not only look at the figure: https://cliplab.org/papers/scasp-web-gde.pdf Ok the paper says, and Ciao...
SWI-Prolog throws an error: ``` % a.pl compiled into a 0.00 sec, 1 clauses ERROR: [Thread pce] import/1: No permission to import b:foo/1 into user (already imported from a) %...
On the other hand SWI-Prolog allows this overriding: ``` :- module(c, [foo/1]). :- use_module(a). foo(c). ``` But a little annoyingly it gives a warning: ``` % a compiled into a...
What does the ISO module standard say?  But I agree there are alternatives around, being more tollerant. What some Programming languages then use is for example this: **C3 linearization**...