From f5e660b9a3db93a895a24b09e2bdf73de6c02758 Mon Sep 17 00:00:00 2001 From: pmoura Date: Mon, 16 Aug 2004 16:41:11 +0000 Subject: [PATCH] Logtalk 2.20.0 files. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1114 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- Logtalk/INSTALL | 55 ++-- Logtalk/QUICK_START | 4 +- Logtalk/README | 2 +- Logtalk/RELEASE_NOTES | 38 ++- Logtalk/UPGRADING | 6 +- Logtalk/examples/NOTES | 2 +- Logtalk/examples/birds/NOTES | 2 +- Logtalk/examples/birds/SCRIPT | 2 +- Logtalk/examples/bricks/NOTES | 2 +- Logtalk/examples/bricks/SCRIPT | 2 +- Logtalk/examples/classvars/NOTES | 2 +- Logtalk/examples/classvars/SCRIPT | 2 +- Logtalk/examples/dcgs/NOTES | 2 +- Logtalk/examples/dcgs/SCRIPT | 2 +- Logtalk/examples/dynpred/NOTES | 2 +- Logtalk/examples/dynpred/SCRIPT | 2 +- Logtalk/examples/errors/NOTES | 2 +- Logtalk/examples/inheritance/NOTES | 2 +- Logtalk/examples/inheritance/SCRIPT | 2 +- Logtalk/examples/instmethods/NOTES | 2 +- Logtalk/examples/instmethods/SCRIPT | 2 +- Logtalk/examples/lo/NOTES | 2 +- Logtalk/examples/lo/planner/NOTES | 2 +- Logtalk/examples/lo/planner/SCRIPT | 2 +- Logtalk/examples/lo/travellers/NOTES | 2 +- Logtalk/examples/lo/travellers/SCRIPT | 2 +- Logtalk/examples/logic/NOTES | 2 +- Logtalk/examples/logic/SCRIPT | 2 +- Logtalk/examples/lpa/NOTES | 2 +- Logtalk/examples/lpa/SCRIPT | 2 +- Logtalk/examples/metainterpreters/NOTES | 2 +- Logtalk/examples/metainterpreters/SCRIPT | 2 +- Logtalk/examples/metapredicates/NOTES | 2 +- Logtalk/examples/metapredicates/SCRIPT | 2 +- Logtalk/examples/mi/NOTES | 2 +- Logtalk/examples/mi/SCRIPT | 2 +- Logtalk/examples/miscellaneous/NOTES | 2 +- Logtalk/examples/miscellaneous/SCRIPT | 2 +- Logtalk/examples/msglog/NOTES | 2 +- Logtalk/examples/msglog/SCRIPT | 2 +- Logtalk/examples/operators/NOTES | 2 +- Logtalk/examples/operators/SCRIPT | 2 +- Logtalk/examples/parametric/NOTES | 2 +- Logtalk/examples/parametric/SCRIPT | 2 +- Logtalk/examples/points/NOTES | 2 +- Logtalk/examples/points/SCRIPT | 2 +- Logtalk/examples/points/bounded_point.lgt | 3 - Logtalk/examples/polygons/NOTES | 2 +- Logtalk/examples/polygons/SCRIPT | 2 +- Logtalk/examples/polygons/concentric.lgt | 21 +- Logtalk/examples/polygons/polygon.lgt | 3 - Logtalk/examples/profiling/NOTES | 2 +- Logtalk/examples/profiling/SCRIPT | 2 +- Logtalk/examples/profiling/timer.lgt | 24 +- Logtalk/examples/puzzles/NOTES | 2 +- Logtalk/examples/puzzles/SCRIPT | 2 +- Logtalk/examples/puzzles/potions.lgt | 20 +- Logtalk/examples/reflection/NOTES | 2 +- Logtalk/examples/reflection/SCRIPT | 2 +- Logtalk/examples/relations/NOTES | 2 +- Logtalk/examples/relations/SCRIPT | 2 +- .../relations/constrained_relation.lgt | 19 +- Logtalk/examples/relations/relation.lgt | 51 ++-- Logtalk/examples/roots/NOTES | 2 +- Logtalk/examples/roots/SCRIPT | 2 +- Logtalk/examples/searching/NOTES | 2 +- Logtalk/examples/searching/SCRIPT | 2 +- Logtalk/examples/searching/bridge.lgt | 37 +-- Logtalk/examples/searching/eight_puzzle.lgt | 12 +- Logtalk/examples/searching/hill_climbing1.lgt | 15 +- Logtalk/examples/searching/miss_cann.lgt | 10 +- Logtalk/examples/searching/performance.lgt | 34 +-- Logtalk/examples/shapes/NOTES | 2 +- Logtalk/examples/shapes/ch/NOTES | 2 +- Logtalk/examples/shapes/ch/SCRIPT | 2 +- Logtalk/examples/shapes/ph/NOTES | 2 +- Logtalk/examples/shapes/ph/SCRIPT | 2 +- Logtalk/examples/sicstus/NOTES | 2 +- Logtalk/examples/sicstus/SCRIPT | 2 +- Logtalk/examples/symdiff/NOTES | 2 +- Logtalk/examples/symdiff/SCRIPT | 2 +- Logtalk/examples/viewpoints/NOTES | 2 +- Logtalk/examples/viewpoints/SCRIPT | 2 +- Logtalk/library/NOTES | 2 +- Logtalk/library/SCRIPT | 2 +- Logtalk/library/all.notes | 2 +- Logtalk/library/dates.notes | 2 +- Logtalk/library/debugging.notes | 2 +- Logtalk/library/dependents.notes | 2 +- Logtalk/library/events.notes | 2 +- Logtalk/library/experimental/NOTES | 2 +- Logtalk/library/hierarchies.notes | 2 +- Logtalk/library/metapredicates.notes | 2 +- Logtalk/library/random.notes | 2 +- Logtalk/library/types.notes | 2 +- Logtalk/manuals/NOTES | 2 +- Logtalk/manuals/index.html | 6 +- .../refman/builtins/current_category1.html | 4 +- .../manuals/refman/directives/public1.html | 4 +- Logtalk/manuals/refman/directives/uses1.html | 12 +- Logtalk/manuals/refman/grammar.html | 8 +- Logtalk/manuals/refman/index.html | 3 +- Logtalk/manuals/userman/documenting.html | 12 +- Logtalk/manuals/userman/index.html | 7 +- Logtalk/manuals/userman/installing.html | 4 +- Logtalk/manuals/userman/predicates.html | 44 +++- Logtalk/manuals/userman/programming.html | 4 +- Logtalk/manuals/userman/running.html | 31 ++- Logtalk/misc/NOTES | 70 ++++-- Logtalk/misc/cleandist.sh | 10 +- Logtalk/misc/cplgtdirs.js | 65 +++++ Logtalk/misc/cplgtdirs.sh | 7 + Logtalk/misc/debian/control | 2 +- Logtalk/misc/lgt_install.sh | 32 ++- Logtalk/misc/logtalk.spec | 62 ++--- Logtalk/misc/make_ciaolgt.sh | 9 +- Logtalk/misc/make_eclipselgt.js | 95 +++++++ Logtalk/misc/make_eclipselgt.sh | 9 +- Logtalk/misc/make_gplgt.sh | 9 +- Logtalk/misc/make_qplgt.sh | 9 +- Logtalk/misc/make_sicstuslgt.js | 85 +++++++ Logtalk/misc/make_sicstuslgt.sh | 9 +- Logtalk/misc/make_swilgt.js | 92 +++++++ Logtalk/misc/make_swilgt.sh | 9 +- Logtalk/misc/make_xsblgt.sh | 9 +- Logtalk/misc/make_yaplgt.js | 85 +++++++ Logtalk/misc/make_yaplgt.sh | 9 +- Logtalk/wenv/NOTES | 6 +- Logtalk/wenv/crimson/NOTES | 2 +- Logtalk/wenv/emacs/NOTES | 2 +- Logtalk/wenv/jedit/NOTES | 2 +- Logtalk/wenv/kate/NOTES | 2 +- Logtalk/wenv/nedit/NOTES | 2 +- Logtalk/wenv/subethaedit/NOTES | 2 +- Logtalk/wenv/subethaedit2/NOTES | 2 +- Logtalk/wenv/tests/NOTES | 2 +- Logtalk/wenv/textpad/NOTES | 2 +- Logtalk/wenv/vim/NOTES | 2 +- Logtalk/wenv/xcode/NOTES | 2 +- Logtalk/xml/NOTES | 145 +++++++---- Logtalk/xml/html.sh | 2 +- Logtalk/xml/ie50.xsl | 2 +- Logtalk/xml/lgt2html.js | 235 ++++++++++++++++++ Logtalk/xml/lgt2html.sh | 185 ++++++++++++++ Logtalk/xml/lgt2pdf.js | 128 ++++++++++ Logtalk/xml/lgt2pdf.sh | 114 +++++++++ Logtalk/xml/lgthtml.xsl | 5 +- Logtalk/xml/lgtpdfa4.xsl | 2 +- Logtalk/xml/lgtpdfus.xsl | 2 +- Logtalk/xml/lgtxhtml.xsl | 7 +- Logtalk/xml/lgtxml.xsl | 5 +- Logtalk/xml/logtalk.dtd | 2 +- Logtalk/xml/logtalk.xsd | 2 +- Logtalk/xml/xhtml.sh | 65 +++++ library/logtalk/logtalk.pl | 65 ++++- library/logtalk/yap.config | 2 +- 156 files changed, 1886 insertions(+), 438 deletions(-) create mode 100755 Logtalk/misc/cplgtdirs.js create mode 100755 Logtalk/misc/make_eclipselgt.js create mode 100755 Logtalk/misc/make_sicstuslgt.js create mode 100755 Logtalk/misc/make_swilgt.js create mode 100755 Logtalk/misc/make_yaplgt.js create mode 100644 Logtalk/xml/lgt2html.js create mode 100755 Logtalk/xml/lgt2html.sh create mode 100644 Logtalk/xml/lgt2pdf.js create mode 100755 Logtalk/xml/lgt2pdf.sh create mode 100755 Logtalk/xml/xhtml.sh diff --git a/Logtalk/INSTALL b/Logtalk/INSTALL index 3e0fdb7f6..7292adc84 100644 --- a/Logtalk/INSTALL +++ b/Logtalk/INSTALL @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= @@ -23,7 +23,8 @@ the user home directory. INSTALLING FOR MULTIPLE USERS In the case of multiple users, the Logtalk directory can be copied to any -location that its accessible by all the users. +location that its accessible by all the users (assuming that copying the +Logtalk directory to each user home directory is not feasible or desired). Regarding directory and file permissions, it is advisable to make all files read-only in order to avoid user tempering. However, the library and examples @@ -31,40 +32,56 @@ sub-directories (and possibly the compiler sub-directory, depending on the chosen Prolog compiler) must be user writable as compiling Logtalk source files generates intermediate Prolog files, which are written to the same location as the source files. However, making directories world-writable is a -security risk. There are two alternatives. The first one is to pre-compile the -library and all examples and to turn on the compiler option "smart_compilation" -in order to avoid the need of recompilation when the files are loaded by the -users. The second, and probably best, alternative is to copy the Logtalk xml, -examples, and library directories to each user home directory (the "misc" -sub-directory contains a shell script for automating these copies). +security risk. One solution is to copy the Logtalk xml, examples, and library +directories to each user home directory (the "misc" sub-directory contains +some scripts which may be called by the end-users for making these copies). ENVIRONMENT VARIABLES -In Unix and Unix-like systems is recommended that you define an environment -variable named $LOGTALKHOME pointing to the Logtalk installation for use with -your Prolog compilers. If you use a csh shell, add the following line to your -~/.cshrc file: +It is recommended that you define an environment variable named LOGTALKHOME +pointing to the Logtalk installation directory for use with your Prolog +compilers. In addition, you may want to add the Logtalk sub-directory "xml", +which contains useful scripts for processing XML documenting files, to your +execution path. - setenv LOGTALKHOME "/your/installation/directory/lgt2191" +* Unix and Unix-like systems: + +If you use a csh shell, add the following line to your ~/.cshrc file: + + setenv LOGTALKHOME /your/installation/directory/lgt2200 + setenv PATH $PATH:$LOGTALKHOME/xml:$LOGTALKHOME/misc If you use a bash shell, add the following lines to your ~/.profile file: - LOGTALKHOME="/your/installation/directory/lgt2191" + LOGTALKHOME=/your/installation/directory/lgt2200 export LOGTALKHOME + PATH=$PATH:$LOGTALKHOME/xml:$LOGTALKHOME/misc + export PATH When using the provided shell script for installing Logtalk, a symbolic link to the Logtalk installation directory is automatically created. The link is -named "logtalk". In this case, use this symbolic link to define the +named "logtalk". In this case, you may use this symbolic link to define the environment variable in order to avoid breaking it when upgrading Logtalk. +* Windows systems: + +In Windows 95/98/ME, environment variables are defined in the autoexec.bat +file (you will need to reboot after editing the file): + + SET LOGTALKHOME=C:\your\installation\folder\ + +In Windows NT/2000/XP, environment variables are defined using the System +properties control panel (if you are a system administrator, you may define +LOGTALKHOME as a system variable, otherwise define it as a user variable). + CREATING NEW PROLOG TOP-LEVELS FOR AUTOMATIC LOADING OF LOGTALK Most Prolog compilers allows the user to define an initialization file that is automatically consulted at startup. This initialization file may contain directives for loading other files, such as the Logtalk configuration file -and the Logtalk compiler. The "misc" sub-directory contains several shell -scripts for automating the creation of these initialization files for some -popular Prolog compilers. In addition, be sure to read the configs/NOTES file -notes on the Prolog compilers that you intend to use. +and the Logtalk compiler. The "misc" sub-directory contains several scripts +for automating the creation of these initialization files for some Prolog +compilers. In addition, be sure to read the configs/NOTES file notes on the +Prolog compilers that you intend to use. diff --git a/Logtalk/QUICK_START b/Logtalk/QUICK_START index 2741dfed9..b9a847514 100644 --- a/Logtalk/QUICK_START +++ b/Logtalk/QUICK_START @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= @@ -39,7 +39,7 @@ sub-directory. Note that both the configuration files and the compiler/preprocessor files are Prolog files. The predicate called to load these files depends on your Prolog compiler (consult your Prolog compiler documentation or take a look -at the definition of the predicate $lgt_load_prolog_code/1 in the config +at the definition of the predicate '$lgt_load_prolog_code'/1 in the config file. For most command-line compilers, you could type at the Prolog prompt something like: diff --git a/Logtalk/README b/Logtalk/README index 13db99bf6..62f59f554 100644 --- a/Logtalk/README +++ b/Logtalk/README @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/RELEASE_NOTES b/Logtalk/RELEASE_NOTES index c743d64d9..2a1c16f7f 100644 --- a/Logtalk/RELEASE_NOTES +++ b/Logtalk/RELEASE_NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= @@ -10,6 +10,42 @@ RELEASE NOTES ============= +2.20.0 - August 16, 2004 + + Added support for the uses/2 predicate directive (whose semantics is similar + to C++ using-declarations). Updated the uses/1 entity directive to accept as + argument a single object identifier. + + Improved installation instructions for Windows users. + + Added four new sample bash shell scripts and Windows JScript scripts for + converting XML documenting files to PDF, HTML, and XHTML using several XSL + processors. + + Added missing namespace to XSL files in order to generated valid (X)HTML + files with recent versions of XSLT processors. + + Updated the User Manual documentation on converting XML documenting files + to other formats. + + Removed the texml.xsl XSLT file as the TeXMLatte application it depends on + is no longer available. + + Added Windows JScript script for copying the Logtalk examples, library, and + xml directories to the user directory. + + Added Windows JScript scripts for easy integration of Logtalk with ECLiPSe, + SWI-Prolog, SICStus Prolog, and YAP. + + Added missing extension for source metafiles to the SWI-Prolog hook file. + + Corrected a bug in the lgtxhtml.xsl XSLT file where a wrong reference to + the Logtalk CSS file is being used in the xml-stylesheet tag. + + The iso_initialization_dir/1 compiler option is now a read only flag, + defined in the configuration files. + + 2.19.1 - August 2, 2004 Corrected a bug where entities could not be reloaded if they depend on diff --git a/Logtalk/UPGRADING b/Logtalk/UPGRADING index 3df96569a..bf357bdbb 100644 --- a/Logtalk/UPGRADING +++ b/Logtalk/UPGRADING @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= @@ -81,3 +81,7 @@ value is "flags" (print both banner and default flag values). Logtalk version 2.17.1 removes predicate nth/3 from library entities listp, list, and difflist (replaced by the predicates nth0/3 and nth1/3). + +Logtalk version 2.20.0 updates the semantics of the uses/1 entity directive +to accept as argument a single object identifier (this change is needed in +order to ensure compatibility with the new uses/2 predicate directive). diff --git a/Logtalk/examples/NOTES b/Logtalk/examples/NOTES index 5efcfbd01..f4e04d3c4 100644 --- a/Logtalk/examples/NOTES +++ b/Logtalk/examples/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/NOTES b/Logtalk/examples/birds/NOTES index 85fcf5e53..5506cf7ba 100644 --- a/Logtalk/examples/birds/NOTES +++ b/Logtalk/examples/birds/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/SCRIPT b/Logtalk/examples/birds/SCRIPT index 0170b64cb..399a128ca 100644 --- a/Logtalk/examples/birds/SCRIPT +++ b/Logtalk/examples/birds/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/NOTES b/Logtalk/examples/bricks/NOTES index 9fe4f594c..270bb9ba1 100644 --- a/Logtalk/examples/bricks/NOTES +++ b/Logtalk/examples/bricks/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/SCRIPT b/Logtalk/examples/bricks/SCRIPT index 01e2d2c37..c36d61efc 100644 --- a/Logtalk/examples/bricks/SCRIPT +++ b/Logtalk/examples/bricks/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/NOTES b/Logtalk/examples/classvars/NOTES index 8b8e43b23..c53f71481 100644 --- a/Logtalk/examples/classvars/NOTES +++ b/Logtalk/examples/classvars/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/SCRIPT b/Logtalk/examples/classvars/SCRIPT index 9065be3bd..11fb14bec 100644 --- a/Logtalk/examples/classvars/SCRIPT +++ b/Logtalk/examples/classvars/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dcgs/NOTES b/Logtalk/examples/dcgs/NOTES index 169bb9ef0..f3613f301 100644 --- a/Logtalk/examples/dcgs/NOTES +++ b/Logtalk/examples/dcgs/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dcgs/SCRIPT b/Logtalk/examples/dcgs/SCRIPT index a970e9f66..39ff58248 100644 --- a/Logtalk/examples/dcgs/SCRIPT +++ b/Logtalk/examples/dcgs/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dynpred/NOTES b/Logtalk/examples/dynpred/NOTES index fd72aba0b..57bad9981 100644 --- a/Logtalk/examples/dynpred/NOTES +++ b/Logtalk/examples/dynpred/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dynpred/SCRIPT b/Logtalk/examples/dynpred/SCRIPT index a0a624f26..dfa380f24 100644 --- a/Logtalk/examples/dynpred/SCRIPT +++ b/Logtalk/examples/dynpred/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/errors/NOTES b/Logtalk/examples/errors/NOTES index 960403467..6f5484ff5 100644 --- a/Logtalk/examples/errors/NOTES +++ b/Logtalk/examples/errors/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/NOTES b/Logtalk/examples/inheritance/NOTES index 8cd74ef89..1a7f42b20 100644 --- a/Logtalk/examples/inheritance/NOTES +++ b/Logtalk/examples/inheritance/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/SCRIPT b/Logtalk/examples/inheritance/SCRIPT index b108c91ad..3eb21a9f4 100644 --- a/Logtalk/examples/inheritance/SCRIPT +++ b/Logtalk/examples/inheritance/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/NOTES b/Logtalk/examples/instmethods/NOTES index 3d3fd2948..1de1ae8e7 100644 --- a/Logtalk/examples/instmethods/NOTES +++ b/Logtalk/examples/instmethods/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/SCRIPT b/Logtalk/examples/instmethods/SCRIPT index 30d0a1db8..3ebe7f8de 100644 --- a/Logtalk/examples/instmethods/SCRIPT +++ b/Logtalk/examples/instmethods/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/NOTES b/Logtalk/examples/lo/NOTES index d25947289..b215a3826 100644 --- a/Logtalk/examples/lo/NOTES +++ b/Logtalk/examples/lo/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/NOTES b/Logtalk/examples/lo/planner/NOTES index 2e8670edb..4655d3877 100644 --- a/Logtalk/examples/lo/planner/NOTES +++ b/Logtalk/examples/lo/planner/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/SCRIPT b/Logtalk/examples/lo/planner/SCRIPT index d1186f274..3300bf734 100644 --- a/Logtalk/examples/lo/planner/SCRIPT +++ b/Logtalk/examples/lo/planner/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/NOTES b/Logtalk/examples/lo/travellers/NOTES index 0cb7b0c46..708c5beb7 100644 --- a/Logtalk/examples/lo/travellers/NOTES +++ b/Logtalk/examples/lo/travellers/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/SCRIPT b/Logtalk/examples/lo/travellers/SCRIPT index 77137c3a8..cda9fd658 100644 --- a/Logtalk/examples/lo/travellers/SCRIPT +++ b/Logtalk/examples/lo/travellers/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/logic/NOTES b/Logtalk/examples/logic/NOTES index a4f244556..eeda51e2e 100644 --- a/Logtalk/examples/logic/NOTES +++ b/Logtalk/examples/logic/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/logic/SCRIPT b/Logtalk/examples/logic/SCRIPT index 31d1711af..04e06d4ca 100644 --- a/Logtalk/examples/logic/SCRIPT +++ b/Logtalk/examples/logic/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/NOTES b/Logtalk/examples/lpa/NOTES index b5f6b99f6..af5a3554c 100644 --- a/Logtalk/examples/lpa/NOTES +++ b/Logtalk/examples/lpa/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/SCRIPT b/Logtalk/examples/lpa/SCRIPT index c79d6c439..224f2b713 100644 --- a/Logtalk/examples/lpa/SCRIPT +++ b/Logtalk/examples/lpa/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metainterpreters/NOTES b/Logtalk/examples/metainterpreters/NOTES index 3e5167416..88435124e 100644 --- a/Logtalk/examples/metainterpreters/NOTES +++ b/Logtalk/examples/metainterpreters/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metainterpreters/SCRIPT b/Logtalk/examples/metainterpreters/SCRIPT index dd43dbc00..c0ebba267 100644 --- a/Logtalk/examples/metainterpreters/SCRIPT +++ b/Logtalk/examples/metainterpreters/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/NOTES b/Logtalk/examples/metapredicates/NOTES index 13af2e056..de8f5cd80 100644 --- a/Logtalk/examples/metapredicates/NOTES +++ b/Logtalk/examples/metapredicates/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/SCRIPT b/Logtalk/examples/metapredicates/SCRIPT index dd0f785bd..dc05097c3 100644 --- a/Logtalk/examples/metapredicates/SCRIPT +++ b/Logtalk/examples/metapredicates/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/NOTES b/Logtalk/examples/mi/NOTES index c237576f6..313e51ec5 100644 --- a/Logtalk/examples/mi/NOTES +++ b/Logtalk/examples/mi/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/SCRIPT b/Logtalk/examples/mi/SCRIPT index fb0e2d353..0aec7d414 100644 --- a/Logtalk/examples/mi/SCRIPT +++ b/Logtalk/examples/mi/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/NOTES b/Logtalk/examples/miscellaneous/NOTES index 36236c71e..8750bc4da 100644 --- a/Logtalk/examples/miscellaneous/NOTES +++ b/Logtalk/examples/miscellaneous/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/SCRIPT b/Logtalk/examples/miscellaneous/SCRIPT index fced82164..3542976a8 100644 --- a/Logtalk/examples/miscellaneous/SCRIPT +++ b/Logtalk/examples/miscellaneous/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/msglog/NOTES b/Logtalk/examples/msglog/NOTES index 517b9ea09..e1eede372 100644 --- a/Logtalk/examples/msglog/NOTES +++ b/Logtalk/examples/msglog/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/msglog/SCRIPT b/Logtalk/examples/msglog/SCRIPT index 59d1babd6..0d24ea020 100644 --- a/Logtalk/examples/msglog/SCRIPT +++ b/Logtalk/examples/msglog/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/operators/NOTES b/Logtalk/examples/operators/NOTES index 05de74dae..3b10e306c 100644 --- a/Logtalk/examples/operators/NOTES +++ b/Logtalk/examples/operators/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/operators/SCRIPT b/Logtalk/examples/operators/SCRIPT index 7c2676640..cb97f39a4 100644 --- a/Logtalk/examples/operators/SCRIPT +++ b/Logtalk/examples/operators/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/NOTES b/Logtalk/examples/parametric/NOTES index da68c7fc0..41d53a521 100644 --- a/Logtalk/examples/parametric/NOTES +++ b/Logtalk/examples/parametric/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/SCRIPT b/Logtalk/examples/parametric/SCRIPT index a2e8b799a..44cab7fce 100644 --- a/Logtalk/examples/parametric/SCRIPT +++ b/Logtalk/examples/parametric/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/NOTES b/Logtalk/examples/points/NOTES index 1e86a1613..3b091bbbe 100644 --- a/Logtalk/examples/points/NOTES +++ b/Logtalk/examples/points/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/SCRIPT b/Logtalk/examples/points/SCRIPT index aed40ff7f..19a16f994 100644 --- a/Logtalk/examples/points/SCRIPT +++ b/Logtalk/examples/points/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/bounded_point.lgt b/Logtalk/examples/points/bounded_point.lgt index 12910e2a7..a585a083e 100644 --- a/Logtalk/examples/points/bounded_point.lgt +++ b/Logtalk/examples/points/bounded_point.lgt @@ -13,9 +13,6 @@ source is 'Example adopted from the SICStus Objects documentation.']). - :- uses(list). - - move(X, Y) :- ::check_bounds(x, X), ::check_bounds(y, Y), diff --git a/Logtalk/examples/polygons/NOTES b/Logtalk/examples/polygons/NOTES index 0571cf7d1..a0f6091be 100644 --- a/Logtalk/examples/polygons/NOTES +++ b/Logtalk/examples/polygons/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/SCRIPT b/Logtalk/examples/polygons/SCRIPT index 90b10f72b..85fcf04d2 100644 --- a/Logtalk/examples/polygons/SCRIPT +++ b/Logtalk/examples/polygons/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/concentric.lgt b/Logtalk/examples/polygons/concentric.lgt index 2ff4f970e..f97b1429c 100644 --- a/Logtalk/examples/polygons/concentric.lgt +++ b/Logtalk/examples/polygons/concentric.lgt @@ -4,13 +4,14 @@ :- info([ - version is 1.0, - date is 1998/3/23, + version is 1.1, + date is 2004/8/15, author is 'Paulo Moura', comment is 'Concentric polygons as a constrained binary relation.']). - :- uses(list). + :- uses(list, + [member/2, select/3]). descriptor_([x1, x2]). @@ -33,7 +34,7 @@ add_tuple([Polygon| Polygons]) :- Polygon::position(X, Y), - forall(list::member(Polygon2, Polygons), {Polygon2::move(X, Y)}), + forall(member(Polygon2, Polygons), {Polygon2::move(X, Y)}), ^^add_tuple([Polygon| Polygons]). @@ -45,24 +46,24 @@ propagate(after, move(X, Y), Polygon, _, Tuple) :- - list::select(Polygon, Tuple, Polygons), + select(Polygon, Tuple, Polygons), !, forall( - (list::member(Polygon2, Polygons),\+ Polygon2::position(X, Y)), + (member(Polygon2, Polygons),\+ Polygon2::position(X, Y)), {Polygon2::move(X, Y)}). propagate(after, transX(X), Polygon, _, Tuple) :- - list::select(Polygon, Tuple, Polygons), + select(Polygon, Tuple, Polygons), !, forall( - (list::member(Polygon2, Polygons), \+ Polygon2::position(X, _)), + (member(Polygon2, Polygons), \+ Polygon2::position(X, _)), {Polygon2::transX(X)}). propagate(after, transY(Y), Polygon, _, Tuple) :- - list::select(Polygon, Tuple, Polygons), + select(Polygon, Tuple, Polygons), !, forall( - (list::member(Polygon2, Polygons), \+ Polygon2::position(_, Y)), + (member(Polygon2, Polygons), \+ Polygon2::position(_, Y)), {Polygon2::transY(Y)}). diff --git a/Logtalk/examples/polygons/polygon.lgt b/Logtalk/examples/polygons/polygon.lgt index 7a0fd89d2..1efa63f02 100644 --- a/Logtalk/examples/polygons/polygon.lgt +++ b/Logtalk/examples/polygons/polygon.lgt @@ -11,9 +11,6 @@ comment is 'Polygon predicates.']). - :- uses(list). - - :- public(move/2). :- mode(move(+integer, +integer), one). diff --git a/Logtalk/examples/profiling/NOTES b/Logtalk/examples/profiling/NOTES index 636e919a2..5ccd0a438 100644 --- a/Logtalk/examples/profiling/NOTES +++ b/Logtalk/examples/profiling/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/SCRIPT b/Logtalk/examples/profiling/SCRIPT index 493055c8b..f206c47f5 100644 --- a/Logtalk/examples/profiling/SCRIPT +++ b/Logtalk/examples/profiling/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/timer.lgt b/Logtalk/examples/profiling/timer.lgt index 1a20e7dfc..af12cd5e9 100644 --- a/Logtalk/examples/profiling/timer.lgt +++ b/Logtalk/examples/profiling/timer.lgt @@ -3,14 +3,14 @@ :- info([ - version is 1.1, + version is 1.2, author is 'Paulo Moura', - date is 2004/6/30, + date is 2004/8/15, comment is 'Call executing time profiler.']). - :- uses(time). - :- uses(loop). + :- uses(time, [cpu_time/1]). + :- uses(loop, [forto/3]). :- public(timer/2). @@ -34,19 +34,19 @@ timer(Call, Time) :- - time::cpu_time(Start), + cpu_time(Start), (call(Call) -> true; true), - time::cpu_time(End), + cpu_time(End), Time is End - Start. timer(Call, Times, Time) :- - time::cpu_time(Start), - loop::forto(1, Times, Call), - time::cpu_time(End), - time::cpu_time(Start2), - loop::forto(1, 0, true), - time::cpu_time(End2), + cpu_time(Start), + forto(1, Times, Call), + cpu_time(End), + cpu_time(Start2), + forto(1, 0, true), + cpu_time(End2), Overhead is End2 - Start2, Time is (End - Start - Overhead) / Times. diff --git a/Logtalk/examples/puzzles/NOTES b/Logtalk/examples/puzzles/NOTES index b1d1ad181..5b536e59f 100644 --- a/Logtalk/examples/puzzles/NOTES +++ b/Logtalk/examples/puzzles/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/puzzles/SCRIPT b/Logtalk/examples/puzzles/SCRIPT index a5bdb690f..af4ddb688 100644 --- a/Logtalk/examples/puzzles/SCRIPT +++ b/Logtalk/examples/puzzles/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/puzzles/potions.lgt b/Logtalk/examples/puzzles/potions.lgt index 6a35c48e5..a0e15d1f0 100644 --- a/Logtalk/examples/puzzles/potions.lgt +++ b/Logtalk/examples/puzzles/potions.lgt @@ -9,12 +9,12 @@ http://www.csci.csusb.edu/dick/cs320/prolog/Potions.htm :- info([ - version is 1.0, - date is 2004/4/29, + version is 1.1, + date is 2004/8/15, author is 'Paulo Moura', comment is 'Harry Potter potions logical puzzle.']). - :- uses(list). + :- uses(list, [select/3]). :- public(potions/7). :- mode(potions(?atom, ?atom, ?atom, ?atom, ?atom, ?atom, ?atom), zero_or_one). @@ -27,17 +27,17 @@ http://www.csci.csusb.edu/dick/cs320/prolog/Potions.htm potions(P1, P2, P3, P4, P5, P6, P7) :- contents(H1), - list::select(P1, H1, H2), - list::select(P7, H2, H3), + select(P1, H1, H2), + select(P7, H2, H3), P1 \= P7, P1 \= forward, P7 \= forward, % second clue - list::select(P2, H3, H4), + select(P2, H3, H4), P2 \= poison, - list::select(P3, H4, H5), + select(P3, H4, H5), P3 \= poison, % third clue P2 = P6, - list::select(P6, H5, H6), % fourth clue - list::select(P4, H6, H7), - list::select(P5, H7, []), + select(P6, H5, H6), % fourth clue + select(P4, H6, H7), + select(P5, H7, []), two_pairs_poison_wine([P1, P2, P3, P4, P5, P6, P7]). % first clue diff --git a/Logtalk/examples/reflection/NOTES b/Logtalk/examples/reflection/NOTES index 8101f9d07..652e9d916 100644 --- a/Logtalk/examples/reflection/NOTES +++ b/Logtalk/examples/reflection/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/SCRIPT b/Logtalk/examples/reflection/SCRIPT index 4f5815d97..e2129b319 100644 --- a/Logtalk/examples/reflection/SCRIPT +++ b/Logtalk/examples/reflection/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/NOTES b/Logtalk/examples/relations/NOTES index c5feb7a5f..623173726 100644 --- a/Logtalk/examples/relations/NOTES +++ b/Logtalk/examples/relations/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/SCRIPT b/Logtalk/examples/relations/SCRIPT index 04d795e87..1285d7d46 100644 --- a/Logtalk/examples/relations/SCRIPT +++ b/Logtalk/examples/relations/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/constrained_relation.lgt b/Logtalk/examples/relations/constrained_relation.lgt index bf9d359f7..c309921e2 100644 --- a/Logtalk/examples/relations/constrained_relation.lgt +++ b/Logtalk/examples/relations/constrained_relation.lgt @@ -5,13 +5,14 @@ :- info([ - version is 3, - date is 2000/7/24, + version is 3.1, + date is 2004/8/15, author is 'Paulo Moura', comment is 'Enables the representation of relations with constraints on the state of participating objects.']). - :- uses(list). + :- uses(list, + [member/2, memberchk/2, subtract/3]). :- private(activ_points_/3). @@ -106,7 +107,7 @@ del_object_monitors(Object, Role) :- ::plays_roles(Object, Roles) -> - (list::member(Role, Roles) -> + (member(Role, Roles) -> true ; del_object_monitors(Object, Role, Roles)) @@ -145,7 +146,7 @@ activ_point(Role, Event, Message) :- ::activ_points_(Role, Event, Messages), - list::member(Message, Messages). + member(Message, Messages). activ_points(Role, Event, List) :- @@ -160,7 +161,7 @@ set_activ_points(Role, Event, List) :- ::descriptor(Descriptor), - list::memberchk(Role, Descriptor), + memberchk(Role, Descriptor), ::retractall(activ_points_(Role, Event, _)), ::assertz(activ_points_(Role, Event, List)). @@ -174,7 +175,7 @@ filter_messages([Role| Roles], Original, Event, Messages) :- ::activ_points_(Role, Event, Excluded), - list::subtract(Original, Excluded, Rest), + subtract(Original, Excluded, Rest), filter_messages(Roles, Rest, Event, Messages). @@ -196,13 +197,13 @@ ::descriptor(Descriptor), write('call activation points:'), nl, findall(Messages, - (list::member(Role, Descriptor), + (member(Role, Descriptor), ::activ_points(Role, before, Messages)), CallList), write(' '), writeq(CallList), nl, write('exit activation points:'), nl, findall(Messages, - (list::member(Role, Descriptor), + (member(Role, Descriptor), ::activ_points(Role, after, Messages)), ExitList), write(' '), writeq(ExitList), nl. diff --git a/Logtalk/examples/relations/relation.lgt b/Logtalk/examples/relations/relation.lgt index 3efdc73f0..f2e99270a 100644 --- a/Logtalk/examples/relations/relation.lgt +++ b/Logtalk/examples/relations/relation.lgt @@ -6,15 +6,16 @@ :- info([ - version is 1.1, - date is 2004/5/9, + version is 1.2, + date is 2004/8/15, author is 'Esteban Zimanyi, Paulo Moura', comment is 'Enables the representation of relations between independent objects.']). :- uses(before_event_registry). :- uses(after_event_registry). - :- uses(list). + :- uses(list, + [length/2, member/2, memberchk/2, nth1/3, same_length/2]). tuple(Tuple) :- @@ -33,7 +34,7 @@ add_tuple(Tuple) :- ::descriptor(Descriptor), - \+ list::same_length(Tuple, Descriptor), + \+ same_length(Tuple, Descriptor), self(Self), sender(Sender), throw(error(invalid_length, Self::add_tuple(Tuple), Sender)). @@ -49,8 +50,8 @@ add_tuple(Tuple) :- ::descriptor(Descriptor), - list::nth1(Position, Tuple, Object), - list::nth1(Position, Descriptor, Role), + nth1(Position, Tuple, Object), + nth1(Position, Descriptor, Role), ::cardinality(Role, _, Maximum), ::plays_role_n_times(Object, Role, Number), Maximum = Number, @@ -60,8 +61,8 @@ add_tuple(Tuple) :- ::descriptor(Descriptor), - list::nth1(Position, Tuple, Object), - list::nth1(Position, Descriptor, Role), + nth1(Position, Tuple, Object), + nth1(Position, Descriptor, Role), ::domain(Role, Domain), (Domain::strict_instance -> \+ Domain::valid(Object) @@ -79,7 +80,7 @@ make_tuple_template([], [], _, []). make_tuple_template([Object| Objects], [Role| Roles], Key, [Var| Rest]) :- - (list::member(Role, Key) -> + (member(Role, Key) -> Var = Object ; true), @@ -94,8 +95,8 @@ remove_tuple(Tuple) :- ::descriptor(Descriptor), - list::nth1(Position, Tuple, Object), - list::nth1(Position, Descriptor, Role), + nth1(Position, Tuple, Object), + nth1(Position, Descriptor, Role), ::cardinality(Role, Minimum, _), ::plays_role_n_times(Object, Role, Number), Minimum = Number, @@ -115,34 +116,34 @@ number_of_tuples(Number) :- findall(1, ::tuple_(_), List), - list::length(List, Number). + length(List, Number). plays_roles(Object, Roles) :- ::descriptor(Descriptor), setof(Role, Tuple^Position^ (::tuple(Tuple), - list::member(Object, Tuple), - list::nth1(Position, Tuple, Object), - once(list::nth1(Position, Descriptor, Role))), + member(Object, Tuple), + nth1(Position, Tuple, Object), + once(nth1(Position, Descriptor, Role))), Roles). plays_role_in_tuple(Object, Role, Tuple) :- ::descriptor(Descriptor), ::tuple(Tuple), - list::nth1(Position, Tuple, Object), - list::nth1(Position, Descriptor, Role). + nth1(Position, Tuple, Object), + nth1(Position, Descriptor, Role). plays_role_n_times(Object, Role, Number) :- ::descriptor(Descriptor), - list::nth1(Position, Descriptor, Role), + nth1(Position, Descriptor, Role), setof(Tuple, (::tuple(Tuple), - list::nth1(Position, Tuple, Object)), + nth1(Position, Tuple, Object)), Tuples), - list::length(Tuples, Number). + length(Tuples, Number). domains(Domains) :- @@ -193,7 +194,7 @@ degree(Degree) :- ::descriptor_(Descriptor), - list::length(Descriptor, Degree). + length(Descriptor, Degree). set_descriptor(Descriptor) :- @@ -258,8 +259,8 @@ valid_keys([Key| Keys], Descriptor) :- forall( - list::member(Role, Key), - list::memberchk(Role, Descriptor)), + member(Role, Key), + memberchk(Role, Descriptor)), valid_keys(Keys, Descriptor). @@ -294,7 +295,7 @@ set_delete_options(Options) :- ::descriptor(Descriptor), - \+ list::same_length(Options, Descriptor), + \+ same_length(Options, Descriptor), self(Self), sender(Sender), throw(error(invalid_length, Self::set_delete_options(Options), Sender)). @@ -413,7 +414,7 @@ del_monitors([Object| Objects]) :- ((instantiates_class(Object, Class), - \+ (::tuple(Other), list::member(Object, Other))) -> + \+ (::tuple(Other), member(Object, Other))) -> self(Self), before_event_registry::del_monitors(Class, delete(Object, _), _, Self) ; diff --git a/Logtalk/examples/roots/NOTES b/Logtalk/examples/roots/NOTES index b41d31759..2bcffb225 100644 --- a/Logtalk/examples/roots/NOTES +++ b/Logtalk/examples/roots/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/SCRIPT b/Logtalk/examples/roots/SCRIPT index cafbfdc88..2f74ef180 100644 --- a/Logtalk/examples/roots/SCRIPT +++ b/Logtalk/examples/roots/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/NOTES b/Logtalk/examples/searching/NOTES index d49a277d1..447559cc2 100644 --- a/Logtalk/examples/searching/NOTES +++ b/Logtalk/examples/searching/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/SCRIPT b/Logtalk/examples/searching/SCRIPT index 512450eb0..1088f12f5 100644 --- a/Logtalk/examples/searching/SCRIPT +++ b/Logtalk/examples/searching/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/bridge.lgt b/Logtalk/examples/searching/bridge.lgt index b7e80eed7..4ffab38a7 100644 --- a/Logtalk/examples/searching/bridge.lgt +++ b/Logtalk/examples/searching/bridge.lgt @@ -3,9 +3,16 @@ instantiates(heuristic_state_space)). - :- uses(list). - :- uses(numberlist). - :- uses(set). + :- info([ + version is 1.1, + author is 'Paulo Moura', + date is 2004/8/15, + comment is 'Bridge puzzle.']). + + + :- uses(list, [append/3]). + :- uses(numberlist, [min/2, max/2]). + :- uses(set, [insert/3, insert_all/3, select/3]). initial_state(start, ([], right, [1,3,6,8,12])). @@ -15,32 +22,32 @@ next_state((Left1, left, Right1), (Left2, right, Right2), Slower) :- % two persons - list::append(List, [Person1| Persons], Left1), - set::select(Person2, Persons, Others), - list::append(List, Others, Left2), - set::insert_all([Person1, Person2], Right1, Right2), + append(List, [Person1| Persons], Left1), + select(Person2, Persons, Others), + append(List, Others, Left2), + insert_all([Person1, Person2], Right1, Right2), (Person1 > Person2 -> Slower = Person1 ; Slower = Person2). next_state((Left1, right, Right1), (Left2, left, Right2), Slower) :- % two persons - list::append(List, [Person1| Persons], Right1), - set::select(Person2, Persons, Others), - list::append(List, Others, Right2), - set::insert_all([Person1, Person2], Left1, Left2), + append(List, [Person1| Persons], Right1), + select(Person2, Persons, Others), + append(List, Others, Right2), + insert_all([Person1, Person2], Left1, Left2), (Person1 > Person2 -> Slower = Person1 ; Slower = Person2). next_state((Left1, left, Right1), (Left2, right, Right2), Person) :- % one person - set::select(Person, Left1, Left2), - set::insert(Right1, Person, Right2). + select(Person, Left1, Left2), + insert(Right1, Person, Right2). next_state((Left1, right, Right1), (Left2, left, Right2), Person) :- % one person - set::select(Person, Right1, Right2), - set::insert(Left1, Person, Left2). + select(Person, Right1, Right2), + insert(Left1, Person, Left2). heuristic((Left, Lamp, Right), Heuristic) :- diff --git a/Logtalk/examples/searching/eight_puzzle.lgt b/Logtalk/examples/searching/eight_puzzle.lgt index b3fc9a43b..15a70aed3 100644 --- a/Logtalk/examples/searching/eight_puzzle.lgt +++ b/Logtalk/examples/searching/eight_puzzle.lgt @@ -4,13 +4,13 @@ :- info([ - version is 1.0, + version is 1.1, author is 'Paulo Moura', - date is 1998/3/23, + date is 2004/8/15, comment is 'Eight puzzle heuristic state space search problem.']). - :- uses(list). + :- uses(list, [member/2]). initial_state(four_steps, [2/2,1/3,3/2,2/3,3/3,3/1,2/1,1/1,1/2]). @@ -24,10 +24,10 @@ print_state([S0,S1,S2,S3,S4,S5,S6,S7,S8]) :- - list::member(Y, [3, 2, 1]), + member(Y, [3, 2, 1]), nl, - list::member(X, [1, 2, 3]), - list::member(Tile-X/Y, [' '-S0,1-S1,2-S2,3-S3,4-S4,5-S5,6-S6,7-S7,8-S8]), + member(X, [1, 2, 3]), + member(Tile-X/Y, [' '-S0,1-S1,2-S2,3-S3,4-S4,5-S5,6-S6,7-S7,8-S8]), write(Tile), fail. diff --git a/Logtalk/examples/searching/hill_climbing1.lgt b/Logtalk/examples/searching/hill_climbing1.lgt index 837c72d29..afa6bb9ae 100644 --- a/Logtalk/examples/searching/hill_climbing1.lgt +++ b/Logtalk/examples/searching/hill_climbing1.lgt @@ -4,21 +4,22 @@ :- info([ - version is 1.0, + version is 1.1, author is 'Paulo Moura', - date is 1998/3/23, + date is 2004/8/15, comment is 'Hill climbing heuristic state space search strategy.', parnames is ['Threshold']]). - :- uses(list). + :- uses(list, + [member/2, reverse/2, sort/2]). :- private(hill/7). search(Space, State, Threshold, Solution, Cost) :- hill(Space, State, Threshold, [], Path, 0, Cost), - list::reverse(Path, Solution). + reverse(Path, Solution). hill(Space, State, _, Path, [State| Path], Cost, Cost) :- @@ -28,12 +29,12 @@ findall( (Estimate, Cost, Next), (Space::next_state(State, Next, Cost), - \+ list::member(Next, [State| Path]), + \+ member(Next, [State| Path]), Space::heuristic(Next, Guess), Estimate is Guess + Cost), States), - list::sort(States, SortedStates), - list::member((_, Cost2, Next2), SortedStates), + sort(States, SortedStates), + member((_, Cost2, Next2), SortedStates), SoFar2 is SoFar + Cost2, SoFar2 =< Threshold, hill(Space, Next2, Threshold, [State| Path], Solution, SoFar2, Total). diff --git a/Logtalk/examples/searching/miss_cann.lgt b/Logtalk/examples/searching/miss_cann.lgt index 6c70d34f6..fe7f8ea8b 100644 --- a/Logtalk/examples/searching/miss_cann.lgt +++ b/Logtalk/examples/searching/miss_cann.lgt @@ -10,7 +10,7 @@ comment is 'Missionaries and cannibals heuristic state space search problem.']). - :- uses(loop). + :- uses(loop, [forto/3]). initial_state(start, ((3,3), left, (0,0))). @@ -20,14 +20,14 @@ print_state(((Me,Ce), B, (Md,Cd))) :- - loop::forto(1, Me, write('M')), - loop::forto(1, Ce, write('C')), + forto(1, Me, write('M')), + forto(1, Ce, write('C')), (B = left -> write('.<__>..........') ; write('..........<__>.')), - loop::forto(1, Md, write('M')), - loop::forto(1, Cd, write('C')), + forto(1, Md, write('M')), + forto(1, Cd, write('C')), nl. diff --git a/Logtalk/examples/searching/performance.lgt b/Logtalk/examples/searching/performance.lgt index 4c10ae462..f8ee74edd 100644 --- a/Logtalk/examples/searching/performance.lgt +++ b/Logtalk/examples/searching/performance.lgt @@ -4,18 +4,18 @@ :- info([ - version is 1.0, + version is 1.1, author is 'Paulo Moura', - date is 1998/3/23, + date is 2004/8/15, comment is 'Performance monitor for state space searches.']). :- uses(event_registry). :- uses(before_event_registry). :- uses(after_event_registry). - :- uses(list). - :- uses(numberlist). - :- uses(time). + :- uses(list, [length/2]). + :- uses(numberlist, [min/2, max/2, sum/2]). + :- uses(time, [cpu_time/1]). :- private(transitions/3). @@ -71,7 +71,7 @@ transitions(Number) :- findall(N, ::transitions(_, _, N), List), - numberlist::sum(List, Number). + sum(List, Number). time(Time) :- @@ -85,12 +85,12 @@ Length, (::transitions(State1, _, _), findall(State2, ::transitions(State1, State2, _), States2), - list::length(States2, Length)), + length(States2, Length)), Lengths), - list::min(Lengths, Minimum), - list::max(Lengths, Maximum), - numberlist::sum(Lengths, Sum), - list::length(Lengths, Length), + min(Lengths, Minimum), + max(Lengths, Maximum), + sum(Lengths, Sum), + length(Lengths, Length), Average is Sum / Length. @@ -114,13 +114,13 @@ before(_, solve(_, _, _), _) :- !, - time::cpu_time(Time), + cpu_time(Time), ::retractall(start_time(_)), ::asserta(start_time(Time)). before(_, solve(_, _, _, _), _) :- !, - time::cpu_time(Time), + cpu_time(Time), ::retractall(start_time(_)), ::asserta(start_time(Time)). @@ -145,19 +145,19 @@ after(_, solve(_, _, Solution), _) :- !, - time::cpu_time(Time), + cpu_time(Time), ::retractall(end_time(_)), ::asserta(end_time(Time)), - list::length(Solution, Length), + length(Solution, Length), ::retractall(solution_length(_)), ::asserta(solution_length(Length)). after(_, solve(_, _, Solution, _), _) :- !, - time::cpu_time(Time), + cpu_time(Time), ::retractall(end_time(_)), ::asserta(end_time(Time)), - list::length(Solution, Length), + length(Solution, Length), ::retractall(solution_length(_)), ::asserta(solution_length(Length)). diff --git a/Logtalk/examples/shapes/NOTES b/Logtalk/examples/shapes/NOTES index cdc267f47..5042c5e13 100644 --- a/Logtalk/examples/shapes/NOTES +++ b/Logtalk/examples/shapes/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ch/NOTES b/Logtalk/examples/shapes/ch/NOTES index 80347e3f9..d23b83521 100644 --- a/Logtalk/examples/shapes/ch/NOTES +++ b/Logtalk/examples/shapes/ch/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ch/SCRIPT b/Logtalk/examples/shapes/ch/SCRIPT index c45865d66..557fe60bd 100644 --- a/Logtalk/examples/shapes/ch/SCRIPT +++ b/Logtalk/examples/shapes/ch/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ph/NOTES b/Logtalk/examples/shapes/ph/NOTES index 0cb7b0c46..708c5beb7 100644 --- a/Logtalk/examples/shapes/ph/NOTES +++ b/Logtalk/examples/shapes/ph/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ph/SCRIPT b/Logtalk/examples/shapes/ph/SCRIPT index 01769b0b6..2e562926b 100644 --- a/Logtalk/examples/shapes/ph/SCRIPT +++ b/Logtalk/examples/shapes/ph/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/NOTES b/Logtalk/examples/sicstus/NOTES index 692d6ac52..4fa09d005 100644 --- a/Logtalk/examples/sicstus/NOTES +++ b/Logtalk/examples/sicstus/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/SCRIPT b/Logtalk/examples/sicstus/SCRIPT index 1e74998b5..dd8878fc3 100644 --- a/Logtalk/examples/sicstus/SCRIPT +++ b/Logtalk/examples/sicstus/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/NOTES b/Logtalk/examples/symdiff/NOTES index a6e9baf8b..7f75e08bc 100644 --- a/Logtalk/examples/symdiff/NOTES +++ b/Logtalk/examples/symdiff/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/SCRIPT b/Logtalk/examples/symdiff/SCRIPT index a1b17bb08..e0acdfa64 100644 --- a/Logtalk/examples/symdiff/SCRIPT +++ b/Logtalk/examples/symdiff/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/NOTES b/Logtalk/examples/viewpoints/NOTES index 9bfb5d76c..2ac319960 100644 --- a/Logtalk/examples/viewpoints/NOTES +++ b/Logtalk/examples/viewpoints/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/SCRIPT b/Logtalk/examples/viewpoints/SCRIPT index df2a3121d..a50401bdb 100644 --- a/Logtalk/examples/viewpoints/SCRIPT +++ b/Logtalk/examples/viewpoints/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/NOTES b/Logtalk/library/NOTES index 043f2b178..3977e3f05 100644 --- a/Logtalk/library/NOTES +++ b/Logtalk/library/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/SCRIPT b/Logtalk/library/SCRIPT index c651aa232..418310fb9 100644 --- a/Logtalk/library/SCRIPT +++ b/Logtalk/library/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/all.notes b/Logtalk/library/all.notes index a21ef3285..6327817b3 100644 --- a/Logtalk/library/all.notes +++ b/Logtalk/library/all.notes @@ -1,7 +1,7 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dates.notes b/Logtalk/library/dates.notes index c25eab843..7c96718e0 100644 --- a/Logtalk/library/dates.notes +++ b/Logtalk/library/dates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/debugging.notes b/Logtalk/library/debugging.notes index 7cf6da4b1..b1cc5365b 100644 --- a/Logtalk/library/debugging.notes +++ b/Logtalk/library/debugging.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dependents.notes b/Logtalk/library/dependents.notes index 75e893106..570cb4f41 100644 --- a/Logtalk/library/dependents.notes +++ b/Logtalk/library/dependents.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/events.notes b/Logtalk/library/events.notes index 161275ad8..55e3a15e3 100644 --- a/Logtalk/library/events.notes +++ b/Logtalk/library/events.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/experimental/NOTES b/Logtalk/library/experimental/NOTES index 53b808042..3c5eacb98 100644 --- a/Logtalk/library/experimental/NOTES +++ b/Logtalk/library/experimental/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/hierarchies.notes b/Logtalk/library/hierarchies.notes index 453ff8905..ba7dc48aa 100644 --- a/Logtalk/library/hierarchies.notes +++ b/Logtalk/library/hierarchies.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/metapredicates.notes b/Logtalk/library/metapredicates.notes index 0e7cee924..0914f9434 100644 --- a/Logtalk/library/metapredicates.notes +++ b/Logtalk/library/metapredicates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/random.notes b/Logtalk/library/random.notes index 15eab7713..9ec38bda9 100644 --- a/Logtalk/library/random.notes +++ b/Logtalk/library/random.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/types.notes b/Logtalk/library/types.notes index e107faed3..9a041e4b3 100644 --- a/Logtalk/library/types.notes +++ b/Logtalk/library/types.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/NOTES b/Logtalk/manuals/NOTES index 1e0ba6f68..6f6d4b1c0 100644 --- a/Logtalk/manuals/NOTES +++ b/Logtalk/manuals/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.19.1 +Release 2.20.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/index.html b/Logtalk/manuals/index.html index 2962c6228..2c079225f 100644 --- a/Logtalk/manuals/index.html +++ b/Logtalk/manuals/index.html @@ -8,7 +8,7 @@ - Logtalk 2.19.1 Documentation + Logtalk 2.20.0 Documentation @@ -18,7 +18,7 @@   -

Logtalk 2.19.1 Documentation

+

Logtalk 2.20.0 Documentation