[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
DES 1.4.0 launched
From: |
fernan |
Subject: |
DES 1.4.0 launched |
Date: |
Sun, 02 Sep 2007 18:56:49 +0200 |
[Apologies for multiple receptions]
Hello.
This is a mail just for informing that the new release
Datalog Educational System version 1.4.0
http://des.sourceforge.net
has been launched on 2nd, September, 2007 and ported to
GNU Prolog 1.3.0
Release notes are attached to the end of this message.
Please, see http://des.sourceforge.net for details.
Best regards.
==============================================================
Fernando Sáenz Pérez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947529
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingeniería del Software e Inteligencia Artificial /
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informática
C/Profesor José García Santesmases, s/n
E - 28040 Madrid. Spain
==============================================================
Version 1.4.0 of DES adds to previous version (1.3.0):
Enhancements:
o Arithmetic has been added. The infix builtin 'is' allows the
evaluation of arithmetic expressions
o Arithmetic operators:
§ \ Bitwise negation
§ - Negative value of its single argument
§ ** Power
§ ^ Synonym for power
§ * Multiplication
§ / Real division
§ + Addition
§ - Subtraction
§ // Integer quotient
§ rem Integer remainder
§ \/ Bitwise disjunction between integers
§ # Bitwise exclusive or between integers
§ /\ Bitwise conjuntion between integers
§ << Shift left the first argument the number of places
indicated by the second one
§ >> Shift right the first argument the number of places
indicated by the second one
o Arithmetic functions:
§ sqrt Square root
§ log Natural logarithm of its single argument
§ ln Synonym for log/1
§ log Logarithm of the second argument in the base of the
first one
§ sin Sine
§ cos Cosine
§ tan Tangent
§ cot Cotangent
§ asin Arc sine
§ acos Arc cosine
§ atan Arc tangent
§ acot Arc cotangent
§ abs Absolute value
§ float Float value of its argument
§ integer Closest integer between 0 and its argument
§ sign Returns -1 if its argument is negative, 0 otherwise
§ gcd Greatest common divisor
§ min Least of two numbers
§ max Greatest of two numbers
§ truncate Integer part as a float
§ float_integer_part(X) Integer part as a float
§ float_fractional_part(X) Fractional part as a float
§ round Closest integer
§ floor Greatest integer less or equal to its argument
§ ceiling Least integer greater or equal to its argument
o Arithmetic constants:
§ pi Archimedes' constant
§ e Euler's number
o Scientific notation supported
o Autoviews (automatic temporary views) for conjunctive queries on the
fly
o Parsing of programs, queries, and asserted rules
o New command:
§ /status Displays the current status of the system
o Output from /builtins organized
o Upgraded input error message
o Prolog goals (submitted via the command /prolog) can be conjunctive
goals
o Revised and upgraded user's manual
o Revised and homogeneized input processing
o Line comments (starting with %) are allowed as prompt inputs (useful
for commenting lines in batch files)
o File and path names enclosed between single quotes for error reporting
in OS commands (therefore clarifying misusing of blanks)
Fixed bugs:
o Underscores in variables were incorrectly parsed
o Asserted rules had missing program variable names
o The output stream was not flushed when prompting user input in the
debugger and when prompting new Prolog solutions using /prolog
o File and directory names as numbers threw an exception in OS commands
o Incorrect goal when abolishing no rules
o Some commands did not admit blanks between arguments
o Fixed some disarranged displays
o Batch processing tried to open both .ini and .pl files
o Dangling choice points in several places
o Anonymous variables were incorrectly parsed
o Debugging was not possible during batch processing
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- DES 1.4.0 launched,
fernan <=