diff --git a/Logtalk/BIBLIOGRAPHY b/Logtalk/BIBLIOGRAPHY index f423a8870..fe323d125 100644 --- a/Logtalk/BIBLIOGRAPHY +++ b/Logtalk/BIBLIOGRAPHY @@ -16,16 +16,37 @@ } -@techreport{pmoura00, +@unpublished{pmoura00c, + Author = "Paulo Moura", + Title = "{Category-Based Composition in Object-Oriented Languages}", + month = nov, + year = 2000, + howpublished = "\url{http://www.logtalk.org/papers/categories_ecoop.pdf}", + annote = "Submitted to ECOOP 2001" +} + + +@techreport{pmoura00b, author = "Paulo Moura", title = "{Logtalk 2.6 Documentation}", institution = "University of Beira Interior, Portugal", number = "DMI 2000/1", + month = jul, year = 2000, howpublished = "\url{http://www.logtalk.org/files/trdmi20001a4.pdf.gz}" } +@unpublished{pmoura00a, + Author = "Paulo Moura", + Title = "{Category-Based Composition in Object-Oriented Languages}", + month = apr, + year = 2000, + howpublished = "\url{http://www.logtalk.org/papers/categories_oopsla.pdf}", + annote = "Submitted to OOPSLA 2000" +} + + @article{pmoura99, author = "Paulo Moura", title = "{Porting Prolog: Notes on porting a Prolog program to 22 Prolog compilers or the relevance of the ISO Prolog standard}", diff --git a/Logtalk/INSTALL b/Logtalk/INSTALL index 23d0010c6..500bd7abc 100644 --- a/Logtalk/INSTALL +++ b/Logtalk/INSTALL @@ -1,17 +1,18 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= -Installing Logtalk is just a matter of decompressing the downloaded -archive and copying the resulting directory to a suitable location. +Installing Logtalk is just a matter of decompressing the downloaded archive +and copying the resulting directory to a suitable location. + The Logtalk directory can reside in any user accessible location. -This location depends on the working environment and on the number -of users. The "misc" sub-directory contains some shell scripts for -easy installation of Logtalk on Unix and Unix-like operating systems. +This location depends on the working environment and on the number of users. +The "misc" sub-directory contains some shell scripts for easy installation +of Logtalk on Windows, Unix and Unix-like operating systems. INSTALLING FOR A SINGLE USER @@ -49,12 +50,12 @@ execution path. If you use a csh shell, add the following line to your ~/.cshrc file: - setenv LOGTALKHOME /your/installation/directory/lgt2201 + setenv LOGTALKHOME /your/installation/directory/lgt2210 setenv PATH $PATH:$LOGTALKHOME/xml:$LOGTALKHOME/misc If you use a bash shell, add the following lines to your ~/.profile file: - LOGTALKHOME=/your/installation/directory/lgt2201 + LOGTALKHOME=/your/installation/directory/lgt2210 export LOGTALKHOME PATH=$PATH:$LOGTALKHOME/xml:$LOGTALKHOME/misc export PATH @@ -72,8 +73,8 @@ file (you will need to reboot after editing the file): SET LOGTALKHOME=C:\your\installation\folder\ In Windows NT/2000/XP, environment variables are defined using the System -properties control panel (if you are a system administrator, you may define -LOGTALKHOME as a system variable, otherwise define it as a user variable). +properties control panel (if you are a system administrator, you should use +the JScript install script provided in the "misc" sub-directory). CREATING NEW PROLOG TOP-LEVELS FOR AUTOMATIC LOADING OF LOGTALK diff --git a/Logtalk/QUICK_START b/Logtalk/QUICK_START index 7f4ce03d8..35cba6c6a 100644 --- a/Logtalk/QUICK_START +++ b/Logtalk/QUICK_START @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/README b/Logtalk/README index edfac0ed5..db1819269 100644 --- a/Logtalk/README +++ b/Logtalk/README @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/RELEASE_NOTES b/Logtalk/RELEASE_NOTES index 219c1667d..fe69e511e 100644 --- a/Logtalk/RELEASE_NOTES +++ b/Logtalk/RELEASE_NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= @@ -10,6 +10,55 @@ RELEASE NOTES ============= +2.21.0 - September 14, 2004 + + Added a new predicate directive, alias/3, which allows the definition of + alternative predicate names in order to improve readability of inherited + features and to solve conflicts between implemented, imported, or inherited + predicates. + + Added new example, "aliases", illustrating the use of the new alias/3 + predicate directive for improving readability of inherited features. + + Added new example, "diamonds", illustrating problems and solutions for the + "diamond problem" (multi-inheritance conflicts and ambiguities) using the + new alias/3 predicate directive. + + Allow categories to import other categories, i.e. allow categories to be + defined as a composition of other categories. This feature should only be + used when extending a category without breaking its functional cohesion + (for example, when a modified version of a category is needed for importing + into several unrelated objects). + + Added new example, "engines", illustrating importing a category from another + category. + + Updated the syntax coloring configuration files for the supported text + editors for the new alias/3 predicate directive. + + Added autocomplete strings for Logtalk methods and for Logtalk and Prolog + built-in predicates and directives to the SubEthaEdit 2.x text editor. + + Corrected a bug which prevented compilation of metafiles containing + parametric entities. + + +2.20.2 - August 31, 2004 + + Added a Windows JScript script for installing Logtalk. Improved the Windows + JScript scripts used for easy integration of Logtalk with selected Prolog + compilers. + + Improved user manual section on defining object and category metapredicates + and on calling non-stardard Prolog built-in metapredicates. Improved the + description of some compiler options. + + Added some files missing from the "errors" example (which should have been + included in the previous release). + + Added basic syntax coloring support for the BBEdit 8.x text editor. + + 2.20.1 - August 19, 2004 Added Windows JScript scripts for easy integration of Logtalk with CIAO and diff --git a/Logtalk/UPGRADING b/Logtalk/UPGRADING index 2ccb3bc28..18f9abe39 100644 --- a/Logtalk/UPGRADING +++ b/Logtalk/UPGRADING @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/NOTES b/Logtalk/examples/NOTES index a8e4631a1..3b4e29873 100644 --- a/Logtalk/examples/NOTES +++ b/Logtalk/examples/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= @@ -38,6 +38,10 @@ convert the files to a print-ready format such as PDF. Here is a short description of each included example: +aliases + example of using the alias/3 predicate directive to provide alternative + names to inherited predicates in order to improve readability + birds bird identification expert system example adopted from the Adventure in Prolog Amzi! book @@ -51,9 +55,17 @@ classvars dcgs examples of using DCG rules inside objects and categories +diamonds + examples of problems and solutions for the "diamond problem" + (multi-inheritance conflicts and ambiguities) + dynpred example of using some of the built-in database handling methods +engines + example of category composition (importation of categories by other + categories) using car engines + errors example showing the Logtalk compiler warning and error reporting diff --git a/Logtalk/examples/aliases/NOTES b/Logtalk/examples/aliases/NOTES new file mode 100644 index 000000000..a32a39807 --- /dev/null +++ b/Logtalk/examples/aliases/NOTES @@ -0,0 +1,18 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.21.0 + +Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. +================================================================= + + +To load all entities in this example compile and load the loader file: + +| ?- logtalk_load(loader). + +or, in alternative, compile and load the example metafile: + +| ?- logtalk_load(aliases). + +For a description of this example, please see the comments in the +aliases.mlgt metafile. diff --git a/Logtalk/examples/aliases/SCRIPT b/Logtalk/examples/aliases/SCRIPT new file mode 100644 index 000000000..bb6726a19 --- /dev/null +++ b/Logtalk/examples/aliases/SCRIPT @@ -0,0 +1,50 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.21.0 + +Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. +================================================================= + + +% start by loading the example: + +| ?- logtalk_load(loader). +... + + +% check the object square(_) public protocol: + +| ?- square(_)::current_predicate(Predicate). + +Predicate = side/1 ; +Predicate = width/1 ; +Predicate = height/1 ; +Predicate = area/1 +yes + + +% test the side/1 alias: + +| ?- square(2)::side(Side). + +Side = 2 +yes + + +% check the object circle(_) public protocol: + +| ?- circle(_)::current_predicate(Predicate). + +Predicate = r/1 ; +Predicate = rx/1 ; +Predicate = ry/1 ; +Predicate = area/1 +yes + + +% test the r/1 alias: + +| ?- circle(3)::r(Radius). + +Radius = 3 +yes diff --git a/Logtalk/examples/aliases/aliases.mlgt b/Logtalk/examples/aliases/aliases.mlgt new file mode 100644 index 000000000..ca721765d --- /dev/null +++ b/Logtalk/examples/aliases/aliases.mlgt @@ -0,0 +1,70 @@ +/* +This example illustrates the use of the predicate directive alias/3 for +defining alternative names for inherited predicates. +*/ + + +% first, we define a simple parametric object for representing rectangles: + +:- object(rectangle(_Width, _Height)). + + :- public(width/1). + :- public(height/1). + :- public(area/1). + + width(Width) :- + parameter(1, Width). + + height(Height) :- + parameter(2, Height). + + area(Area) :- + ::width(Width), + ::height(Height), + Area is Width*Height. + +:- end_object. + + +% next, we define a square object which adds an alias, side/1, for the +% inherited predicate width/1: + +:- object(square(Side), + extends(rectangle(Side, Side))). + + :- alias(rectangle(_, _), width/1, side/1). + +:- end_object. + + +% a similar example can be defined using ellipses and circles: + +:- object(ellipse(_RX, _RY)). + + :- public(rx/1). + :- public(ry/1). + :- public(area/1). + + rx(Rx) :- + parameter(1, Rx). + + ry(Ry) :- + parameter(2, Ry). + + area(Area) :- + ::rx(Rx), + ::ry(Ry), + Area is Rx*Ry*3.1415927. + +:- end_object. + + +% in this case, we define an alias named r/1 for the inherited +% predicate rx/1: + +:- object(circle(Radius), + extends(ellipse(Radius, Radius))). + + :- alias(ellipse(_, _), rx/1, r/1). + +:- end_object. diff --git a/Logtalk/examples/aliases/loader.lgt b/Logtalk/examples/aliases/loader.lgt new file mode 100644 index 000000000..5b917fdaa --- /dev/null +++ b/Logtalk/examples/aliases/loader.lgt @@ -0,0 +1,4 @@ + +:- initialization( + logtalk_load([ + aliases])). diff --git a/Logtalk/examples/birds/NOTES b/Logtalk/examples/birds/NOTES index 7dca88c45..84b1f5aff 100644 --- a/Logtalk/examples/birds/NOTES +++ b/Logtalk/examples/birds/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/SCRIPT b/Logtalk/examples/birds/SCRIPT index 304a6bfc5..7c2d5cdf6 100644 --- a/Logtalk/examples/birds/SCRIPT +++ b/Logtalk/examples/birds/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/NOTES b/Logtalk/examples/bricks/NOTES index 8b8dcc7a7..3750a5ecb 100644 --- a/Logtalk/examples/bricks/NOTES +++ b/Logtalk/examples/bricks/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/SCRIPT b/Logtalk/examples/bricks/SCRIPT index 8aca84443..40e32a1af 100644 --- a/Logtalk/examples/bricks/SCRIPT +++ b/Logtalk/examples/bricks/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/NOTES b/Logtalk/examples/classvars/NOTES index f3ea9e1e1..fb718c130 100644 --- a/Logtalk/examples/classvars/NOTES +++ b/Logtalk/examples/classvars/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/SCRIPT b/Logtalk/examples/classvars/SCRIPT index 08d3cdd8e..6b7e583b2 100644 --- a/Logtalk/examples/classvars/SCRIPT +++ b/Logtalk/examples/classvars/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dcgs/NOTES b/Logtalk/examples/dcgs/NOTES index ba04ceaf3..2d22c6b0d 100644 --- a/Logtalk/examples/dcgs/NOTES +++ b/Logtalk/examples/dcgs/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dcgs/SCRIPT b/Logtalk/examples/dcgs/SCRIPT index d181142f2..73ec3c8c7 100644 --- a/Logtalk/examples/dcgs/SCRIPT +++ b/Logtalk/examples/dcgs/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/diamonds/NOTES b/Logtalk/examples/diamonds/NOTES new file mode 100644 index 000000000..46244ee79 --- /dev/null +++ b/Logtalk/examples/diamonds/NOTES @@ -0,0 +1,56 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.21.0 + +Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. +================================================================= + + +This example illustrates some variants of the "diamond problem" +(multi-inheritance conflicts and ambiguities) and its respective +solutions on Logtalk. + +This classical problem can be simply described by constructing a +"diamond" of objects and inheritance links as follows: + + A -- contains default definition for a predicate m/0 + / \ + B C -- contains redefinitions of the predicate m/0 + \ / + D -- inherits both redefinitions of the predicate m/0 + +As such, the object D inherits two conflicting definitions for the +predicate m/0, one from object B and one from object C. If we send +the message m/0 to object D, is ambiguous which inherited definition +should be used to answer it. Depending on the nature of the objects +A, B, C, and D, the correct answer can be the redefinition of m/0 in +object B, the redefinition m/0 in object C, or both redefinitions. +A programming language supporting multi-inheritance should provide +programming mechanisms allowing easy implementation of each possible +solution. + +Note that, in the context of Logtalk, the diamond problem may occur with +prototype hierarchies, class hierarchies, protocol hierarchies, or when +using category composition. + +This example deals with three variants of the diamond problem, illustrated +using prototype hierarchies: + + diamond1 + illustrates the inherited definition which is visible due to the + Logtalk predicate lookup algorithm + diamond2 + presents a solution for making the overridden inherited definition + the visible one + diamond3 + presents a solution which allows both inherited definitions to be + used in D + +To load all entities in this example compile and load the loader file: + +| ?- logtalk_load(loader). + +To load only a specific variant, compile and load the respective metafile. +For example: + +| ?- logtalk_load(diamond2). diff --git a/Logtalk/examples/diamonds/SCRIPT b/Logtalk/examples/diamonds/SCRIPT new file mode 100644 index 000000000..9db767c4e --- /dev/null +++ b/Logtalk/examples/diamonds/SCRIPT @@ -0,0 +1,45 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.21.0 + +Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. +================================================================= + + +% start by loading the example: + +| ?- logtalk_load(loader). +... + + +% first variant of the "diamond problem", defined in the "diamond1" metafile: + +| ?- d1::m. + +Redefinition of method m/0 in object b1 +yes + + +% second variant of the "diamond problem", defined in the "diamond2" metafile: + +| ?- d2::m. + +Redefinition of method m/0 in object c2 +yes + + +% third variant of the "diamond problem", defined in the "diamond3" metafile: + +| ?- d3::b3_m. + +Redefinition of method m/0 in object b3 +yes + +| ?- d3::c3_m. + +Redefinition of method m/0 in object c3 +yes + +| ?- d3::m. +Redefinition of method m/0 in object b3 +yes diff --git a/Logtalk/examples/diamonds/diamond1.mlgt b/Logtalk/examples/diamonds/diamond1.mlgt new file mode 100644 index 000000000..6b88dea7a --- /dev/null +++ b/Logtalk/examples/diamonds/diamond1.mlgt @@ -0,0 +1,57 @@ +/* +These metafile objects illustrate a variant of the "diamond problem" using +a prototype hierarchy. + +In this simple case, the inherited definition which will be used in the +bottom object is determined by the Logtalk predicate lookup algorithm. +*/ + + +% root object, declaring and defining a predicate m/0: + +:- object(a1). + + :- public(m/0). + + m :- + this(This), + write('Default definition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% an object descending from the root object, which redefines predicate m/0: + +:- object(b1, + extends(a1)). + + m :- + this(This), + write('Redefinition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% another object descending from the root object, which also redefines predicate m/0: + +:- object(c1, + extends(a1)). + + m :- + this(This), + write('Redefinition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% bottom object, descending from the two previous objects and, as such, inheriting +% two definitions for the predicate m/0: + +:- object(d1, + extends(b1, c1)). + + +:- end_object. diff --git a/Logtalk/examples/diamonds/diamond2.mlgt b/Logtalk/examples/diamonds/diamond2.mlgt new file mode 100644 index 000000000..a76495f51 --- /dev/null +++ b/Logtalk/examples/diamonds/diamond2.mlgt @@ -0,0 +1,64 @@ +/* +These metafile objects illustrate a variant of the "diamond problem" using +a prototype hierarchy. + +In this simple case, a solution for making the overridden definition inherited +by the bottom object the visible one is implemented using the alias/3 predicate +directive. +*/ + + +% root object, declaring and defining a predicate m/0: + +:- object(a2). + + :- public(m/0). + + m :- + this(This), + write('Default definition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% an object descending from the root object, which redefines predicate m/0: + +:- object(b2, + extends(a2)). + + m :- + this(This), + write('Redefinition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% another object descending from the root object, which also redefines predicate m/0: + +:- object(c2, + extends(a2)). + + m :- + this(This), + write('Redefinition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% bottom object, descending from the two previous objects and, as such, inheriting +% two definitions for the predicate m/0; the overridden definition inherited from +% object "c2" is renamed using the alias/3 directive and then we redefined the +% predicate m/0 to call the renamed definition: + +:- object(d2, + extends(b2, c2)). + + :- alias(c2, m/0, c2_m/0). + + m :- + ::c2_m. + +:- end_object. diff --git a/Logtalk/examples/diamonds/diamond3.mlgt b/Logtalk/examples/diamonds/diamond3.mlgt new file mode 100644 index 000000000..73edb126c --- /dev/null +++ b/Logtalk/examples/diamonds/diamond3.mlgt @@ -0,0 +1,61 @@ +/* +These metafile objects illustrate a variant of the "diamond problem" using +a prototype hierarchy. + +In this simple case, a solution is presented for making two conflicting +definitions inherited by the bottom object visible through the use of the +alias/3 predicate directive. +*/ + + +% root object, declaring and defining a predicate m/0: + +:- object(a3). + + :- public(m/0). + + m :- + this(This), + write('Default definition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% an object descending from the root object, which redefines predicate m/0: + +:- object(b3, + extends(a3)). + + m :- + this(This), + write('Redefinition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% another object descending from the root object, which also redefines predicate m/0: + +:- object(c3, + extends(a3)). + + m :- + this(This), + write('Redefinition of method m/0 in object '), + write(This), nl. + +:- end_object. + + +% bottom object, descending from the two previous objects and, as such, inheriting +% two definitions for the predicate m/0; both inherited definitions are renamed +% using the alias/3 directive: + +:- object(d3, + extends(b3, c3)). + + :- alias(b3, m/0, b3_m/0). + :- alias(c3, m/0, c3_m/0). + +:- end_object. diff --git a/Logtalk/examples/diamonds/loader.lgt b/Logtalk/examples/diamonds/loader.lgt new file mode 100644 index 000000000..015701422 --- /dev/null +++ b/Logtalk/examples/diamonds/loader.lgt @@ -0,0 +1,6 @@ + +:- initialization( + logtalk_load([ + diamond1, + diamond2, + diamond3])). diff --git a/Logtalk/examples/dynpred/NOTES b/Logtalk/examples/dynpred/NOTES index 13e20cd88..c819dff2f 100644 --- a/Logtalk/examples/dynpred/NOTES +++ b/Logtalk/examples/dynpred/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dynpred/SCRIPT b/Logtalk/examples/dynpred/SCRIPT index 387db8ea9..78470b458 100644 --- a/Logtalk/examples/dynpred/SCRIPT +++ b/Logtalk/examples/dynpred/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/engines/NOTES b/Logtalk/examples/engines/NOTES new file mode 100644 index 000000000..94f75470d --- /dev/null +++ b/Logtalk/examples/engines/NOTES @@ -0,0 +1,18 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.21.0 + +Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. +================================================================= + + +To load all entities in this example compile and load the loader file: + +| ?- logtalk_load(loader). + +or, in alternative, compile and load the example metafile: + +| ?- logtalk_load(engines). + +For a description of this example, please see the comments in the +engines.mlgt metafile. diff --git a/Logtalk/examples/engines/SCRIPT b/Logtalk/examples/engines/SCRIPT new file mode 100644 index 000000000..7a007bb30 --- /dev/null +++ b/Logtalk/examples/engines/SCRIPT @@ -0,0 +1,62 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.21.0 + +Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. +================================================================= + + +% start by loading the example: + +| ?- logtalk_load(loader). +... + + +% both cars provide the same interface, declared in the protocol +% that is implemented by the categories imported by each object: + +| ?- sedan::current_predicate(P). + +P = reference/1 ; +P = capacity/1 ; +P = cylinders/2 ; +P = horsepower_rpm/2 ; +P = bore_stroke/2 ; +P = fuel/1 +yes + + +| ?- coupe::current_predicate(P). + +P = reference/1 ; +P = capacity/1 ; +P = cylinders/2 ; +P = horsepower_rpm/2 ; +P = bore_stroke/2 ; +P = fuel/1 ; +yes + + +% the sedan engine properties are the ones defined in the corresponding +% imported category (classic): + +| ?- sedan::(reference(Name), cylinders(Cylinders), horsepower_rpm(HP, RPM)). + +Name = 'M180.940' +Cylinders = 6 +HP = 94 +RPM = 4800 +yes + + +% the coupe engine properties are the ones defined in the corresponding +% imported category (sport) plus the ones inherited from the top category +% (classic) which are not overridden: + +| ?- coupe::(reference(Name), cylinders(Cylinders), horsepower_rpm(HP, RPM)). + +Name = 'M180.941' +Cylinders = 6 +HP = 110 +RPM = 5000 +yes diff --git a/Logtalk/examples/engines/engines.mlgt b/Logtalk/examples/engines/engines.mlgt new file mode 100644 index 000000000..73956db75 --- /dev/null +++ b/Logtalk/examples/engines/engines.mlgt @@ -0,0 +1,67 @@ +/* +This is a simple example of category composition, i.e. importation of +categories by other categories in order to provide modified components +for building objects, using car engines. + +The example defines a car engine protocol (enginep), a standard engine +(classic), and an improved version of it (sport). Both engines are then +imported in two car models (sedan and coupe). +*/ + + +% first we define a protocol for describing the characteristics of an engine: + +:- protocol(enginep). + + :- public(reference/1). + :- public(capacity/1). + :- public(cylinders/1). + :- public(horsepower_rpm/2). + :- public(bore_stroke/2). + :- public(fuel/1). + +:- end_protocol. + + +% second, we can define a typical engine as a category, which will be used +% when "assembling" cars: + +:- category(classic, + implements(enginep)). + + reference('M180.940'). + capacity(2195). + cylinders(6). + horsepower_rpm(94, 4800). + bore_stroke(80, 72.8). + fuel(gasoline). + +:- end_category. + + +% next, we define a souped up version of the previous engine, which differs +% from the standard one only in its reference and in its horsepower: + +:- category(sport, + imports(classic)). + + reference('M180.941'). + horsepower_rpm(110, 5000). + +:- end_category. + + +% with engines (and other components), we may start "assembling" some cars: + +:- object(sedan, + imports(classic)). + + +:- end_object. + + +:- object(coupe, + imports(sport)). + + +:- end_object. diff --git a/Logtalk/examples/engines/loader.lgt b/Logtalk/examples/engines/loader.lgt new file mode 100644 index 000000000..0365429c5 --- /dev/null +++ b/Logtalk/examples/engines/loader.lgt @@ -0,0 +1,4 @@ + +:- initialization( + logtalk_load([ + engines])). diff --git a/Logtalk/examples/errors/NOTES b/Logtalk/examples/errors/NOTES index 837557fe8..2da4acf15 100644 --- a/Logtalk/examples/errors/NOTES +++ b/Logtalk/examples/errors/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/NOTES b/Logtalk/examples/inheritance/NOTES index 9d3ebfdc9..6871adcd4 100644 --- a/Logtalk/examples/inheritance/NOTES +++ b/Logtalk/examples/inheritance/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/SCRIPT b/Logtalk/examples/inheritance/SCRIPT index 0350d5963..b42f00fcd 100644 --- a/Logtalk/examples/inheritance/SCRIPT +++ b/Logtalk/examples/inheritance/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/NOTES b/Logtalk/examples/instmethods/NOTES index df5a92ded..4b1c1612f 100644 --- a/Logtalk/examples/instmethods/NOTES +++ b/Logtalk/examples/instmethods/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/SCRIPT b/Logtalk/examples/instmethods/SCRIPT index 808a32562..b1a57b212 100644 --- a/Logtalk/examples/instmethods/SCRIPT +++ b/Logtalk/examples/instmethods/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/NOTES b/Logtalk/examples/lo/NOTES index 2a3fe21dc..2319d4c1b 100644 --- a/Logtalk/examples/lo/NOTES +++ b/Logtalk/examples/lo/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/NOTES b/Logtalk/examples/lo/planner/NOTES index b0cabed96..92c533588 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.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/SCRIPT b/Logtalk/examples/lo/planner/SCRIPT index 67d6829ff..f49ed5f61 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.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/NOTES b/Logtalk/examples/lo/travellers/NOTES index aecd00f75..cf042a318 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.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/SCRIPT b/Logtalk/examples/lo/travellers/SCRIPT index b5774fc66..4c9630dea 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.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/logic/NOTES b/Logtalk/examples/logic/NOTES index 24c1da0ed..f08648f82 100644 --- a/Logtalk/examples/logic/NOTES +++ b/Logtalk/examples/logic/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/logic/SCRIPT b/Logtalk/examples/logic/SCRIPT index 3f8fb13da..4095dc0ed 100644 --- a/Logtalk/examples/logic/SCRIPT +++ b/Logtalk/examples/logic/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/NOTES b/Logtalk/examples/lpa/NOTES index bd2d06427..b7c74dbb0 100644 --- a/Logtalk/examples/lpa/NOTES +++ b/Logtalk/examples/lpa/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/SCRIPT b/Logtalk/examples/lpa/SCRIPT index 70d853a17..f92cbe43d 100644 --- a/Logtalk/examples/lpa/SCRIPT +++ b/Logtalk/examples/lpa/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metainterpreters/NOTES b/Logtalk/examples/metainterpreters/NOTES index 2f823f8e6..35369ee1e 100644 --- a/Logtalk/examples/metainterpreters/NOTES +++ b/Logtalk/examples/metainterpreters/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metainterpreters/SCRIPT b/Logtalk/examples/metainterpreters/SCRIPT index 32294a06e..48c1df1ae 100644 --- a/Logtalk/examples/metainterpreters/SCRIPT +++ b/Logtalk/examples/metainterpreters/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/NOTES b/Logtalk/examples/metapredicates/NOTES index d6db95d9c..54bdc9156 100644 --- a/Logtalk/examples/metapredicates/NOTES +++ b/Logtalk/examples/metapredicates/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/SCRIPT b/Logtalk/examples/metapredicates/SCRIPT index 35ca0a6a3..30a7f5ae0 100644 --- a/Logtalk/examples/metapredicates/SCRIPT +++ b/Logtalk/examples/metapredicates/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/NOTES b/Logtalk/examples/mi/NOTES index 569a7ad2b..a23064f74 100644 --- a/Logtalk/examples/mi/NOTES +++ b/Logtalk/examples/mi/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/SCRIPT b/Logtalk/examples/mi/SCRIPT index ca9d7c769..5ff993ff1 100644 --- a/Logtalk/examples/mi/SCRIPT +++ b/Logtalk/examples/mi/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/NOTES b/Logtalk/examples/miscellaneous/NOTES index d9f592a71..1c6bf72c3 100644 --- a/Logtalk/examples/miscellaneous/NOTES +++ b/Logtalk/examples/miscellaneous/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/SCRIPT b/Logtalk/examples/miscellaneous/SCRIPT index 0baa7a96a..69a3ed64a 100644 --- a/Logtalk/examples/miscellaneous/SCRIPT +++ b/Logtalk/examples/miscellaneous/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/msglog/NOTES b/Logtalk/examples/msglog/NOTES index f2f5c4e06..7c08f080c 100644 --- a/Logtalk/examples/msglog/NOTES +++ b/Logtalk/examples/msglog/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/msglog/SCRIPT b/Logtalk/examples/msglog/SCRIPT index df4135e71..4b1b4377b 100644 --- a/Logtalk/examples/msglog/SCRIPT +++ b/Logtalk/examples/msglog/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/operators/NOTES b/Logtalk/examples/operators/NOTES index 546b464d4..d91f91eb9 100644 --- a/Logtalk/examples/operators/NOTES +++ b/Logtalk/examples/operators/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/operators/SCRIPT b/Logtalk/examples/operators/SCRIPT index cd980a0fa..4dd35a262 100644 --- a/Logtalk/examples/operators/SCRIPT +++ b/Logtalk/examples/operators/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/NOTES b/Logtalk/examples/parametric/NOTES index f3b511837..8dc7d86cf 100644 --- a/Logtalk/examples/parametric/NOTES +++ b/Logtalk/examples/parametric/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/SCRIPT b/Logtalk/examples/parametric/SCRIPT index 9896f3548..13a899dd4 100644 --- a/Logtalk/examples/parametric/SCRIPT +++ b/Logtalk/examples/parametric/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/NOTES b/Logtalk/examples/points/NOTES index eb0cb5d0f..81af31c7e 100644 --- a/Logtalk/examples/points/NOTES +++ b/Logtalk/examples/points/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/SCRIPT b/Logtalk/examples/points/SCRIPT index 6ffef1fb9..fc7228423 100644 --- a/Logtalk/examples/points/SCRIPT +++ b/Logtalk/examples/points/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/NOTES b/Logtalk/examples/polygons/NOTES index 4b7ea2ffe..b34ce01b2 100644 --- a/Logtalk/examples/polygons/NOTES +++ b/Logtalk/examples/polygons/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/SCRIPT b/Logtalk/examples/polygons/SCRIPT index 7d6e83c75..36d477ade 100644 --- a/Logtalk/examples/polygons/SCRIPT +++ b/Logtalk/examples/polygons/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/NOTES b/Logtalk/examples/profiling/NOTES index be672c219..ebf342ad6 100644 --- a/Logtalk/examples/profiling/NOTES +++ b/Logtalk/examples/profiling/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/SCRIPT b/Logtalk/examples/profiling/SCRIPT index ac75d5a20..de227ccaf 100644 --- a/Logtalk/examples/profiling/SCRIPT +++ b/Logtalk/examples/profiling/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/puzzles/NOTES b/Logtalk/examples/puzzles/NOTES index 4bc8e82dd..b60da3db1 100644 --- a/Logtalk/examples/puzzles/NOTES +++ b/Logtalk/examples/puzzles/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/puzzles/SCRIPT b/Logtalk/examples/puzzles/SCRIPT index a0a685b23..1924c7a6c 100644 --- a/Logtalk/examples/puzzles/SCRIPT +++ b/Logtalk/examples/puzzles/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/NOTES b/Logtalk/examples/reflection/NOTES index a93482626..b26445337 100644 --- a/Logtalk/examples/reflection/NOTES +++ b/Logtalk/examples/reflection/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/SCRIPT b/Logtalk/examples/reflection/SCRIPT index 62b6d59a8..dba9c8a43 100644 --- a/Logtalk/examples/reflection/SCRIPT +++ b/Logtalk/examples/reflection/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/NOTES b/Logtalk/examples/relations/NOTES index 20f2b7457..42f789a13 100644 --- a/Logtalk/examples/relations/NOTES +++ b/Logtalk/examples/relations/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/SCRIPT b/Logtalk/examples/relations/SCRIPT index 05d021a58..c05a0aaba 100644 --- a/Logtalk/examples/relations/SCRIPT +++ b/Logtalk/examples/relations/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/NOTES b/Logtalk/examples/roots/NOTES index 7b9869450..70f413b4c 100644 --- a/Logtalk/examples/roots/NOTES +++ b/Logtalk/examples/roots/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/SCRIPT b/Logtalk/examples/roots/SCRIPT index bba6edac4..e20e75a1e 100644 --- a/Logtalk/examples/roots/SCRIPT +++ b/Logtalk/examples/roots/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/NOTES b/Logtalk/examples/searching/NOTES index 33ab17a8c..adc2875fc 100644 --- a/Logtalk/examples/searching/NOTES +++ b/Logtalk/examples/searching/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/SCRIPT b/Logtalk/examples/searching/SCRIPT index 8ab1fb496..1b9e1c6ea 100644 --- a/Logtalk/examples/searching/SCRIPT +++ b/Logtalk/examples/searching/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/NOTES b/Logtalk/examples/shapes/NOTES index 825e01f17..1514f1b73 100644 --- a/Logtalk/examples/shapes/NOTES +++ b/Logtalk/examples/shapes/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ch/NOTES b/Logtalk/examples/shapes/ch/NOTES index eaeafc1e4..c803a1901 100644 --- a/Logtalk/examples/shapes/ch/NOTES +++ b/Logtalk/examples/shapes/ch/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ch/SCRIPT b/Logtalk/examples/shapes/ch/SCRIPT index 8de932ca6..0542de277 100644 --- a/Logtalk/examples/shapes/ch/SCRIPT +++ b/Logtalk/examples/shapes/ch/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ph/NOTES b/Logtalk/examples/shapes/ph/NOTES index aecd00f75..cf042a318 100644 --- a/Logtalk/examples/shapes/ph/NOTES +++ b/Logtalk/examples/shapes/ph/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ph/SCRIPT b/Logtalk/examples/shapes/ph/SCRIPT index a80b13b4b..7b863c950 100644 --- a/Logtalk/examples/shapes/ph/SCRIPT +++ b/Logtalk/examples/shapes/ph/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/NOTES b/Logtalk/examples/sicstus/NOTES index 709778db3..49c6d2526 100644 --- a/Logtalk/examples/sicstus/NOTES +++ b/Logtalk/examples/sicstus/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/SCRIPT b/Logtalk/examples/sicstus/SCRIPT index a1a7c1993..8e19c616c 100644 --- a/Logtalk/examples/sicstus/SCRIPT +++ b/Logtalk/examples/sicstus/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/NOTES b/Logtalk/examples/symdiff/NOTES index 59a34c26c..d51c4bbe3 100644 --- a/Logtalk/examples/symdiff/NOTES +++ b/Logtalk/examples/symdiff/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/SCRIPT b/Logtalk/examples/symdiff/SCRIPT index 18078ccc6..b3b8f1211 100644 --- a/Logtalk/examples/symdiff/SCRIPT +++ b/Logtalk/examples/symdiff/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/NOTES b/Logtalk/examples/viewpoints/NOTES index 747f2e471..e224e914d 100644 --- a/Logtalk/examples/viewpoints/NOTES +++ b/Logtalk/examples/viewpoints/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/SCRIPT b/Logtalk/examples/viewpoints/SCRIPT index a8c71a090..2ea7ac3e5 100644 --- a/Logtalk/examples/viewpoints/SCRIPT +++ b/Logtalk/examples/viewpoints/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/NOTES b/Logtalk/library/NOTES index 4fe529f52..7ac2aba4e 100644 --- a/Logtalk/library/NOTES +++ b/Logtalk/library/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/SCRIPT b/Logtalk/library/SCRIPT index b68fb36a7..b64fe7d0c 100644 --- a/Logtalk/library/SCRIPT +++ b/Logtalk/library/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/all.notes b/Logtalk/library/all.notes index 4bd2d977a..7f67d066e 100644 --- a/Logtalk/library/all.notes +++ b/Logtalk/library/all.notes @@ -1,7 +1,7 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dates.notes b/Logtalk/library/dates.notes index 3ed076f7b..3962f88be 100644 --- a/Logtalk/library/dates.notes +++ b/Logtalk/library/dates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/debugging.notes b/Logtalk/library/debugging.notes index d49a7707f..09cee55e1 100644 --- a/Logtalk/library/debugging.notes +++ b/Logtalk/library/debugging.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dependents.notes b/Logtalk/library/dependents.notes index 4197ffb19..0bcae4eec 100644 --- a/Logtalk/library/dependents.notes +++ b/Logtalk/library/dependents.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/events.notes b/Logtalk/library/events.notes index 8e3c0880b..ee85c8202 100644 --- a/Logtalk/library/events.notes +++ b/Logtalk/library/events.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/experimental/NOTES b/Logtalk/library/experimental/NOTES index 60ce62d5f..a6520e12d 100644 --- a/Logtalk/library/experimental/NOTES +++ b/Logtalk/library/experimental/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/hierarchies.notes b/Logtalk/library/hierarchies.notes index d1ae15f59..210a75960 100644 --- a/Logtalk/library/hierarchies.notes +++ b/Logtalk/library/hierarchies.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/metapredicates.notes b/Logtalk/library/metapredicates.notes index 71134687e..7a66c1edd 100644 --- a/Logtalk/library/metapredicates.notes +++ b/Logtalk/library/metapredicates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/random.notes b/Logtalk/library/random.notes index 84302d615..e2a3b5558 100644 --- a/Logtalk/library/random.notes +++ b/Logtalk/library/random.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/types.notes b/Logtalk/library/types.notes index 37900942c..7fe91efc8 100644 --- a/Logtalk/library/types.notes +++ b/Logtalk/library/types.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/NOTES b/Logtalk/manuals/NOTES index 99b674b52..eb5946a71 100644 --- a/Logtalk/manuals/NOTES +++ b/Logtalk/manuals/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.20.1 +Release 2.21.0 Copyright (c) 1998-2004 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/index.html b/Logtalk/manuals/index.html index a387671fc..6caf7c58f 100644 --- a/Logtalk/manuals/index.html +++ b/Logtalk/manuals/index.html @@ -8,7 +8,7 @@ - Logtalk 2.20.1 Documentation + Logtalk 2.21.0 Documentation @@ -18,7 +18,7 @@   -

Logtalk 2.20.1 Documentation

+

Logtalk 2.21.0 Documentation