On 2007/10/21, at 20:36, Terrance Swift wrote:
> Parsing problems are always a good guess with XSB -- however **/2
> can be
> added to the reader.
:-)
> XSB Version 3.1 (Incognito) of August 10, 2007
> [i386-apple-darwin8.9.1; mode: optimal; engine: slg-wam; gc:
> indirection;
> sched\
> uling: local]
>
> | ?- X is e**pi.
>
> X = 23.1407
>
> The problem is that binary functions are a little awkward to add to
> our
> compiler, so it turns out that with my simple patches, exp/2 or **/
> 2 works
> from the command line, but not in compiled code (I need to fix this).
Thanks for the quick reply! I will ned to wait until you add the
functions to the compiler in order to re-run my tests.
> Anyway, we should think about making it easier to add binary
> functions --
> XSB supports all of the other binary functions from the core
> standard (I
> think) as well as min/2 and max/2. But we do need to add **/2 and we
> might as well add log/2, gcd/2, and ></2 from the revision while
> we're at
> it. I'll try to get that in over the next couple of days.
That wold be nice. However, note that the "core revision" proposal is
at the early stages and is possible that some of the functions above
will be either cut or subject to modifications in the near future.
All the best,
Paulo
-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal
Office 4.3 Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura-E87GkkYR1M9eoWH0uzbU5w@xxxxxxxxxxxxxxxx>
Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
|
