- #LOGTALK PROGRAMMING LANGUAGE INSTALL#
- #LOGTALK PROGRAMMING LANGUAGE PORTABLE#
- #LOGTALK PROGRAMMING LANGUAGE ISO#
info versions of the Handbook and APIs documentation in the default info directory.
#LOGTALK PROGRAMMING LANGUAGE INSTALL#
Updated: The manual install script and the Linux RPM installer to create links to the. Improved: Simplified embedding scripts for ECLiPSe. Improved: Documentation of the sample embedding scripts. Added: Experimental embedding script for Ciao Prolog. Added: Experimental PowerShell version of the built_manuals.sh script. IDEs, text editors, and syntax highlighters support: Fixed: The xml_parser contribution linter warnings for non-terminals called as predicates. Added: Port of FCube: An Efficient Prover for Intuitionistic Propositional Logic by Mauro Ferrari, Camillo Fiorentini, and Guido Fiorino. 
Added: Additional tests for double-quoted terms syntax (escaped double-quote).Added: Additional test for the optional '|' infix operator for a compliant definition.Added: Additional tests for the atom_concat/3, number_chars/2, number_codes/2, and setof/3 standard Prolog predicates.
Fixed: The adventure and bench examples linter warnings for non-terminals called as predicates. Fixed: Typo in the sample queries of the document_converter example. Updated: The errors example to illustrate the new linter warning on non-terminals being called as predicates. Updated: Reorganize all Net-Clause Language (NCL) examples in the new examples/ncl directory, including the figures individual example. Fixed: Missing message tokenization in the packs tool when printing a pack/registry installation directory. Updated: The tutor tool for the new linter warning on non-terminals being called as predicates. Improved: The tutor tool explanation for the linter warning on findall/3 goals used to backtrack over all solutions of a goal without collecting them. Improved: The help tool feedback when the queried library or entity is not found. Improved: The lgtunit tool documentation of the test/2-3 test dialect valid outcomes. Improved: The lgtunit::quick_check/1-2 predicates now also print the test seed when a counter-example is found. Added: The lgtunit QuickCheck test dialects and predicates now also accept a pb/2 option to show an ASCII progress bar. Currently requires Ciao Prolog, ECLiPSe, LVM, SICStus Prolog, SWI-Prolog, Trealla Prolog, or XSB as the backend running on a POSIX system. Added: Experimental support to the help tool to browse and search inline at the top-level interpreter the Texinfo versions of the Handbook and APIs documentation. Added: A convenient global list of most of the developer tool requirements per operating-system. Changed: The lgtunit tool now reports an error on wrong QuickCheck options instead of silently using default option values. Changed: The lgtunit::quick_check/3 predicate now uses reified error/4 and failed/3 results that include as last argument the test seed. Changed: The help tool to provide a dedicated entity/1 predicate for help on entities (objects, protocols, or categories). #LOGTALK PROGRAMMING LANGUAGE ISO#
Fixed: The definition of the type clause in the types and arbitrary libraries to allow a naked variable body as per the ISO Prolog Core standard.Fixed: The os library delete_directory/1, directory_files/2, environment_variable/1, and file_permission/2 predicates for YAP.Added: New and edge cases for atoms to the arbitrary library.Removed: Support for the type clause_or_partial_clause from the types and arbitrary libraries.
#LOGTALK PROGRAMMING LANGUAGE PORTABLE#
Changed: Use a portable os::is_absolute_file_name/1 predicate definition for all backends for consistency and improve the predicate documentation.Updated: List of required dependencies to build the Handbook final formats.Improved: Handbook documentation of the initialization/1 directive and the logtalk_load_context/2 built-in predicate.Updated: The Trealla Prolog adapter file to require version 2.2.5 or later.Added: Support for calling LVM disk predicate built-in predicates from categories.Fixed: The compiler to not throw an instantiation error when the body of a clause is a variable these clauses are conformant with the ISO Prolog Core standard and this fix also ensures consistency of the handling of naked variables in transparent control constructs.Fixed: Detect conflicts between dynamic/1 directives and uses/2 and use_module/2 directives.Added: Linter warning for non-terminals called as predicates instead of via the phrase/2-3 built-in methods.Added: Compilation warning when compiling a logtalk_load_context/2 goal with an invalid key.
0 kommentar(er)
