[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 _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
