diff --git a/Logtalk/QUICK_START b/Logtalk/QUICK_START index 441cfdf2c..6a6c06503 100644 --- a/Logtalk/QUICK_START +++ b/Logtalk/QUICK_START @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/README b/Logtalk/README index 17e7e4fda..1cd087acf 100644 --- a/Logtalk/README +++ b/Logtalk/README @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/RELEASE_NOTES b/Logtalk/RELEASE_NOTES index 033eb9c23..8ff3b02dc 100644 --- a/Logtalk/RELEASE_NOTES +++ b/Logtalk/RELEASE_NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= @@ -10,6 +10,26 @@ RELEASE NOTES ============= +2.14.2 - August 26, 2002 + + Calls to built-in method parameter/2 are now compiled inline, improving + call performance. + + Updated Logtalk compiler to clean temporary compilation predicates after + compiling an entity instead of only before compilation. + + Updated YAP 4.3.x config file for better Logtalk integration by hiding + all internal compiler, runtime, and compiled entities static predicates. + + Updated GNU Prolog config file for better Logtalk integration by hiding + all internal compiler, runtime, and compiled entities predicates. + + Updated the XSLT conversion scripts lgtxml.xsl and lgthtml.xsl to correct + some HTML conformance errors in the generated pages. + + Corrected some XHTML conformance errors in the manual pages. + + 2.14.1 - July 31, 2002 New Windows NT script and updated Unix shell script for batch converting diff --git a/Logtalk/UPGRADING b/Logtalk/UPGRADING index f6389be55..710d76503 100644 --- a/Logtalk/UPGRADING +++ b/Logtalk/UPGRADING @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/NOTES b/Logtalk/examples/NOTES index 42fcd0ead..ab987bc0d 100644 --- a/Logtalk/examples/NOTES +++ b/Logtalk/examples/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= @@ -23,6 +23,11 @@ source files to fully understand them. All examples are formatted using four spaces tabs. +By default, compiling an example generates a .xml documenting file for each +compiled entity (object, category, or protocol). See the xml sub-directory +for instructions on how to browse the .xml files for on-line reading or how +to convert the files to print-ready format. + Here is a short description of each included example: diff --git a/Logtalk/examples/birds/NOTES b/Logtalk/examples/birds/NOTES index 3afd55437..d270bea7c 100644 --- a/Logtalk/examples/birds/NOTES +++ b/Logtalk/examples/birds/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/SCRIPT b/Logtalk/examples/birds/SCRIPT index 7109050c6..704a5dda4 100644 --- a/Logtalk/examples/birds/SCRIPT +++ b/Logtalk/examples/birds/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/NOTES b/Logtalk/examples/bricks/NOTES index 00e181697..bb8e05640 100644 --- a/Logtalk/examples/bricks/NOTES +++ b/Logtalk/examples/bricks/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/SCRIPT b/Logtalk/examples/bricks/SCRIPT index 1548a87a3..e103efba3 100644 --- a/Logtalk/examples/bricks/SCRIPT +++ b/Logtalk/examples/bricks/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/NOTES b/Logtalk/examples/classvars/NOTES index ac7a82345..33013fcbb 100644 --- a/Logtalk/examples/classvars/NOTES +++ b/Logtalk/examples/classvars/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/SCRIPT b/Logtalk/examples/classvars/SCRIPT index a4b80c1f8..12432d6d8 100644 --- a/Logtalk/examples/classvars/SCRIPT +++ b/Logtalk/examples/classvars/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dynpred/NOTES b/Logtalk/examples/dynpred/NOTES index 8d1136994..0449a0373 100644 --- a/Logtalk/examples/dynpred/NOTES +++ b/Logtalk/examples/dynpred/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dynpred/SCRIPT b/Logtalk/examples/dynpred/SCRIPT index 20ca9d07d..446fdf5ea 100644 --- a/Logtalk/examples/dynpred/SCRIPT +++ b/Logtalk/examples/dynpred/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/errors/NOTES b/Logtalk/examples/errors/NOTES index 7b2f92d2e..cfb16af5a 100644 --- a/Logtalk/examples/errors/NOTES +++ b/Logtalk/examples/errors/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/NOTES b/Logtalk/examples/inheritance/NOTES index f5467cde2..f32ca3c31 100644 --- a/Logtalk/examples/inheritance/NOTES +++ b/Logtalk/examples/inheritance/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/SCRIPT b/Logtalk/examples/inheritance/SCRIPT index de5ab6e3e..5483508ba 100644 --- a/Logtalk/examples/inheritance/SCRIPT +++ b/Logtalk/examples/inheritance/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/NOTES b/Logtalk/examples/instmethods/NOTES index 1fa92d3de..94e5a70d0 100644 --- a/Logtalk/examples/instmethods/NOTES +++ b/Logtalk/examples/instmethods/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/SCRIPT b/Logtalk/examples/instmethods/SCRIPT index c19d7012e..d49a95ea2 100644 --- a/Logtalk/examples/instmethods/SCRIPT +++ b/Logtalk/examples/instmethods/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/NOTES b/Logtalk/examples/lo/NOTES index 3563f1ec4..30601ca08 100644 --- a/Logtalk/examples/lo/NOTES +++ b/Logtalk/examples/lo/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/NOTES b/Logtalk/examples/lo/planner/NOTES index fd6106f2c..3b774284a 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.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/SCRIPT b/Logtalk/examples/lo/planner/SCRIPT index 9494c78a4..c335ef8ae 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.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/NOTES b/Logtalk/examples/lo/travellers/NOTES index 5be9d67e5..8208c7641 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.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/SCRIPT b/Logtalk/examples/lo/travellers/SCRIPT index c7736415f..dcecd157d 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.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/NOTES b/Logtalk/examples/lpa/NOTES index 17abc58d5..e62dec6bc 100644 --- a/Logtalk/examples/lpa/NOTES +++ b/Logtalk/examples/lpa/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/SCRIPT b/Logtalk/examples/lpa/SCRIPT index 47e401d45..cb1a48f25 100644 --- a/Logtalk/examples/lpa/SCRIPT +++ b/Logtalk/examples/lpa/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/NOTES b/Logtalk/examples/metapredicates/NOTES index e3fc38252..baa15d93c 100644 --- a/Logtalk/examples/metapredicates/NOTES +++ b/Logtalk/examples/metapredicates/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/SCRIPT b/Logtalk/examples/metapredicates/SCRIPT index bcfd846d2..29a85d153 100644 --- a/Logtalk/examples/metapredicates/SCRIPT +++ b/Logtalk/examples/metapredicates/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/NOTES b/Logtalk/examples/mi/NOTES index b723b6237..f658472aa 100644 --- a/Logtalk/examples/mi/NOTES +++ b/Logtalk/examples/mi/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/SCRIPT b/Logtalk/examples/mi/SCRIPT index 272a1e556..0d7cdaba2 100644 --- a/Logtalk/examples/mi/SCRIPT +++ b/Logtalk/examples/mi/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/NOTES b/Logtalk/examples/miscellaneous/NOTES index 0ca595d8a..cbe6a39c3 100644 --- a/Logtalk/examples/miscellaneous/NOTES +++ b/Logtalk/examples/miscellaneous/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/SCRIPT b/Logtalk/examples/miscellaneous/SCRIPT index dcb305dff..7e6b56f5f 100644 --- a/Logtalk/examples/miscellaneous/SCRIPT +++ b/Logtalk/examples/miscellaneous/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/NOTES b/Logtalk/examples/parametric/NOTES index e2ffaad43..33de9ba42 100644 --- a/Logtalk/examples/parametric/NOTES +++ b/Logtalk/examples/parametric/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/SCRIPT b/Logtalk/examples/parametric/SCRIPT index 11a78f486..e9e821eac 100644 --- a/Logtalk/examples/parametric/SCRIPT +++ b/Logtalk/examples/parametric/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/NOTES b/Logtalk/examples/points/NOTES index a864f8119..10debc31e 100644 --- a/Logtalk/examples/points/NOTES +++ b/Logtalk/examples/points/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/SCRIPT b/Logtalk/examples/points/SCRIPT index a039f5993..c18bbe8ce 100644 --- a/Logtalk/examples/points/SCRIPT +++ b/Logtalk/examples/points/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/NOTES b/Logtalk/examples/polygons/NOTES index 42869cf04..ed21bfe0d 100644 --- a/Logtalk/examples/polygons/NOTES +++ b/Logtalk/examples/polygons/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/SCRIPT b/Logtalk/examples/polygons/SCRIPT index c554410b5..1393308f0 100644 --- a/Logtalk/examples/polygons/SCRIPT +++ b/Logtalk/examples/polygons/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/NOTES b/Logtalk/examples/profiling/NOTES index 817518640..f5953efd6 100644 --- a/Logtalk/examples/profiling/NOTES +++ b/Logtalk/examples/profiling/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/SCRIPT b/Logtalk/examples/profiling/SCRIPT index b046a8363..d961e0b8a 100644 --- a/Logtalk/examples/profiling/SCRIPT +++ b/Logtalk/examples/profiling/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/NOTES b/Logtalk/examples/reflection/NOTES index 7fa19a155..a223f75c4 100644 --- a/Logtalk/examples/reflection/NOTES +++ b/Logtalk/examples/reflection/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/SCRIPT b/Logtalk/examples/reflection/SCRIPT index 8e003c13b..b12abc6f0 100644 --- a/Logtalk/examples/reflection/SCRIPT +++ b/Logtalk/examples/reflection/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/NOTES b/Logtalk/examples/relations/NOTES index c27c81c09..0cb3bd3df 100644 --- a/Logtalk/examples/relations/NOTES +++ b/Logtalk/examples/relations/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/SCRIPT b/Logtalk/examples/relations/SCRIPT index deb670e30..9dd1f2293 100644 --- a/Logtalk/examples/relations/SCRIPT +++ b/Logtalk/examples/relations/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/NOTES b/Logtalk/examples/roots/NOTES index f53e2af6b..65fcffdd8 100644 --- a/Logtalk/examples/roots/NOTES +++ b/Logtalk/examples/roots/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/SCRIPT b/Logtalk/examples/roots/SCRIPT index e321f3fd7..a3b906b68 100644 --- a/Logtalk/examples/roots/SCRIPT +++ b/Logtalk/examples/roots/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/NOTES b/Logtalk/examples/searching/NOTES index 8a9dfaf5f..adbd2de91 100644 --- a/Logtalk/examples/searching/NOTES +++ b/Logtalk/examples/searching/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/SCRIPT b/Logtalk/examples/searching/SCRIPT index 186d68586..2758f6787 100644 --- a/Logtalk/examples/searching/SCRIPT +++ b/Logtalk/examples/searching/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/NOTES b/Logtalk/examples/sicstus/NOTES index dbb0bdf32..968e28096 100644 --- a/Logtalk/examples/sicstus/NOTES +++ b/Logtalk/examples/sicstus/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/SCRIPT b/Logtalk/examples/sicstus/SCRIPT index a95c9db98..484bc2614 100644 --- a/Logtalk/examples/sicstus/SCRIPT +++ b/Logtalk/examples/sicstus/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/NOTES b/Logtalk/examples/symdiff/NOTES index 206d8bdef..df4d152f0 100644 --- a/Logtalk/examples/symdiff/NOTES +++ b/Logtalk/examples/symdiff/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/SCRIPT b/Logtalk/examples/symdiff/SCRIPT index 526132fff..458262e88 100644 --- a/Logtalk/examples/symdiff/SCRIPT +++ b/Logtalk/examples/symdiff/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/NOTES b/Logtalk/examples/viewpoints/NOTES index 30646f712..ae72bd3a5 100644 --- a/Logtalk/examples/viewpoints/NOTES +++ b/Logtalk/examples/viewpoints/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/SCRIPT b/Logtalk/examples/viewpoints/SCRIPT index 011744bfd..d40d3f0d5 100644 --- a/Logtalk/examples/viewpoints/SCRIPT +++ b/Logtalk/examples/viewpoints/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/NOTES b/Logtalk/library/NOTES index d1e2a1c45..d7ff1e3e8 100644 --- a/Logtalk/library/NOTES +++ b/Logtalk/library/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= @@ -33,4 +33,9 @@ any loader utility file. Some of the code in this library is based on public domain Prolog code, in particular, code adopted from the Edinburgh Prolog library. +By default, compiling any group of entities described above generates a .xml +documenting file for each compiled entity (object, category, or protocol). +See the xml sub-directory for instructions on how to browse the .xml files +for on-line reading or how to convert the files to print-ready format. + All source files are formatted using four-spaces tabs. diff --git a/Logtalk/library/SCRIPT b/Logtalk/library/SCRIPT index d5d90741a..e66c4f830 100644 --- a/Logtalk/library/SCRIPT +++ b/Logtalk/library/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/all.notes b/Logtalk/library/all.notes index e5631b6ba..cf5114af6 100644 --- a/Logtalk/library/all.notes +++ b/Logtalk/library/all.notes @@ -1,7 +1,7 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dates.notes b/Logtalk/library/dates.notes index aa994e0ae..ba21e6b1b 100644 --- a/Logtalk/library/dates.notes +++ b/Logtalk/library/dates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/debugging.notes b/Logtalk/library/debugging.notes index daa0f1404..3e3f6c4a9 100644 --- a/Logtalk/library/debugging.notes +++ b/Logtalk/library/debugging.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/events.notes b/Logtalk/library/events.notes index 5289a45e9..c7deefeef 100644 --- a/Logtalk/library/events.notes +++ b/Logtalk/library/events.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/hierarchies.notes b/Logtalk/library/hierarchies.notes index 3571f37a8..e3c9daa16 100644 --- a/Logtalk/library/hierarchies.notes +++ b/Logtalk/library/hierarchies.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/metapredicates.notes b/Logtalk/library/metapredicates.notes index 6ceaacecc..4c1c4a081 100644 --- a/Logtalk/library/metapredicates.notes +++ b/Logtalk/library/metapredicates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/random.lgt b/Logtalk/library/random.lgt index e186c7ef3..80516115e 100644 --- a/Logtalk/library/random.lgt +++ b/Logtalk/library/random.lgt @@ -4,19 +4,19 @@ :- info([ - version is 1.0, + version is 1.1, authors is 'Paulo Moura', - date is 2000/7/24, + date is 2002/8/7, comment is 'Random number generator predicates.']). - :- initialization(reset_seed). + :- initialization(::reset_seed). :- private(seed_/3). :- dynamic(seed_/3). - :- mode(seed_(+integer, +integer, +integer), one). + :- mode(seed_(-integer, -integer, -integer), one). :- info(seed_/3, [ comment is 'Stores the current random generator seed values.', @@ -24,9 +24,9 @@ random(Random) :- - retract(seed_(A0, A1, A2)), + ::retract(seed_(A0, A1, A2)), random(A0, A1, A2, B0, B1, B2, Random), - asserta(seed_(B0, B1, B2)). + ::asserta(seed_(B0, B1, B2)). random(A0, A1, A2, B0, B1, B2, Random) :- @@ -61,9 +61,9 @@ integer(Upper), Upper >= Lower, !, - retract(seed_(A0, A1, A2)), + ::retract(seed_(A0, A1, A2)), randseq(Length, Lower, Upper, (A0, A1, A2), (B0, B1, B2), [], List), - asserta(seed_(B0, B1, B2)), + ::asserta(seed_(B0, B1, B2)), map_truncate(List, Sequence). randseq(Length, Lower, Upper, Sequence) :- @@ -72,9 +72,9 @@ float(Lower), float(Upper), Upper >= Lower, - retract(seed_(A0, A1, A2)), + ::retract(seed_(A0, A1, A2)), randseq(Length, Lower, Upper, (A0, A1, A2), (B0, B1, B2), [], Sequence), - asserta(seed_(B0, B1, B2)). + ::asserta(seed_(B0, B1, B2)). randseq(0, _, _, Seed, Seed, List, List) :- @@ -102,9 +102,9 @@ Upper >= Lower, Length =< Upper - Lower, !, - retract(seed_(A0, A1, A2)), + ::retract(seed_(A0, A1, A2)), randset(Length, Lower, Upper, (A0, A1, A2), (B0, B1, B2), [], Set), - asserta(seed_(B0, B1, B2)). + ::asserta(seed_(B0, B1, B2)). randset(Length, Lower, Upper, Set) :- integer(Length), @@ -112,9 +112,9 @@ float(Lower), float(Upper), Upper >= Lower, - retract(seed_(A0, A1, A2)), + ::retract(seed_(A0, A1, A2)), randset(Length, Lower, Upper, (A0, A1, A2), (B0, B1, B2), [], Set), - asserta(seed_(B0, B1, B2)). + ::asserta(seed_(B0, B1, B2)). randset(0, _, _, Seed, Seed, List, List) :- @@ -153,18 +153,18 @@ reset_seed :- - retractall(seed_(_, _, _)), - asserta(seed_(3172, 9814, 20125)). + ::retractall(seed_(_, _, _)), + ::asserta(seed_(3172, 9814, 20125)). set_seed(Seed) :- integer(Seed), Seed > 0, - retractall(seed_(_, _, _)), + ::retractall(seed_(_, _, _)), S0 is Seed mod 30269, S1 is Seed mod 30307, S2 is Seed mod 30323, - asserta(seed_(S0, S1, S2)). + ::asserta(seed_(S0, S1, S2)). :- end_object. diff --git a/Logtalk/library/random.notes b/Logtalk/library/random.notes index 363a6dcc8..8b3033270 100644 --- a/Logtalk/library/random.notes +++ b/Logtalk/library/random.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= @@ -9,4 +9,9 @@ Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. To load all objects in this library consult the random.loader utility file. -The object random implements a basic random number generator. +The object random implements a basic random number generators. + +If you need more than one random number generator, just define or +create new objects as extensions of the object random. Be sure to +initialize the seeds of the new random generator objects by using the +message reset_seed/0. diff --git a/Logtalk/library/systemp.lgt b/Logtalk/library/systemp.lgt index d113f14a6..0c24304bc 100644 --- a/Logtalk/library/systemp.lgt +++ b/Logtalk/library/systemp.lgt @@ -5,8 +5,8 @@ :- info([ version is 1.0, authors is 'Paulo Moura', - date is 2002/5/10, - comment is 'Operating system file system protocol.']). + date is 2002/8/4, + comment is 'Operating system protocol.']). :- public(make_directory/1). @@ -90,4 +90,22 @@ argnames is ['Old', 'New']]). + :- public(environment/2). + + :- mode(environment(?atom, ?atom), zero_or_more). + + :- info(environment/2, [ + comment is 'Environment variable value.', + argnames is ['Variable', 'Value']]). + + + :- public(date_time/6). + + :- mode(date_time(?integer, ?integer, ?integer, ?integer, ?integer, ?integer), zero_or_one). + + :- info(date_time/6, [ + comment is 'System date and time.', + argnames is ['Year', 'Month', 'Day', 'Hour', 'Min', 'Sec']]). + + :- end_protocol. diff --git a/Logtalk/library/types.notes b/Logtalk/library/types.notes index ab8126778..8d307bb98 100644 --- a/Logtalk/library/types.notes +++ b/Logtalk/library/types.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/NOTES b/Logtalk/manuals/NOTES index bd71c8c58..d7eb3f915 100644 --- a/Logtalk/manuals/NOTES +++ b/Logtalk/manuals/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/bibliography.html b/Logtalk/manuals/bibliography.html index 201743ed5..7346455d9 100644 --- a/Logtalk/manuals/bibliography.html +++ b/Logtalk/manuals/bibliography.html @@ -20,102 +20,102 @@
[Alexiev 93]
-
Mutable Object State for Object-Oriented Logic Programming: A Survey
+
Mutable Object State for Object-Oriented Logic Programming: A Survey
Alexiev, V.
Technical Report TR 93-15, Department of Computing Science, University of Alberta, Canada
[Belli et al. 92]
-
Object-oriented programming in Prolog: rationale and a case study
+
Object-oriented programming in Prolog: rationale and a case study
Belli, F., Jack, O., Naish, L.
Technical Report 92/2, Department of Electrical and Electronics Engineering, University of Paderborn, Germany
URL: http://www.cs.mu.oz.au/~lee/papers/oolp/
[Block 89]
-
An Extended Frame Language
+
An Extended Frame Language
Block, F. P., Chan, N. C.
Proceedings OOPLSLA 89(10):151-157, ACM
[Bobrow et al. 88]
-
Common Lisp Object System Specification
+
Common Lisp Object System Specification
Bobrow, D. G., Michiel, L. G., Gabriel, R. P., Keene, S. E., Kiczales, G., Moon, D. A.
ACM SIGPLAN Notices(23)
[Bratko 90]
-
Prolog Programming for Artificial Intelligence
+
Prolog Programming for Artificial Intelligence
Bratko, I.
Addison Wesley, 2º edition, 1990
[Champaux 92]
-
A comparative Study of Object-Oriented Analysis Methods
+
A comparative Study of Object-Oriented Analysis Methods
Champaux, D., Faure, P.
Journal of Object-Oriented Programming, Vol. 5, N.1, 1992
[Clocksin 87]
-
Programming in Prolog
+
Programming in Prolog
Clocksin, W.F., Mellish, C.S.
Springer-Verlag, New York, 1987
[Cointe 87]
-
Metaclasses are First Class: the ObjVlisp Model
+
Metaclasses are First Class: the ObjVlisp Model
Cointe, P.
Proceedings OOPLSLA 87(10):156-167, ACM
[Cordes 91]
-
The Literate Programming Paradigm
+
The Literate Programming Paradigm
Cordes, D., Brown, M.
IEEE Computer, June 1991:52-61
[Covington 94]
-
ISO Prolog: A Summary of the Draft Proposed Standard
+
ISO Prolog: A Summary of the Draft Proposed Standard
Covington, M. A.
URL: ftp://ai.uga.edu/pub/prolog.standard/
[Cox 86]
-
Object-Oriented Programming: An Evolutionary Approach
+
Object-Oriented Programming: An Evolutionary Approach
Cox, Brad J.
Addison-Wesley Publishing Company, Don Mills, Ontario
[Davison 89]
-
Polka: A Parlog Object oriented language
+
Polka: A Parlog Object oriented language
Davison, A.
Ph.D. Thesis, Imperial College, London, 1989
[Davison 92]
-
A survey of logic programming-based object oriented languages
+
A survey of logic programming-based object oriented languages
Davison, A.
Tech Report 92/3, Dept. of Computer Science, University of Melbourne, Australia
URL: http://www.cs.mu.oz.au/tr_db/mu_92_03.ps.gz
[Davison 93]
-
The deductive and object oriented features of BeBOP
+
The deductive and object oriented features of BeBOP
Davison, A.
Tech Report 93/6, Dept. of Computer Science, University of Melbourne, Australia
URL:http://www.cs.mu.oz.au/tr_db/mu_93_06.ps.gz
[Delzanno 97]
-
Logic and Object-Oriented Programming in Linear Logic
+
Logic and Object-Oriented Programming in Linear Logic
Delzanno, G.
Ph.D. Thesis, University of Pisa, Italy
URL:http://www.mpi-sb.mpg.de/~delzanno/
[Dony 90]
-
Exception Handling and Object-Oriented Programming: Towards a Synthesis
+
Exception Handling and Object-Oriented Programming: Towards a Synthesis
Dony, C.
Proceedings OOPLSLA 90:322-330, ACM
[Fornarino et al. 89]
-
An Original Object-Oriented Approach for Relation Management
+
An Original Object-Oriented Approach for Relation Management
Fornarino, M., Pinna, A.-M.,Trousse, B.
Proceedings of the 4th Portuguese Conference on Artificial Intelligence
Lecture Notes in Artificial Intelligence, Springer-Verlag (390):13-26
[Fromherz 93]
-
OL(P): Object Layer for Prolog
+
OL(P): Object Layer for Prolog
Fromherz, M.
URL: ftp://parcftp.xerox.com/ftp/pub/ol/
[Fukunaga 86]
-
An Experience with a Prolog-based Object-Oriented Language
+
An Experience with a Prolog-based Object-Oriented Language
Fukunaga, K., Hirose, S.
Proceedings OOPLSLA 86, 21(11):224-231, ACM
@@ -125,122 +125,122 @@
Addison-Wesley Series in Computer Science
[Joy et al. 00]
-
The Java Language Specification, Second Edition
+
The Java Language Specification, Second Edition
Joy, B., Steele, G., Gosling, J., Bracha, G.
Addison-Wesley, 2000
[ISO 95]
-
ISO/IEC DIS 13211-1 - Programming Language Prolog Part 1: General Core
+
ISO/IEC DIS 13211-1 - Programming Language Prolog Part 1: General Core
Joint Technical Committee ISO/IEC JTC 1
URL: http://www.iso.ch/cate/d21413.html
[Knuth 84]
-
Literate Programming
+
Literate Programming
Knuth, D. E.
Computer Journal, May 84, 27(2):97-111
[Lieberman 86]
-
Using Prototypical Objects to Implement Shared Behaviour in Object Oriented Systems
+
Using Prototypical Objects to Implement Shared Behaviour in Object Oriented Systems
Lieberman, H.
Proceedings OOPLSLA 86:189-214, ACM
[Maes 87]
-
Concepts and Experiments in Computational Reflection
+
Concepts and Experiments in Computational Reflection
Maes, P.
Proceedings OOPLSLA 87, ACM
[McCabe 92]
-
Logic and Objects
+
Logic and Objects
McCabe, F. G.
Prentice Hall Series in Computer Science
[Moon 86]
-
Object-Oriented Programming in Flavors
+
Object-Oriented Programming in Flavors
Moon, D.
Proceedings OOPLSLA 86:1-8, ACM
[Moss 94]
-
Prolog++ The Power of Object-Oriented and Logic Programming
+
Prolog++ The Power of Object-Oriented and Logic Programming
Moss, C.
Addison-Wesley International Series in Logic Programming, 1994
[Moura 94]
-
Logtalk: Programação Orientada para Objectos em Prolog
+
Logtalk: Programação Orientada para Objectos em Prolog
Moura, P., Costa, E.
2ª Conferência e Exposição Portuguesa de Tecnologia Orientada por Objectos
3i Consultores, Liboa
[Moura 99]
-
Porting Prolog: Notes on porting a Prolog program to 22 Prolog compilers or the relevance of the ISO Prolog standard
+
Porting Prolog: Notes on porting a Prolog program to 22 Prolog compilers or the relevance of the ISO Prolog standard
Moura, P.
ALP Newsletter, Vol. 12/2, May 1999
[Moura 00]
-
Logtalk 2.6 Documentation
+
Logtalk 2.6 Documentation
Moura, P.
Technical Report DMI 2000/1
University of Beira Interior, Portugal
[Razek 92]
-
Combining Objects and Relations
+
Combining Objects and Relations
Razek, G.
Comunications of the ACM, 27(12):66-70
[Rumbaugh 87]
-
Relations as Semantic Constructs in an Object-Oriented Language
+
Relations as Semantic Constructs in an Object-Oriented Language
Rumbaugh, J.
Proceedings OOPLSLA 87:466-481, ACM
[Rumbaugh 88]
-
Controlling Propagation of Operations using Attributes on Relations
+
Controlling Propagation of Operations using Attributes on Relations
Rumbaugh, J.
Proceedings OOPLSLA 88:285-296, ACM
[Schachte 95]
-
Efficient Object-Oriented Programming in Prolog
+
Efficient Object-Oriented Programming in Prolog
Schachte, P., Saab, G.
Logic Programming: Formal Methods and Pratical Applications
Studies in Computer Science and Artificial Intelligence, 11
Elsevier Science B.V. North-Holland, Amsterdam, 1995
[SICStus 95]
-
SICStus Prolog Manual
+
SICStus Prolog Manual
SICStus
URL: http://www.sics.se/ps/sicstus.html
[Shan et al. 93]
-
Is Multiple Inheritance Essential to OOP? (Panel)
+
Is Multiple Inheritance Essential to OOP? (Panel)
Shan, Y., Cargill, T., Cox, B., Cook, W., Loomis, M., Snyder, A.
Proceedings OOPLSLA 93:360-363
[Stefik et al. 86]
-
Integrating Acess-Oriented Programming into a Multiparadigm Environment
+
Integrating Acess-Oriented Programming into a Multiparadigm Environment
Stefik, M. J., Bobrow, D. G. , Kahn, K. M.
IEEE Software, January 1986:10-18
[Stroustrup 86]
-
The C++ Programming Language
+
The C++ Programming Language
Stroustrup, B.
Addison-Wesley Series in Computer Science
[Taenzer 89]
-
Problems in Object-Oriented Software Reuse
+
Problems in Object-Oriented Software Reuse
Taenzer, D., Ganti, M., Podar, S.
Proceedings of ECOOP 89
British Computer Society Workshop Series, Cambridge University Press
[Tanzer 95]
-
Remarks on Object-Oriented Modeling of Associations
+
Remarks on Object-Oriented Modeling of Associations
Tanzer, C.
Journal of Object-Oriented Programming, February 1995, SIGS Publications
[Tanenbaum 87]
-
Operating Systems - Design and Implementation
+
Operating Systems - Design and Implementation
Tanenbaum, A.
Prentice-Hall Software Series, 1987
[Welsch 89]
-
Reasoning Objects with Dynamic Knowledge Bases
+
Reasoning Objects with Dynamic Knowledge Bases
Welsch, C., Barth, G.
Proceedings of the 4th Portuguese Conference on Artificial Intelligence(390):257-268
Lecture Notes in Artificial Intelligence, Springer-Verlag, 1989
@@ -256,7 +256,7 @@ More references can be found in the User manual | Reference manual | Tutorial | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/glossary.html b/Logtalk/manuals/glossary.html index 06c79f138..53d65ebfc 100644 --- a/Logtalk/manuals/glossary.html +++ b/Logtalk/manuals/glossary.html @@ -118,7 +118,7 @@
An object that is extended by another object.
predicate
-
Predicates describe what is true about the application domain. A predicate is identified by its name and number of arguments using the notation <name>/<nargs>.
+
Predicates describe what is true about the application domain. A predicate is identified by its name and number of arguments using the notation <name>/<nargs>.
@@ -170,7 +170,7 @@ User manual | Reference manual | Tutorial | Bibliography

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/index.html b/Logtalk/manuals/index.html index b84d7d5b4..7cbedab3b 100644 --- a/Logtalk/manuals/index.html +++ b/Logtalk/manuals/index.html @@ -7,14 +7,14 @@ - Logtalk 2.14.1 Documentation + Logtalk 2.14.2 Documentation
-

