users-prolog
[Top][All Lists]

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

Best regards.

==============================================================
Fernando Sáenz Pérez
Profesor Titular de Universidad / Associate Professor
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
C/Profesor José García Santesmases, s/n
==============================================================
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
§      -         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    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


```