[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]

This is a mail just for informing that the new release

  Datalog Educational System version 1.4.0

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 for details.

  Best regards.

Fernando Sáenz Pérez
Profesor Titular de Universidad / Associate Professor
Home Page:
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):

    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 
    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 
    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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]