Logtalk 2.14.1

+

Logtalk 2.14.2

Documentation

@@ -45,7 +45,7 @@


-Last updated on: July 29, 2002 +Last updated on: August 15, 2002

Valid XHTML 1.0! diff --git a/Logtalk/manuals/refman/builtins/abolish_category1.html b/Logtalk/manuals/refman/builtins/abolish_category1.html index 77de6c2f5..603261cca 100644 --- a/Logtalk/manuals/refman/builtins/abolish_category1.html +++ b/Logtalk/manuals/refman/builtins/abolish_category1.html @@ -8,7 +8,7 @@ abolish_category/1 - + @@ -64,7 +64,7 @@ abolish_category(@category_identifier) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/abolish_events5.html b/Logtalk/manuals/refman/builtins/abolish_events5.html index edeecc4f8..2d48e0331 100644 --- a/Logtalk/manuals/refman/builtins/abolish_events5.html +++ b/Logtalk/manuals/refman/builtins/abolish_events5.html @@ -8,7 +8,7 @@ abolish_events/5 - + @@ -66,7 +66,7 @@ abolish_events(@event, @object_identifier, @callable, @object_identifier, @objec Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/abolish_object1.html b/Logtalk/manuals/refman/builtins/abolish_object1.html index e9a9c351b..eedc2df88 100644 --- a/Logtalk/manuals/refman/builtins/abolish_object1.html +++ b/Logtalk/manuals/refman/builtins/abolish_object1.html @@ -8,7 +8,7 @@ abolish_object/1 - + @@ -23,7 +23,6 @@
 abolish_object(Object)
 
-

Removes from the database a dynamic object.

@@ -65,7 +64,7 @@ abolish_object(@object_identifier) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/abolish_protocol1.html b/Logtalk/manuals/refman/builtins/abolish_protocol1.html index 7ff712ba3..f2bc02f97 100644 --- a/Logtalk/manuals/refman/builtins/abolish_protocol1.html +++ b/Logtalk/manuals/refman/builtins/abolish_protocol1.html @@ -8,7 +8,7 @@ abolish_protocol/1 - + @@ -64,7 +64,7 @@ abolish_protocol(@protocol_identifier) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/category_property2.html b/Logtalk/manuals/refman/builtins/category_property2.html index e858fb1b5..2e8e65746 100644 --- a/Logtalk/manuals/refman/builtins/category_property2.html +++ b/Logtalk/manuals/refman/builtins/category_property2.html @@ -8,7 +8,7 @@ category_property/2 - + @@ -60,7 +60,7 @@ category_property(?category_identifier, ?category_property) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/create_category4.html b/Logtalk/manuals/refman/builtins/create_category4.html index d293ddcb4..266e79772 100644 --- a/Logtalk/manuals/refman/builtins/create_category4.html +++ b/Logtalk/manuals/refman/builtins/create_category4.html @@ -8,7 +8,7 @@ create_category/4 - + @@ -70,7 +70,7 @@ create_category(+category_identifier, +list, +list, +list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/create_object4.html b/Logtalk/manuals/refman/builtins/create_object4.html index 239ba9230..965374384 100644 --- a/Logtalk/manuals/refman/builtins/create_object4.html +++ b/Logtalk/manuals/refman/builtins/create_object4.html @@ -8,7 +8,7 @@ create_object/4 - + @@ -70,7 +70,7 @@ create_object(+object_identifier, +list, +list, +list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/create_protocol3.html b/Logtalk/manuals/refman/builtins/create_protocol3.html index 89bdc8b01..7b711d18b 100644 --- a/Logtalk/manuals/refman/builtins/create_protocol3.html +++ b/Logtalk/manuals/refman/builtins/create_protocol3.html @@ -8,7 +8,7 @@ create_protocol/3 - + @@ -68,7 +68,7 @@ create_protocol(+protocol_identifier, +list, +list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/current_category1.html b/Logtalk/manuals/refman/builtins/current_category1.html index e037a8b10..b3c76d1bb 100644 --- a/Logtalk/manuals/refman/builtins/current_category1.html +++ b/Logtalk/manuals/refman/builtins/current_category1.html @@ -8,7 +8,7 @@ current_category/1 - + @@ -58,7 +58,7 @@ current_category(?category_identifier) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/current_event5.html b/Logtalk/manuals/refman/builtins/current_event5.html index 801f126c7..5b4c5fdab 100644 --- a/Logtalk/manuals/refman/builtins/current_event5.html +++ b/Logtalk/manuals/refman/builtins/current_event5.html @@ -8,7 +8,7 @@ current_event/5 - + @@ -66,7 +66,7 @@ current_event(?event, ?object_identifier, ?callable, ?object_identifier, ?object Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html b/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html index 28708b37d..da7274d7c 100644 --- a/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html +++ b/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html @@ -8,7 +8,7 @@ current_logtalk_flag/2 - + @@ -60,7 +60,7 @@ current_logtalk_flag(?atom, ?atom) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/current_object1.html b/Logtalk/manuals/refman/builtins/current_object1.html index cc6debdd8..4b42062e3 100644 --- a/Logtalk/manuals/refman/builtins/current_object1.html +++ b/Logtalk/manuals/refman/builtins/current_object1.html @@ -8,7 +8,7 @@ current_object/1 - + @@ -58,7 +58,7 @@ current_object(?object_identifier) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/current_protocol1.html b/Logtalk/manuals/refman/builtins/current_protocol1.html index e7000c3ca..0256f8eb5 100644 --- a/Logtalk/manuals/refman/builtins/current_protocol1.html +++ b/Logtalk/manuals/refman/builtins/current_protocol1.html @@ -8,7 +8,7 @@ current_protocol/1 - + @@ -58,7 +58,7 @@ current_protocol(?protocol_identifier) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/define_events5.html b/Logtalk/manuals/refman/builtins/define_events5.html index c6efbda47..a3cb4e45b 100644 --- a/Logtalk/manuals/refman/builtins/define_events5.html +++ b/Logtalk/manuals/refman/builtins/define_events5.html @@ -8,7 +8,7 @@ define_events/2 - + @@ -68,7 +68,7 @@ define_events(@event, @object_identifier, @callable, @object_identifier, +object Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/extends_object2_3.html b/Logtalk/manuals/refman/builtins/extends_object2_3.html index 750f9cccf..28d920e77 100644 --- a/Logtalk/manuals/refman/builtins/extends_object2_3.html +++ b/Logtalk/manuals/refman/builtins/extends_object2_3.html @@ -8,7 +8,7 @@ extends_object/2-3 - + @@ -68,7 +68,7 @@ extends_object(?object_identifier, ?object_identifier, ?scope) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/extends_protocol2_3.html b/Logtalk/manuals/refman/builtins/extends_protocol2_3.html index 46ce1d937..a1d71f8e9 100644 --- a/Logtalk/manuals/refman/builtins/extends_protocol2_3.html +++ b/Logtalk/manuals/refman/builtins/extends_protocol2_3.html @@ -8,7 +8,7 @@ extends_protocol/2-3 - + @@ -68,7 +68,7 @@ extends_protocol(?protocol_identifier, ?protocol_identifier, ?scope) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/forall2.html b/Logtalk/manuals/refman/builtins/forall2.html index ba76cdd74..cba4b1c56 100644 --- a/Logtalk/manuals/refman/builtins/forall2.html +++ b/Logtalk/manuals/refman/builtins/forall2.html @@ -8,7 +8,7 @@ forall/2 - + @@ -60,7 +60,7 @@ forall(+callable, +callable) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/implements_protocol2_3.html b/Logtalk/manuals/refman/builtins/implements_protocol2_3.html index 868eba48d..28fe81784 100644 --- a/Logtalk/manuals/refman/builtins/implements_protocol2_3.html +++ b/Logtalk/manuals/refman/builtins/implements_protocol2_3.html @@ -8,7 +8,7 @@ implements_protocol/2-3 - + @@ -74,7 +74,7 @@ implements_protocol(?category_identifier, ?protocol_identifier, ?scope) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/imports_category2_3.html b/Logtalk/manuals/refman/builtins/imports_category2_3.html index 0325e106f..e4719b019 100644 --- a/Logtalk/manuals/refman/builtins/imports_category2_3.html +++ b/Logtalk/manuals/refman/builtins/imports_category2_3.html @@ -8,7 +8,7 @@ imports_category/2-3 - + @@ -68,7 +68,7 @@ imports_category(?object_identifier, ?category_identifier, ?scope) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/instantiates_class2_3.html b/Logtalk/manuals/refman/builtins/instantiates_class2_3.html index de738df71..f0838f166 100644 --- a/Logtalk/manuals/refman/builtins/instantiates_class2_3.html +++ b/Logtalk/manuals/refman/builtins/instantiates_class2_3.html @@ -8,7 +8,7 @@ instantiates_class/2-3 - + @@ -68,7 +68,7 @@ instantiates_class(?object_identifier, ?object_identifier, ?scope) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/logtalk_compile1.html b/Logtalk/manuals/refman/builtins/logtalk_compile1.html index fba145cf3..33fabc346 100644 --- a/Logtalk/manuals/refman/builtins/logtalk_compile1.html +++ b/Logtalk/manuals/refman/builtins/logtalk_compile1.html @@ -8,7 +8,7 @@ logtalk_compile/1 - + @@ -69,7 +69,7 @@ logtalk_compile(+atom_list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/logtalk_compile2.html b/Logtalk/manuals/refman/builtins/logtalk_compile2.html index daa0d8c83..2a2824bfe 100644 --- a/Logtalk/manuals/refman/builtins/logtalk_compile2.html +++ b/Logtalk/manuals/refman/builtins/logtalk_compile2.html @@ -8,7 +8,7 @@ logtalk_compile/2 - + @@ -78,7 +78,7 @@ logtalk_compile(+atom_list, +list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/logtalk_load1.html b/Logtalk/manuals/refman/builtins/logtalk_load1.html index 532cdc715..eb48c88aa 100644 --- a/Logtalk/manuals/refman/builtins/logtalk_load1.html +++ b/Logtalk/manuals/refman/builtins/logtalk_load1.html @@ -8,7 +8,7 @@ logtalk_load/1 - + @@ -69,7 +69,7 @@ logtalk_load(+atom_list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/logtalk_load2.html b/Logtalk/manuals/refman/builtins/logtalk_load2.html index ac3f8f648..f36ea886e 100644 --- a/Logtalk/manuals/refman/builtins/logtalk_load2.html +++ b/Logtalk/manuals/refman/builtins/logtalk_load2.html @@ -8,7 +8,7 @@ logtalk_load/2 - + @@ -78,7 +78,7 @@ logtalk_load(+atom_list, +list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/logtalk_version3.html b/Logtalk/manuals/refman/builtins/logtalk_version3.html index 352395afe..640c4dade 100644 --- a/Logtalk/manuals/refman/builtins/logtalk_version3.html +++ b/Logtalk/manuals/refman/builtins/logtalk_version3.html @@ -8,7 +8,7 @@ logtalk_version/3 - + @@ -62,7 +62,7 @@ logtalk_version(?integer, ?integer, ?integer) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/object_property2.html b/Logtalk/manuals/refman/builtins/object_property2.html index c132a936a..95836769f 100644 --- a/Logtalk/manuals/refman/builtins/object_property2.html +++ b/Logtalk/manuals/refman/builtins/object_property2.html @@ -8,7 +8,7 @@ object_property/2 - + @@ -60,7 +60,7 @@ object_property(?object_identifier, ?object_property) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/protocol_property2.html b/Logtalk/manuals/refman/builtins/protocol_property2.html index da16431e9..7b9228b58 100644 --- a/Logtalk/manuals/refman/builtins/protocol_property2.html +++ b/Logtalk/manuals/refman/builtins/protocol_property2.html @@ -8,7 +8,7 @@ protocol_property/2 - + @@ -60,7 +60,7 @@ protocol_property(?protocol_identifier, ?protocol_property) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/retractall1.html b/Logtalk/manuals/refman/builtins/retractall1.html index 76df125dc..ac963ada5 100644 --- a/Logtalk/manuals/refman/builtins/retractall1.html +++ b/Logtalk/manuals/refman/builtins/retractall1.html @@ -8,7 +8,7 @@ retractall/1 - + @@ -58,7 +58,7 @@ retractall(+callable) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html b/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html index bf6a5c947..2b3ff409a 100644 --- a/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html +++ b/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html @@ -8,7 +8,7 @@ set_logtalk_flag/2 - + @@ -68,7 +68,7 @@ set_logtalk_flag(+atom, +atom) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/builtins/specializes_class2_3.html b/Logtalk/manuals/refman/builtins/specializes_class2_3.html index 137c1c2ee..25477091c 100644 --- a/Logtalk/manuals/refman/builtins/specializes_class2_3.html +++ b/Logtalk/manuals/refman/builtins/specializes_class2_3.html @@ -8,7 +8,7 @@ specializes_class/2-3 - + @@ -68,7 +68,7 @@ specializes_class(?object_identifier, ?object_identifier, ?scope) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/control/external1.html b/Logtalk/manuals/refman/control/external1.html index 9f7652282..10a8b3d1e 100644 --- a/Logtalk/manuals/refman/control/external1.html +++ b/Logtalk/manuals/refman/control/external1.html @@ -8,7 +8,7 @@ {}/1 - + @@ -58,7 +58,7 @@ N1/D1 < N2/D2 :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/control/to_object2.html b/Logtalk/manuals/refman/control/to_object2.html index 68fe4329b..63e9f7e09 100644 --- a/Logtalk/manuals/refman/control/to_object2.html +++ b/Logtalk/manuals/refman/control/to_object2.html @@ -8,7 +8,7 @@ ::/2 - + @@ -33,7 +33,7 @@ Object::(Predicate1, Predicate2, ...) Object::(Predicate1; Predicate2; ...)

-Sends a message to an object. The message argument must match a public predicate of the receiver object. We can also send the same message to a set of objects or a set of messages to the same object. The "," and ";" in the list have the usual Prolog meaning. +Sends a message to an object. The message argument must match a public predicate of the receiver object. We can also send the same message to a set of objects or a set of messages to the same object. The "," and ";" in the list have the usual Prolog meaning.

@@ -75,7 +75,7 @@ Sends a message to an object. The message argument must match a public predicate Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/control/to_self1.html b/Logtalk/manuals/refman/control/to_self1.html index 5917736b1..fccacc446 100644 --- a/Logtalk/manuals/refman/control/to_self1.html +++ b/Logtalk/manuals/refman/control/to_self1.html @@ -8,7 +8,7 @@ ::/1 - + @@ -28,7 +28,7 @@ ::(Predicate1; Predicate2; ...)

- Send a message to self. Only used in the body of a predicate definition. The argument should match a public or protected predicate of self. It may also match a private predicate if the predicate is imported from a category, if used from inside a category, or when using private inheritance. We can also send a set of messages to self. The "," and ";" in the list have the usual Prolog meaning. + Send a message to self. Only used in the body of a predicate definition. The argument should match a public or protected predicate of self. It may also match a private predicate if the predicate is imported from a category, if used from inside a category, or when using private inheritance. We can also send a set of messages to self. The "," and ";" in the list have the usual Prolog meaning.

@@ -69,7 +69,7 @@ area(Area) :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/control/to_super1.html b/Logtalk/manuals/refman/control/to_super1.html index ac0eca44d..f89caa0de 100644 --- a/Logtalk/manuals/refman/control/to_super1.html +++ b/Logtalk/manuals/refman/control/to_super1.html @@ -8,7 +8,7 @@ ^^/1 - + @@ -66,7 +66,7 @@ init :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/calls1.html b/Logtalk/manuals/refman/directives/calls1.html index e501b29b6..07e4b2a4a 100644 --- a/Logtalk/manuals/refman/directives/calls1.html +++ b/Logtalk/manuals/refman/directives/calls1.html @@ -8,7 +8,7 @@ calls/1 - + @@ -52,7 +52,7 @@ calls(+protocol_identifiers) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/category1_2.html b/Logtalk/manuals/refman/directives/category1_2.html index 04cfb8d91..b3b215f96 100644 --- a/Logtalk/manuals/refman/directives/category1_2.html +++ b/Logtalk/manuals/refman/directives/category1_2.html @@ -8,7 +8,7 @@ category/1-2 - + @@ -62,7 +62,7 @@ category(+category_identifier, Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/discontiguous1.html b/Logtalk/manuals/refman/directives/discontiguous1.html index f1c343947..f50fff9a6 100644 --- a/Logtalk/manuals/refman/directives/discontiguous1.html +++ b/Logtalk/manuals/refman/directives/discontiguous1.html @@ -8,7 +8,7 @@ discontiguous/1 - + @@ -56,7 +56,7 @@ discontiguous(+predicate_indicator_term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/dynamic0.html b/Logtalk/manuals/refman/directives/dynamic0.html index db049f92b..1a31a74fc 100644 --- a/Logtalk/manuals/refman/directives/dynamic0.html +++ b/Logtalk/manuals/refman/directives/dynamic0.html @@ -8,7 +8,7 @@ dynamic/0 - + @@ -50,7 +50,7 @@ dynamic Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/dynamic1.html b/Logtalk/manuals/refman/directives/dynamic1.html index 96ac9c045..91dc6b55e 100644 --- a/Logtalk/manuals/refman/directives/dynamic1.html +++ b/Logtalk/manuals/refman/directives/dynamic1.html @@ -8,7 +8,7 @@ dynamic/1 - + @@ -56,7 +56,7 @@ dynamic(+predicate_indicator_term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/end_category0.html b/Logtalk/manuals/refman/directives/end_category0.html index 1349e6718..7081fe529 100644 --- a/Logtalk/manuals/refman/directives/end_category0.html +++ b/Logtalk/manuals/refman/directives/end_category0.html @@ -8,7 +8,7 @@ end_category/0 - + @@ -50,7 +50,7 @@ end_category Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/end_object0.html b/Logtalk/manuals/refman/directives/end_object0.html index 46dfe9169..2cdfcee36 100644 --- a/Logtalk/manuals/refman/directives/end_object0.html +++ b/Logtalk/manuals/refman/directives/end_object0.html @@ -8,7 +8,7 @@ end_object/0 - + @@ -50,7 +50,7 @@ end_object Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/end_protocol0.html b/Logtalk/manuals/refman/directives/end_protocol0.html index e53faa626..536a1d167 100644 --- a/Logtalk/manuals/refman/directives/end_protocol0.html +++ b/Logtalk/manuals/refman/directives/end_protocol0.html @@ -8,7 +8,7 @@ end_protocol/0 - + @@ -50,7 +50,7 @@ end_protocol Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/info1.html b/Logtalk/manuals/refman/directives/info1.html index fc064c4bd..9bed675b0 100644 --- a/Logtalk/manuals/refman/directives/info1.html +++ b/Logtalk/manuals/refman/directives/info1.html @@ -8,7 +8,7 @@ info/1 - + @@ -54,7 +54,7 @@ info(+info_list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/info2.html b/Logtalk/manuals/refman/directives/info2.html index 55743491d..bd56afa87 100644 --- a/Logtalk/manuals/refman/directives/info2.html +++ b/Logtalk/manuals/refman/directives/info2.html @@ -8,7 +8,7 @@ info/2 - + @@ -52,7 +52,7 @@ info(+predicate_indicator, +info_list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/initialization1.html b/Logtalk/manuals/refman/directives/initialization1.html index 6c7680502..561068a30 100644 --- a/Logtalk/manuals/refman/directives/initialization1.html +++ b/Logtalk/manuals/refman/directives/initialization1.html @@ -8,7 +8,7 @@ initialization/1 - + @@ -50,7 +50,7 @@ initialization(@goal) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/metapredicate1.html b/Logtalk/manuals/refman/directives/metapredicate1.html index 9c5f4facf..7afd7ea0b 100644 --- a/Logtalk/manuals/refman/directives/metapredicate1.html +++ b/Logtalk/manuals/refman/directives/metapredicate1.html @@ -8,7 +8,7 @@ metapredicate/1 - + @@ -52,7 +52,7 @@ metapredicate(+metapredicate_predicate_term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/mode2.html b/Logtalk/manuals/refman/directives/mode2.html index be4edca23..4fc424a57 100644 --- a/Logtalk/manuals/refman/directives/mode2.html +++ b/Logtalk/manuals/refman/directives/mode2.html @@ -8,14 +8,14 @@ mode/2 - +
-

mode/2

+

mode/2


Description

@@ -56,7 +56,7 @@ mode(+predicate_mode_term, +number_of_solutions) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/object1_4.html b/Logtalk/manuals/refman/directives/object1_4.html index b1c8a3ea5..38077d259 100644 --- a/Logtalk/manuals/refman/directives/object1_4.html +++ b/Logtalk/manuals/refman/directives/object1_4.html @@ -8,7 +8,7 @@ object/1-4 - + @@ -266,7 +266,7 @@ object(+object_identifier, Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/op3.html b/Logtalk/manuals/refman/directives/op3.html index 56ca38065..c9e32adb8 100644 --- a/Logtalk/manuals/refman/directives/op3.html +++ b/Logtalk/manuals/refman/directives/op3.html @@ -8,7 +8,7 @@ op/3 - + @@ -53,7 +53,7 @@ op(+integer, +associativity, +atom) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/private1.html b/Logtalk/manuals/refman/directives/private1.html index 1ba021c46..2292f7fa2 100644 --- a/Logtalk/manuals/refman/directives/private1.html +++ b/Logtalk/manuals/refman/directives/private1.html @@ -8,7 +8,7 @@ private/1 - + @@ -55,7 +55,7 @@ private(+predicate_indicator_term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/protected1.html b/Logtalk/manuals/refman/directives/protected1.html index f8790bc91..49c86b932 100644 --- a/Logtalk/manuals/refman/directives/protected1.html +++ b/Logtalk/manuals/refman/directives/protected1.html @@ -8,7 +8,7 @@ protected/1 - + @@ -56,7 +56,7 @@ protected(+predicate_indicator_term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/protocol1_2.html b/Logtalk/manuals/refman/directives/protocol1_2.html index 4a06549be..b578588bd 100644 --- a/Logtalk/manuals/refman/directives/protocol1_2.html +++ b/Logtalk/manuals/refman/directives/protocol1_2.html @@ -8,7 +8,7 @@ protocol/1-2 - + @@ -62,7 +62,7 @@ protocol(+protocol_identifier, Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/public1.html b/Logtalk/manuals/refman/directives/public1.html index fcd0a309d..5c4f1864d 100644 --- a/Logtalk/manuals/refman/directives/public1.html +++ b/Logtalk/manuals/refman/directives/public1.html @@ -8,7 +8,7 @@ public/1 - + @@ -56,7 +56,7 @@ public(+predicate_indicator_term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/directives/uses1.html b/Logtalk/manuals/refman/directives/uses1.html index 0dd46bf21..a48a1bbff 100644 --- a/Logtalk/manuals/refman/directives/uses1.html +++ b/Logtalk/manuals/refman/directives/uses1.html @@ -8,7 +8,7 @@ uses/1 - + @@ -52,7 +52,7 @@ uses(+object_identifiers) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/grammar.html b/Logtalk/manuals/refman/grammar.html index 0122c3b93..dd6212fe2 100644 --- a/Logtalk/manuals/refman/grammar.html +++ b/Logtalk/manuals/refman/grammar.html @@ -8,7 +8,7 @@ Logtalk Grammar - + @@ -39,42 +39,35 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
object ::=
begin_object_directive [object_directives] [clauses] end_object_directive.
-

begin_object_directive ::=
":- object(" object_identifier [ "," object_relations] ")."
-

end_object_directive ::=
":- end_object."
-

object_relations ::=
prototype_relations |
non_prototype_relations
-

prototype_relations ::=
prototype_relation |
prototype_relation "," prototype_relations
-

prototype_relation ::=
implements_protocols |
imports_categories |
extends_objects
-

non_prototype_relations ::=
non_prototype_relation |
non_prototype_relation "," non_prototype_relations
-

non_prototype_relation ::=
implements_protocols |
@@ -92,12 +85,10 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
category ::=
begin_category_directive [category_directives] [clauses] end_category_directive.
-

begin_category_directive ::=
":- category(" category_identifier [ "," implements_protocols] ")."
-

end_category_directive ::=
":- end_category."
@@ -112,15 +103,13 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
protocol ::=
begin_protocol_directive [protocol_directives] end_protocol_directive.
-

begin_protocol_directive ::=
":- protocol(" protocol_identifier [ "," extends_protocols] ")."
-

end_protocol_directive ::=
-
":- end_protocol." +
":- end_protocol."
@@ -132,27 +121,22 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
implements_protocols ::=
"implements(" implemented_protocols ")"
-

extends_protocols ::=
"extends(" extended_protocols ")"
-

imports_categories ::=
"imports(" imported_categories ")"
-

extends_objects ::=
"extends(" extended_objects ")"
-

instantiates_classes ::=
"instantiates(" instantiated_objects ")"
-

specializes_classes ::=
"specializes(" specialized_objects ")"
@@ -166,19 +150,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
implemented_protocol_sequence |
implemented_protocol_list
-

implemented_protocol ::=
protocol_identifier |
scope "::" protocol_identifier
-

implemented_protocol_sequence ::=
implemented_protocol |
implemented_protocol "," implemented_protocol_sequence
-

implemented_protocol_list ::=
"[" implemented_protocol_sequence "]"
@@ -193,19 +174,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
extended_protocol_sequence |
extended_protocol_list
-

extended_protocol ::=
protocol_identifier |
scope "::" protocol_identifier
-

extended_protocol_sequence ::=
extended_protocol |
extended_protocol "," extended_protocol_sequence
-

extended_protocol_list ::=
"[" extended_protocol_sequence "]"
@@ -220,19 +198,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
imported_category_sequence |
imported_category_list
-

imported_category ::=
category_identifier |
scope "::" category_identifier
-

imported_category_sequence ::=
imported_category |
imported_category "," imported_category_sequence
-

imported_category_list ::=
"[" imported_category_sequence "]"
@@ -247,19 +222,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
extended_object_sequence |
extended_object_list
-

extended_object ::=
object_identifier |
scope "::" object_identifier
-

extended_object_sequence ::=
extended_object |
extended_object "," extended_object_sequence
-

extended_object_list ::=
"[" extended_object_sequence "]"
@@ -274,19 +246,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
instantiated_object_sequence |
instantiated_object_list
-

instantiated_object ::=
object_identifier |
scope "::" object_identifier
-

instantiated_object_sequence ::=
instantiated_object
instantiated_object "," instantiated_object_sequence |
-

instantiated_object_list ::=
"[" instantiated_object_sequence "]"
@@ -301,19 +270,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
specialized_object_sequence |
specialized_object_list
-

specialized_object ::=
object_identifier |
scope "::" object_identifier
-

specialized_object_sequence ::=
specialized_object |
specialized_object "," specialized_object_sequence
-

specialized_object_list ::=
"[" specialized_object_sequence "]"
@@ -342,20 +308,17 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
entity_identifier_sequence |
entity_identifier_list
-

entity_identifier ::=
object_identifier |
protocol_identifier |
category_identifier
-

entity_identifier_sequence ::=
entity_identifier |
entity_identifier "," entity_identifier_sequence
-

entity_identifier_list ::=
"[" entity_identifier_sequence "]"
@@ -369,19 +332,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
object_identifier_sequence |
object_identifier_list
-

object_identifier ::=
atom |
compound
-

object_identifier_sequence ::=
object_identifier |
object_identifier "," object_identifier_sequence
-

object_identifier_list ::=
"[" object_identifier_sequence "]"
@@ -396,18 +356,15 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
category_identifier_sequence |
category_identifier_list
-

category_identifier ::=
atom
-

category_identifier_sequence ::=
category_identifier |
category_identifier "," category_identifier_sequence
-

category_identifier_list ::=
"[" category_identifier_sequence "]"
@@ -422,19 +379,16 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
protocol_identifier_sequence |
protocol_identifier_list
-

protocol_identifier ::=
atom
-

protocol_identifier_sequence ::=
protocol_identifier |
protocol_identifier "," protocol_identifier_sequence
-

protocol_identifier_list ::=
"[" protocol_identifier_sequence "]"
@@ -455,7 +409,6 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
object_directive |
object_directive object_directives
-

object_directive ::=
":- initialization(" callable ")." |
@@ -474,7 +427,6 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
category_directive |
category_directive category_directives
-

category_directive ::=
":- initialization(" callable ")." |
@@ -493,7 +445,6 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
protocol_directive |
protocol_directive protocol_directives
-

protocol_directive ::=
":- initialization(" callable ")." |
@@ -510,7 +461,6 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
predicate_directive |
predicate_directive predicate_directives
-

predicate_directive ::=
scope_directive |
@@ -521,84 +471,69 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
dynamic_directive |
discontiguous_directive
-

scope_directive ::=
":- public(" predicate_indicator_term ")." |
":- protected(" predicate_indicator_term ")." |
":- private(" predicate_indicator_term ")."
-

mode_directive ::=
":- mode(" predicate_mode_term "," number_of_solutions ")."
-
metapredicate_directive ::=
":- metapredicate(" metapredicate_mode_indicator ")."
-
info_directive ::=
":- info(" predicate_indicator "," info_list ")."
-
predicate_indicator_term ::=
predicate_indicator |
predicate_indicator_sequence |
predicate_indicator_list
-
predicate_indicator_sequence ::=
predicate_indicator |
predicate_indicator "," predicate_indicator_sequence
-
predicate_indicator_list ::=
"[" predicate_indicator_sequence "]"
-
predicate_mode_term ::=
atom "(" mode_terms ")"
-
mode_terms ::=
mode_term |
mode_term "," mode_terms
-
mode_term ::=
"@" [type] | "+" [type] | "-" [type] | "?" [type]
-
metapredicate_mode_indicator ::=
atom "(" metapredicate_terms ")"
-
metapredicate_terms ::=
metapredicate_term |
metapredicate_term "," metapredicate_terms
-
metapredicate_term ::=
"::" | "*"
-
type ::=
prolog_type | logtalk_type | user_defined_type
-
prolog_type ::=
"term" | "nonvar" | "var" |
@@ -606,30 +541,25 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
"atomic" | "atom" |
"number" | "integer" | "float"
-
logtalk_type ::=
"object" | "category" | "protocol" |
"event"
-
user_defined_type ::=
atom |
compound
-
number_of_solutions ::=
"zero" | "zero_or_one" | "zero_or_more" | "one" | "one_or_more" | "error"
-
info_list ::=
"[]" |
"[" info_item "is" nonvar "|" info_list "]"
-
info_item ::=
"comment" | "authors" | "version" | "date" | "parnames" |
@@ -644,67 +574,56 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina

Clauses and goals

-
goal ::=
callable |
message_call |
external_call |
-
message_call ::=
message_to_object |
message_to_self |
message_to_super
-
message_to_object ::=
receivers "::" messages
-
message_to_self ::=
"::" messages
-
message_to_super ::=
"^^" message
-
messages ::=
message |
"(" message "," messages ")" |
"(" message ";" messages ")"
-
message ::=
callable |
variable
-
receivers ::=
receiver |
"(" receiver "," receivers ")" |
"(" receiver ";" receivers ")"
-
receiver ::=
object_identifier |
variable
-
external_call ::=
"{" callable "}"
-

Entity properties

@@ -716,14 +635,12 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina
"dynamic" |
"built_in"
-

object_property ::=
"static" |
"dynamic" |
"built_in"
-

protocol_property ::=
"static" |
@@ -756,7 +673,7 @@ The Logtalk grammar is here described using Backus-Naur Form syntax. Non-termina Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/index.html b/Logtalk/manuals/refman/index.html index 30eebb421..a0616e411 100644 --- a/Logtalk/manuals/refman/index.html +++ b/Logtalk/manuals/refman/index.html @@ -8,7 +8,7 @@ Logtalk Reference Manual - + @@ -191,7 +191,7 @@ User manual | Tutorial | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/abolish1.html b/Logtalk/manuals/refman/methods/abolish1.html index c28832587..f4fbb387d 100644 --- a/Logtalk/manuals/refman/methods/abolish1.html +++ b/Logtalk/manuals/refman/methods/abolish1.html @@ -8,7 +8,7 @@ abolish/1 - + @@ -80,7 +80,7 @@ abolish(+predicate_indicator) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/after3.html b/Logtalk/manuals/refman/methods/after3.html index 011654817..b74ce17ca 100644 --- a/Logtalk/manuals/refman/methods/after3.html +++ b/Logtalk/manuals/refman/methods/after3.html @@ -8,7 +8,7 @@ after/3 - + @@ -59,7 +59,7 @@ after(Object, Message, Sender) :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/asserta1.html b/Logtalk/manuals/refman/methods/asserta1.html index c5edcb91a..321b30ac5 100644 --- a/Logtalk/manuals/refman/methods/asserta1.html +++ b/Logtalk/manuals/refman/methods/asserta1.html @@ -8,7 +8,7 @@ asserta/1 - + @@ -76,7 +76,7 @@ asserta(+clause) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/assertz1.html b/Logtalk/manuals/refman/methods/assertz1.html index f28004fa1..4a600cea3 100644 --- a/Logtalk/manuals/refman/methods/assertz1.html +++ b/Logtalk/manuals/refman/methods/assertz1.html @@ -8,7 +8,7 @@ assertz/1 - + @@ -76,7 +76,7 @@ assertz(+clause) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/bagof3.html b/Logtalk/manuals/refman/methods/bagof3.html index 4ef5785c5..ba0095e46 100644 --- a/Logtalk/manuals/refman/methods/bagof3.html +++ b/Logtalk/manuals/refman/methods/bagof3.html @@ -8,7 +8,7 @@ bagof/3 - + @@ -62,7 +62,7 @@ bagof(@term, +callable, -list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/before3.html b/Logtalk/manuals/refman/methods/before3.html index 405573569..13b9e34e6 100644 --- a/Logtalk/manuals/refman/methods/before3.html +++ b/Logtalk/manuals/refman/methods/before3.html @@ -8,7 +8,7 @@ before/3 - + @@ -59,7 +59,7 @@ before(Object, Message, Sender) :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/clause2.html b/Logtalk/manuals/refman/methods/clause2.html index e8e8c7397..22e42a1ae 100644 --- a/Logtalk/manuals/refman/methods/clause2.html +++ b/Logtalk/manuals/refman/methods/clause2.html @@ -8,7 +8,7 @@ clause/2 - + @@ -75,7 +75,7 @@ clause(+callable, ?body) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/current_predicate1.html b/Logtalk/manuals/refman/methods/current_predicate1.html index 2f24313fb..23f59b301 100644 --- a/Logtalk/manuals/refman/methods/current_predicate1.html +++ b/Logtalk/manuals/refman/methods/current_predicate1.html @@ -8,7 +8,7 @@ current_predicate/1 - + @@ -63,7 +63,7 @@ current_predicate(?predicate_indicator) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/findall3.html b/Logtalk/manuals/refman/methods/findall3.html index 888d39017..fc89ef101 100644 --- a/Logtalk/manuals/refman/methods/findall3.html +++ b/Logtalk/manuals/refman/methods/findall3.html @@ -8,7 +8,7 @@ findall/3 - + @@ -62,7 +62,7 @@ findall(@term, +callable, -list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/forall2.html b/Logtalk/manuals/refman/methods/forall2.html index 92d176825..12733ab29 100644 --- a/Logtalk/manuals/refman/methods/forall2.html +++ b/Logtalk/manuals/refman/methods/forall2.html @@ -8,7 +8,7 @@ forall/2 - + @@ -68,7 +68,7 @@ forall(+callable, +callable) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/parameter2.html b/Logtalk/manuals/refman/methods/parameter2.html index 025a0bcb5..a6a28945a 100644 --- a/Logtalk/manuals/refman/methods/parameter2.html +++ b/Logtalk/manuals/refman/methods/parameter2.html @@ -8,7 +8,7 @@ parameter/2 - + @@ -42,7 +42,7 @@ parameter(+integer, ?term)
Number is a variable:
instantiation_error
-
Number is neither a variable nor an integer value: +
Number is neither a variable nor an integer value:
type_error(integer, Number)
Object identifier is not a compound term:
type_error(compound, Object)
@@ -71,7 +71,7 @@ parameter(+integer, ?term) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/predicate_property2.html b/Logtalk/manuals/refman/methods/predicate_property2.html index f3b69ef15..220d58f6b 100644 --- a/Logtalk/manuals/refman/methods/predicate_property2.html +++ b/Logtalk/manuals/refman/methods/predicate_property2.html @@ -8,7 +8,7 @@ predicate_property/2 - + @@ -67,7 +67,7 @@ predicate_property(+callable, ?predicate_property) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/retract1.html b/Logtalk/manuals/refman/methods/retract1.html index e66e3e468..d7e5ffc23 100644 --- a/Logtalk/manuals/refman/methods/retract1.html +++ b/Logtalk/manuals/refman/methods/retract1.html @@ -8,7 +8,7 @@ retract/1 - + @@ -74,7 +74,7 @@ retract(+clause) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/retractall1.html b/Logtalk/manuals/refman/methods/retractall1.html index 3fb1f8ca1..f4b92842c 100644 --- a/Logtalk/manuals/refman/methods/retractall1.html +++ b/Logtalk/manuals/refman/methods/retractall1.html @@ -8,7 +8,7 @@ retractall/1 - + @@ -73,7 +73,7 @@ retractall(+callable) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/self1.html b/Logtalk/manuals/refman/methods/self1.html index 7428bebce..3cc2849bf 100644 --- a/Logtalk/manuals/refman/methods/self1.html +++ b/Logtalk/manuals/refman/methods/self1.html @@ -8,7 +8,7 @@ self/1 - + @@ -60,7 +60,7 @@ test :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/sender1.html b/Logtalk/manuals/refman/methods/sender1.html index d9836a138..64b735e5b 100644 --- a/Logtalk/manuals/refman/methods/sender1.html +++ b/Logtalk/manuals/refman/methods/sender1.html @@ -8,7 +8,7 @@ sender/1 - + @@ -60,7 +60,7 @@ test :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/setof3.html b/Logtalk/manuals/refman/methods/setof3.html index 3a16bba2b..cdf2ae39a 100644 --- a/Logtalk/manuals/refman/methods/setof3.html +++ b/Logtalk/manuals/refman/methods/setof3.html @@ -8,7 +8,7 @@ setof/3 - + @@ -62,7 +62,7 @@ setof(@term, +callable, -list) Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/refman/methods/this1.html b/Logtalk/manuals/refman/methods/this1.html index 4610f21a2..8b4635ed8 100644 --- a/Logtalk/manuals/refman/methods/this1.html +++ b/Logtalk/manuals/refman/methods/this1.html @@ -8,7 +8,7 @@ this/1 - + @@ -60,7 +60,7 @@ test :- Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/tutorial/attributes.html b/Logtalk/manuals/tutorial/attributes.html index 4efb582df..ba4eb0e5c 100644 --- a/Logtalk/manuals/tutorial/attributes.html +++ b/Logtalk/manuals/tutorial/attributes.html @@ -8,7 +8,7 @@ Dynamic object attributes - + @@ -149,7 +149,7 @@ After compiling and loading this object and our category, we can now try queries Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/tutorial/index.html b/Logtalk/manuals/tutorial/index.html index f3279763c..94745d8ab 100644 --- a/Logtalk/manuals/tutorial/index.html +++ b/Logtalk/manuals/tutorial/index.html @@ -8,7 +8,7 @@ Logtalk Tutorial - + @@ -51,7 +51,7 @@ User manual | Reference manual | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/tutorial/lists.html b/Logtalk/manuals/tutorial/lists.html index 10096dbb9..72c9bccc1 100644 --- a/Logtalk/manuals/tutorial/lists.html +++ b/Logtalk/manuals/tutorial/lists.html @@ -8,7 +8,7 @@ List predicates - + @@ -71,7 +71,7 @@ We will start by defining an object, list, containing predicate def What is different here from a regular Prolog program? The definitions of the list predicates are the usual ones. We have two new directives, object/1 and end_object/0, that encapsulate the object's code. In Logtalk, by default, all object predicates are private; therefore, we have to explicitly declare all predicates that we want to be public, that is, that we want to call from outside the object. This is done using the public/1 scope directive.

-After we copy the object code to a text file and saved it under the name list.lgt, we need to change the Prolog working directory to the one used to save our file (consult your Prolog compiler reference manual). Then, after starting Logtalk (see the Installing and running Logtalk session on the User Manual), we can compile and load the object using the logtalk_load/1 Logtalk built-in predicate: +After we copy the object code to a text file and saved it under the name list.lgt, we need to change the Prolog working directory to the one used to save our file (consult your Prolog compiler reference manual). Then, after starting Logtalk (see the Installing and running Logtalk session on the User Manual), we can compile and load the object using the logtalk_load/1 Logtalk built-in predicate:

     | ?- logtalk_load([list]).
@@ -200,7 +200,7 @@ The protocol declared in listp may now be alternatively implemented
 Previous | Next | Table of Contents | Bibliography | Glossary
 

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/tutorial/profiling.html b/Logtalk/manuals/tutorial/profiling.html index 25adfa2dc..dbf4a610e 100644 --- a/Logtalk/manuals/tutorial/profiling.html +++ b/Logtalk/manuals/tutorial/profiling.html @@ -8,7 +8,7 @@ Profiling programs - + @@ -157,7 +157,7 @@ This call will abolish all events defined over the object foo assig Previous | Next | Table of Contents | Bibliography | Glossary

-Last updated on: July 29, 2002 +Last updated on: August 6, 2002


diff --git a/Logtalk/manuals/tutorial/reflection.html b/Logtalk/manuals/tutorial/reflection.html index f46b872ee..78dc89df7 100644 --- a/Logtalk/manuals/tutorial/reflection.html +++ b/Logtalk/manuals/tutorial/reflection.html @@ -8,7 +8,7 @@ A reflective class-based system - + @@ -75,7 +75,7 @@ Note that all three objects are instances of class class. The insta
  • An instance must instantiate at least one object (its class). Similarly, a class must at least specialize or instantiate other object.
    • -
    • The distinction between abstract classes and instantiable classes is a operational one, depending on the class inherited methods. A class is instantiable if inherits methods for creating instances. Conversely, a class is abstract if does not inherit any instance creation method. +
    • The distinction between abstract classes and instantiable classes is a operational one, depending on the class inherited methods. A class is instantiable if inherits methods for creating instances. Conversely, a class is abstract if does not inherit any instance creation method.

    @@ -83,7 +83,7 @@ Note that all three objects are instances of class class. The insta Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/categories.html b/Logtalk/manuals/userman/categories.html index ac269fb9b..5ed1ad5a6 100644 --- a/Logtalk/manuals/userman/categories.html +++ b/Logtalk/manuals/userman/categories.html @@ -8,7 +8,7 @@ Categories - + @@ -280,7 +280,7 @@ Omitting the scope keyword is equivalent to writing: Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/configuration.html b/Logtalk/manuals/userman/configuration.html index 668889104..1452819bd 100644 --- a/Logtalk/manuals/userman/configuration.html +++ b/Logtalk/manuals/userman/configuration.html @@ -8,7 +8,7 @@ Logtalk configuration - + @@ -72,7 +72,7 @@ If you are unsure that your Prolog compiler provides all the ISO predicates need Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/documenting.html b/Logtalk/manuals/userman/documenting.html index dd1841311..965024ec8 100644 --- a/Logtalk/manuals/userman/documenting.html +++ b/Logtalk/manuals/userman/documenting.html @@ -8,7 +8,7 @@ Documenting Logtalk programs - + @@ -123,7 +123,7 @@ The XML documenting files are (by default) automatically generated when you comp Each XML file contains references to two other files: logtalk.dtd, a DTD file describing the XML file structure, and a XSL style sheet file responsible for converting the XML files to some desired format like HTML. The name of the XSL file can be changed in the configuration files via the lgt_file_name/2 predicate. The default value is lgtxml.xsl, a XSL file that enables Logtalk XML files to be viewed directly in a web browser. The HTML output refers a CSS file, logtalk.css, that specifies how the HTML code will be rendered. The three default files are contained in the xml sub-directory in the Logtalk installation directory. This directory may also contain other files for specific XSLT processors or for converting XML to other formats besides HTML. Please read the NOTES file included in the directory for details.

    -There is a set of compilers options, used with the Logtalk logtalk_load/2 or the logtalk_compile/2 built-in predicates, that can be used to control the generation of the XML documentation files. Please see the Installing and running Logtalk section of this manual for details. +There is a set of compilers options, used with the Logtalk logtalk_load/2 or the logtalk_compile/2 built-in predicates, that can be used to control the generation of the XML documentation files. Please see the Installing and running Logtalk section of this manual for details.

    By default, all file references use relative paths, assuming that the .xml documentation files and the .dtd, .xsl, and .css files reside in the same directory. This can acomplished either by copying the DTD and style files to the your application compiling directory or by using file aliases or symbolic links, depending on the operating system that you are using. Of course, you may also copy the *.xml files to the xml sub-directory. @@ -137,7 +137,7 @@ To view the XML documenting files you can open them in a web browser that suppor Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/errors.html b/Logtalk/manuals/userman/errors.html index 0cdc29b61..dca3a153a 100644 --- a/Logtalk/manuals/userman/errors.html +++ b/Logtalk/manuals/userman/errors.html @@ -8,7 +8,7 @@ Error handling - + @@ -51,7 +51,7 @@ For example: The Logtalk preprocessor/compiler uses the read_term/3 ISO Prolog defined built-in predicate to read and process a Logtalk source file. One consequence of this is that invalid Prolog terms or syntax errors may abort the compilation process with limited information given to the user (due to the inherent limitations of the read_term/3 predicate).

    -If all the (Prolog) terms in a source file are valid, then there is a set of errors or potential errors, described below, that the preprocessor will try to detect and report, depending on the used compiler options (see the Installing and running Logtalk section of this manual for details). +If all the (Prolog) terms in a source file are valid, then there is a set of errors or potential errors, described below, that the preprocessor will try to detect and report, depending on the used compiler options (see the Installing and running Logtalk section of this manual for details).

    Unknown entities

    @@ -132,7 +132,7 @@ The message sending mechanisms always check if the receiver of a message is a de Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/events.html b/Logtalk/manuals/userman/events.html index 8fb453add..a17d781e6 100644 --- a/Logtalk/manuals/userman/events.html +++ b/Logtalk/manuals/userman/events.html @@ -8,7 +8,7 @@ Event-driven programming - + @@ -151,10 +151,10 @@ The existence of monitored messages should not affect the processing of the rema The established semantics for monitors actions consists on considering its success as a necessary condition so that a message can succeed:

      -
    • All actions associated to events of type before must succeed, so that the message processing can start. +
    • All actions associated to events of type before must succeed, so that the message processing can start.
      -
    • All actions associated to events of type after also have to succeed so that the message itself succeeds. The failure of any action associated to an event of type after forces backtracking over the message execution (the failure of a monitor never causes backtracking over the preceding monitor actions). +
    • All actions associated to events of type after also have to succeed so that the message itself succeeds. The failure of any action associated to an event of type after forces backtracking over the message execution (the failure of a monitor never causes backtracking over the preceding monitor actions).

    Note that this is the most general choice. If we wish a transparent presence of monitors in a message processing, we just have to define the monitor actions in such a way that they never fail (which is very simple to accomplish). @@ -286,7 +286,7 @@ To stop tracing, we can use the abolish_events/5 built-in predicate Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/features.html b/Logtalk/manuals/userman/features.html index b38b3a0a3..c8d936a22 100644 --- a/Logtalk/manuals/userman/features.html +++ b/Logtalk/manuals/userman/features.html @@ -8,7 +8,7 @@ Logtalk features - + @@ -111,7 +111,7 @@ The Logtalk system has been designed to be compatible with most Prolog compilers Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/index.html b/Logtalk/manuals/userman/index.html index de2abb920..ed933d512 100644 --- a/Logtalk/manuals/userman/index.html +++ b/Logtalk/manuals/userman/index.html @@ -8,7 +8,7 @@ Logtalk User Manual - + @@ -221,7 +221,7 @@ Reference manual | Tutorial | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 15, 2002


    diff --git a/Logtalk/manuals/userman/inheritance.html b/Logtalk/manuals/userman/inheritance.html index 0dc34572d..799dd168d 100644 --- a/Logtalk/manuals/userman/inheritance.html +++ b/Logtalk/manuals/userman/inheritance.html @@ -8,7 +8,7 @@ Inheritance - + @@ -269,7 +269,7 @@ Nevertheless, Logtalk supports multi-inheritance by enabling an object to extend Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/installing.html b/Logtalk/manuals/userman/installing.html index 69f91ac3b..33ca9d2b1 100644 --- a/Logtalk/manuals/userman/installing.html +++ b/Logtalk/manuals/userman/installing.html @@ -8,7 +8,7 @@ Installing and running Logtalk - + @@ -329,7 +329,7 @@ To supress printing of compiling and loading messages (including compiling warni Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/messages.html b/Logtalk/manuals/userman/messages.html index a59b8f000..0286496cc 100644 --- a/Logtalk/manuals/userman/messages.html +++ b/Logtalk/manuals/userman/messages.html @@ -8,7 +8,7 @@ Message sending - + @@ -182,7 +182,7 @@ See the session on Event-driven programming for more details. Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/objects.html b/Logtalk/manuals/userman/objects.html index 77a012c26..2b2e8cd2c 100644 --- a/Logtalk/manuals/userman/objects.html +++ b/Logtalk/manuals/userman/objects.html @@ -8,7 +8,7 @@ Objects - + @@ -77,6 +77,7 @@ If an object implements protocols and imports categories then we will write:

    In object-oriented programming objects are usually organized in hierarchies that enable interface and code sharing by inheritance. In Logtalk, we can construct prototype-based hierarchies by writing: +

         :- object(Prototype,
                 extends(Parent)).
    @@ -85,6 +86,7 @@ In object-oriented programming objects are usually organized in hierarchies that
     

    We can also have class-based hierarchies by defining instantiation and specialization relations between objects. To define an object as a class instance we will write: +

         :- object(Object,
                 instantiates(Class)).
    @@ -93,6 +95,7 @@ We can also have class-based hierarchies by defining instantiation and specializ
     

    A class may specialize another class, its superclass: +

         :- object(Class,
                 specializes(Superclass)).
    @@ -101,6 +104,7 @@ A class may specialize another class, its superclass:
     

    If we are defining a reflexive system where every class is also an object, we will probably be using the following pattern: +

         :- object(Class,
                 instantiates(Metaclass),
    @@ -110,8 +114,10 @@ If we are defining a reflexive system where every class is also an object, we wi
     

    In short, an object can be a stand-alone object or be part of an object hierarchy. The hierarchy can be prototype-based (defined by extending other objects) or class-based (with instantiation and specialization relations). An object may also implement one or more protocols or import one or more categories. +

    A stand-alone object is always compiled as a prototype, that is, a self-describing object. If we want to use classes and instances, then we will need to specify at least an instantiation or a specialization relation. The best way to do this is to define a set of objects that provide the basis of a reflective system [Cointe 87, Moura 94]. For example: +

         :- object(object,               % default root of the inheritance graph
                 instantiates(class)).   % predicates common to all objects
    @@ -181,7 +187,7 @@ Note that we can't use this method with the message sending operators (
     

    -This is more efficient because the cost of the method this/1 is only one single term unification, while parameter/2 implies an arg/3 call (an ISO Prolog Standard defined built-in predicate). The drawback is that we must check all calls of this/1 if we change the object name. +Both solutions are equally efficient because the cost of the methods this/1 and parameter/2 is only one single variable unification. The drawback of the second solution is that we must check all calls of this/1 if we change the object name.

    Parametric objects are by convention stored in source files named after the objects with the object arity appended. For instance, if we define an object named sort(Type), we may save it in a sort1.lgt text file. This way it is easy to avoid file name clashes when saving Logtalk entities that have the same functor but different arities. @@ -449,7 +455,7 @@ Logtalk defines a pseudo-object named user that contains all user p Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 15, 2002


    diff --git a/Logtalk/manuals/userman/predicates.html b/Logtalk/manuals/userman/predicates.html index c989c6cba..ca080f670 100644 --- a/Logtalk/manuals/userman/predicates.html +++ b/Logtalk/manuals/userman/predicates.html @@ -8,7 +8,7 @@ Predicates - + @@ -377,7 +377,7 @@ will only return user predicates that are declared public. Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/programming.html b/Logtalk/manuals/userman/programming.html index 3e62f4f8d..6970ada68 100644 --- a/Logtalk/manuals/userman/programming.html +++ b/Logtalk/manuals/userman/programming.html @@ -8,7 +8,7 @@ Programming in Logtalk - + @@ -98,7 +98,7 @@ Logtalk error handling strongly depends on the ISO compliance of the chosen Prol Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/manuals/userman/protocols.html b/Logtalk/manuals/userman/protocols.html index c40d4da6b..ed0ad0660 100644 --- a/Logtalk/manuals/userman/protocols.html +++ b/Logtalk/manuals/userman/protocols.html @@ -8,7 +8,7 @@ Protocols - + @@ -255,7 +255,7 @@ The same rules applies to protocols implemented by categories. Previous | Next | Table of Contents | Bibliography | Glossary

    -Last updated on: July 29, 2002 +Last updated on: August 6, 2002


    diff --git a/Logtalk/wenv/NOTES b/Logtalk/wenv/NOTES index 3dbc7bd03..d12ef756e 100644 --- a/Logtalk/wenv/NOTES +++ b/Logtalk/wenv/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/xml/NOTES b/Logtalk/xml/NOTES index 7e9316a71..d479e37e1 100644 --- a/Logtalk/xml/NOTES +++ b/Logtalk/xml/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.14.1 +Release 2.14.2 Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/xml/ie50.xsl b/Logtalk/xml/ie50.xsl index adad0f66a..ce968a4ef 100644 --- a/Logtalk/xml/ie50.xsl +++ b/Logtalk/xml/ie50.xsl @@ -8,7 +8,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % diff --git a/Logtalk/xml/lgthtml.xsl b/Logtalk/xml/lgthtml.xsl index 68fb57ffe..da76891f2 100644 --- a/Logtalk/xml/lgthtml.xsl +++ b/Logtalk/xml/lgthtml.xsl @@ -14,7 +14,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % @@ -45,7 +45,7 @@ -
    +

    @@ -65,12 +65,14 @@
    compilation:
    -
    - -
    :
    -
    -
    -
    + +
    + +
    :
    +
    +
    +
    +
    @@ -185,7 +187,7 @@

    -
    +

    compilation:
    @@ -205,12 +207,14 @@
    -
    - -
    :
    -
    -
    -
    + +
    + +
    :
    +
    +
    +
    +
    diff --git a/Logtalk/xml/lgtpdfa4.xsl b/Logtalk/xml/lgtpdfa4.xsl index b47752819..1b1ef9489 100644 --- a/Logtalk/xml/lgtpdfa4.xsl +++ b/Logtalk/xml/lgtpdfa4.xsl @@ -9,7 +9,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % diff --git a/Logtalk/xml/lgtpdfus.xsl b/Logtalk/xml/lgtpdfus.xsl index 8cb197077..84f138a7a 100644 --- a/Logtalk/xml/lgtpdfus.xsl +++ b/Logtalk/xml/lgtpdfus.xsl @@ -9,7 +9,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % diff --git a/Logtalk/xml/lgtxml.xsl b/Logtalk/xml/lgtxml.xsl index 6eb57b25d..95700ebfd 100644 --- a/Logtalk/xml/lgtxml.xsl +++ b/Logtalk/xml/lgtxml.xsl @@ -14,7 +14,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % @@ -45,7 +45,7 @@ -
    +

    @@ -65,12 +65,14 @@
    compilation:
    -
    - -
    :
    -
    -
    -
    + +
    + +
    :
    +
    +
    +
    +
    @@ -185,7 +187,7 @@

    -
    +

    compilation:
    @@ -205,12 +207,14 @@
    -
    - -
    :
    -
    -
    -
    + +
    + +
    :
    +
    +
    +
    +
    diff --git a/Logtalk/xml/logtalk.css b/Logtalk/xml/logtalk.css index cc618301f..0854aea3a 100644 --- a/Logtalk/xml/logtalk.css +++ b/Logtalk/xml/logtalk.css @@ -41,6 +41,11 @@ p { font-style: normal; } +p.blockquote { + color: navy; + font-family: sans-serif; + font-style: italic; +} body { color: black; @@ -74,8 +79,5 @@ dl.predicate { blockquote { - color: navy; - font-family: sans-serif; - font-style: italic; margin-left: 2em; } diff --git a/Logtalk/xml/logtalk.dtd b/Logtalk/xml/logtalk.dtd index 5b29b2da9..108eb112f 100644 --- a/Logtalk/xml/logtalk.dtd +++ b/Logtalk/xml/logtalk.dtd @@ -3,7 +3,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % diff --git a/Logtalk/xml/logtalk.xsd b/Logtalk/xml/logtalk.xsd index 0101f87c0..0d9c7d737 100644 --- a/Logtalk/xml/logtalk.xsd +++ b/Logtalk/xml/logtalk.xsd @@ -15,7 +15,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % diff --git a/Logtalk/xml/texml.xsl b/Logtalk/xml/texml.xsl index 3b1f66940..0ae65f9ff 100644 --- a/Logtalk/xml/texml.xsl +++ b/Logtalk/xml/texml.xsl @@ -12,7 +12,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % diff --git a/library/logtalk/logtalk.pl b/library/logtalk/logtalk.pl index 62c2aa0fa..2d715a9da 100644 --- a/library/logtalk/logtalk.pl +++ b/library/logtalk/logtalk.pl @@ -2,7 +2,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % Copyright (c) 1998-2002 Paulo Moura. All Rights Reserved. % @@ -127,7 +127,7 @@ :- dynamic('$lgt_referenced_object_'/1). % '$lgt_referenced_object_'(Object) :- dynamic('$lgt_referenced_protocol_'/1). % '$lgt_referenced_protocol_'(Protocol) -:- dynamic('$lgt_referenced_category_'/1). % '$lgt_referenced_object_'(Category) +:- dynamic('$lgt_referenced_category_'/1). % '$lgt_referenced_category_'(Category) @@ -313,7 +313,8 @@ create_object(Obj, Rels, Dirs, Clauses) :- '$lgt_gen_object_clauses', '$lgt_gen_object_directives', '$lgt_assert_tr_entity', - '$lgt_report_unknown_entities'. + '$lgt_report_unknown_entities', + '$lgt_clean_up'. @@ -360,7 +361,8 @@ create_category(Ctg, Rels, Dirs, Clauses) :- '$lgt_gen_category_clauses', '$lgt_gen_category_directives', '$lgt_assert_tr_entity', - '$lgt_report_unknown_entities'. + '$lgt_report_unknown_entities', + '$lgt_clean_up'. @@ -401,7 +403,8 @@ create_protocol(Ptc, Rels, Dirs) :- '$lgt_gen_protocol_clauses', '$lgt_gen_protocol_directives', '$lgt_assert_tr_entity', - '$lgt_report_unknown_entities'. + '$lgt_report_unknown_entities', + '$lgt_clean_up'. @@ -1019,7 +1022,7 @@ logtalk_version(Major, Minor, Patch) :- \+ integer(Patch), throw(error(type_error(integer, Patch), logtalk_version(Major, Minor, Patch))). -logtalk_version(2, 14, 1). +logtalk_version(2, 14, 2). @@ -1080,7 +1083,7 @@ current_logtalk_flag(Flag, Value) :- \+ '$lgt_flag_'(Flag, _), '$lgt_default_flag'(Flag, Value). -current_logtalk_flag(version, version(2, 14, 1)). +current_logtalk_flag(version, version(2, 14, 2)). @@ -1878,7 +1881,7 @@ user0__def(Pred, _, _, _, Pred, user). '$lgt_report_redefined_entity'(Entity) :- '$lgt_current_object_'(Entity, _, _, _, _), !, - write('WARNING! redefining '), write(Entity), write(' object'), nl. + write('WARNING! redefining object '), write(Entity), nl. '$lgt_report_redefined_entity'(Entity) :- % parametric objects atom_codes(Entity, Codes), @@ -1888,17 +1891,17 @@ user0__def(Pred, _, _, _, Pred, user). functor(Loaded, Functor, Arity), '$lgt_current_object_'(Loaded, _, _, _, _), !, - write('WARNING! redefining '), write(Entity), write(' object'), nl. + write('WARNING! redefining object '), write(Entity), nl. '$lgt_report_redefined_entity'(Entity) :- '$lgt_current_protocol_'(Entity, _), !, - write('WARNING! redefining '), write(Entity), write(' protocol'), nl. + write('WARNING! redefining protocol '), write(Entity), nl. '$lgt_report_redefined_entity'(Entity) :- '$lgt_current_category_'(Entity, _), !, - write('WARNING! redefining '), write(Entity), write(' category'), nl. + write('WARNING! redefining category '), write(Entity), nl. '$lgt_report_redefined_entity'(_). @@ -1934,10 +1937,12 @@ user0__def(Pred, _, _, _, Pred, user). nl, write('>>> compiling '), writeq(Entity), nl ; true), + '$lgt_clean_up', '$lgt_tr_entity'(Entity), '$lgt_write_tr_entity'(Entity), '$lgt_write_entity_doc'(Entity), '$lgt_report_unknown_entities', + '$lgt_clean_up', ('$lgt_compiler_option'(report, on) -> write('>>> '), writeq(Entity), write(' compiled'), nl ; @@ -2024,7 +2029,6 @@ user0__def(Pred, _, _, _, Pred, user). % compiles an entity storing the resulting code in memory '$lgt_tr_entity'(Entity) :- - '$lgt_clean_up', '$lgt_file_name'(logtalk, Entity, File), catch( open(File, read, Stream), @@ -2622,7 +2626,11 @@ user0__def(Pred, _, _, _, Pred, user). assertz('$lgt_feclause_'(Clause)). '$lgt_tr_clause'(Clause) :- - '$lgt_entity_'(_, _, Prefix, _), + '$lgt_entity_'(Type, Entity, Prefix, _), + ((Type = object, \+ atom(Entity)) -> % if the entity is a parametric object we need + '$lgt_this'(Context, Entity) % "this" for inline compilation of parameter/2 + ; + true), '$lgt_prefix'(Context, Prefix), catch( '$lgt_tr_clause'(Clause, TClause, Context), @@ -2642,13 +2650,13 @@ user0__def(Pred, _, _, _, Pred, user). \+ '$lgt_callable'(Head), throw(type_error(callable, Head)). -'$lgt_tr_clause'((Head:-Body), (THead:-TBody), Context) :- +'$lgt_tr_clause'((Head:-Body), TClause, Context) :- !, '$lgt_extract_metavars'(Head, Metavars), '$lgt_metavars'(Context, Metavars), '$lgt_tr_head'(Head, THead, Context), - '$lgt_tr_body'(Body, Body2, Context), - '$lgt_simplify_body'(Body2, TBody). + '$lgt_tr_body'(Body, TBody, Context), + '$lgt_simplify_clause'((THead:-TBody), TClause). '$lgt_tr_clause'(Fact, _, _) :- \+ '$lgt_callable'(Fact), @@ -2898,11 +2906,9 @@ user0__def(Pred, _, _, _, Pred, user). '$lgt_self'(Context, Self), !. - -% pre-defined methods - -'$lgt_tr_body'(parameter(Arg, Value), arg(Arg, This, Value), Context) :- +'$lgt_tr_body'(parameter(Arg, Value), true, Context) :- '$lgt_this'(Context, This), + arg(Arg, This, Value), !. @@ -2971,8 +2977,10 @@ user0__def(Pred, _, _, _, Pred, user). % remember the object receiving the message to later check if it's known -'$lgt_tr_msg'(Obj, _, _, _) :- +'$lgt_tr_msg'(Obj, _, _, Context) :- nonvar(Obj), + \+ '$lgt_sender'(Context, user), % not runtime msg translation + \+ '$lgt_this'(Context, user), '$lgt_add_referenced_object'(Obj), fail. @@ -3335,6 +3343,18 @@ user0__def(Pred, _, _, _, Pred, user). +% '$lgt_simplify_clause'(+clause, -clause) +% +% simplify translated clause by examining clause body + +'$lgt_simplify_clause'((Head :- true), Head) :- + !. + +'$lgt_simplify_clause'((Head :- Body), (Head :- SBody)) :- + '$lgt_simplify_body'(Body, SBody). + + + % '$lgt_simplify_body'(+callable, -callable) % % remove redundant calls to true/0 from a translated clause body diff --git a/library/logtalk/yap430.config b/library/logtalk/yap430.config index a5c001a7c..e8e5ff887 100644 --- a/library/logtalk/yap430.config +++ b/library/logtalk/yap430.config @@ -1,21 +1,39 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.14.1 +% Release 2.14.2 % % configuration file for YAP Prolog 4.3.x % -% last updated: April 19, 2002 +% last updated: August 23, 2002 % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -% the following initialization is not needed to run Logtalk altough -% is recommended; you can comment it out if needed +% the following initialization is not needed to run Logtalk altough is +% recommended; you can comment out the set_prolog_flag/2 calls if needed :- initialization( (set_prolog_flag(update_semantics, logical), - set_prolog_flag(unknown, error))). + set_prolog_flag(unknown, error), + '$lgt_hide_predicates')). + + +'$lgt_hide_predicates' :- + predicate_property(hide_predicate(_), built_in) -> + dynamic('$lgt_before_'/5), hide_predicate('$lgt_before_'/5), + dynamic('$lgt_after_'/5), hide_predicate('$lgt_after_'/5), + dynamic('$lgt_current_protocol_'/2), hide_predicate('$lgt_current_protocol_'/2), + dynamic('$lgt_current_category_'/2), hide_predicate('$lgt_current_category_'/2), + dynamic('$lgt_current_object_'/5), hide_predicate('$lgt_current_object_'/5), + dynamic('$lgt_implements_protocol_'/3), hide_predicate('$lgt_implements_protocol_'/3), + dynamic('$lgt_imports_category_'/3), hide_predicate('$lgt_imports_category_'/3), + dynamic('$lgt_instantiates_class_'/3), hide_predicate('$lgt_instantiates_class_'/3), + dynamic('$lgt_specializes_class_'/3), hide_predicate('$lgt_specializes_class_'/3), + dynamic('$lgt_extends_protocol_'/3), hide_predicate('$lgt_extends_protocol_'/3), + dynamic('$lgt_extends_object_'/3), hide_predicate('$lgt_extends_object_'/3) + ; + true. @@ -42,7 +60,7 @@ % % predicate properties % -% this predicate must return at least static, dynamic and built_in +% this predicate must return at least static, dynamic, and built_in % properties for an existing predicate % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%