DES 1.4.0 launched

[fernan]

[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