diff --git a/C/iopreds.c b/C/iopreds.c index 3136eb8c4..4db0ecd60 100644 --- a/C/iopreds.c +++ b/C/iopreds.c @@ -859,8 +859,8 @@ p_prompt (void) #include #endif -extern void add_history (const char *); - +/* extern void add_history (const char *); +*/ static char *ttyptr = NULL; diff --git a/Logtalk/INSTALL b/Logtalk/INSTALL index 8084db3aa..57d503dd9 100644 --- a/Logtalk/INSTALL +++ b/Logtalk/INSTALL @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -40,17 +40,19 @@ directory can be copied to any location that its accessible by all the users for some reason, not feasible or desired). The "scripts" sub-directory contains shell scripts for easy installation of -Logtalk on Windows, Unix, and Unix-like operating systems (for details, -see the "scripts/NOTES" file). After running the appropriated script for your -operating-system, the second step will be to run the Prolog integration -scripts that you find on the "scripts" sub-directory, assuming that your -favorite Prolog compilers are supported (if that is not the case, don't -worry: just follow the steps described in the "QUICK_START" file). The third -step is for each user to make a local copy of the Logtalk user-modifiable -files to its home directory. This allows each user to easily customize -Logtalk to its needs. These copies can be easily made by instructing end-users -to simply run the shell command "cplgtdirs" (the corresponding scripts are -described in the "scripts/NOTES" file). +Logtalk on MacOS X, Windows, Linux, and Unix-like operating systems (see the +"scripts/NOTES" file for details). + +After running the appropriated script for your operating-system, the second +step will be to run the Prolog integration scripts that you find on the +"scripts" sub-directory, assuming that your favorite Prolog compilers are +supported (if that is not the case, don't worry: just follow the steps +described in the "QUICK_START" file). The third step is for each user to +make a local copy of the Logtalk user-modifiable files to its home directory. +This allows each user to easily customize Logtalk to its needs. These copies +can be easily made by instructing end-users to simply run the shell command +"cplgtdirs" (the corresponding scripts are described in the "scripts/NOTES" +file). The "scripts/lgt_install.*" installation scripts make all files read-only in order to avoid user tempering. This is a convenient setup for computer labs, @@ -161,7 +163,7 @@ the file "$LOGTALKUSER/xml/NOTES". Most Prolog compilers allows the user to define an initialization file that is automatically consulted at startup. This initialization file may contain directives for loading other files, such as the Logtalk configuration file -and the Logtalk compiler. The "scripts" sub-directory contains several scripts -for automating the creation of these initialization files for some Prolog -compilers. In addition, be sure to read the "configs/NOTES" file notes on -the Prolog compilers that you intend to use. +and the Logtalk compiler. The "$LOGTALKHOME/scripts" sub-directory contains +several scripts for automating the creation of these initialization files +for some Prolog compilers. In addition, be sure to read the "configs/NOTES" +file notes on the Prolog compilers that you intend to use. diff --git a/Logtalk/QUICK_START b/Logtalk/QUICK_START index 064eb7fea..3eb8624f2 100644 --- a/Logtalk/QUICK_START +++ b/Logtalk/QUICK_START @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/README b/Logtalk/README index dea77147b..af2b505fc 100644 --- a/Logtalk/README +++ b/Logtalk/README @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -81,7 +81,7 @@ with just the word "help" in the subject or in the message body. Installing Logtalk is just a matter of uncompressing/unpacking the distribution archive file for your operating system. You can install Logtalk in any directory that you find convenient. See the file INSTALL -for further instructions. +for detailed instructions on how to customize your working environment. See the user manual for a description of the source files organization and for using instructions (to read the user manual open the file @@ -98,7 +98,7 @@ to run Logtalk, provided that your favorite Prolog compiler is supported. 7. DOCUMENTATION The reference and user manuals and the tutorial are provided in XHTML format -and are contained in the manuals directory. +and can be found in the manuals directory. PDF versions of all documentation are also available as a separated download from the Logtalk web site. The PDF files include page numbers, an index, and diff --git a/Logtalk/RELEASE_NOTES b/Logtalk/RELEASE_NOTES index 4e081fc8a..240752832 100644 --- a/Logtalk/RELEASE_NOTES +++ b/Logtalk/RELEASE_NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -10,6 +10,37 @@ RELEASE NOTES ============= +2.25.0 - May 23, 2005 + + Logtalk compiler is now source file-based instead of entity-based. Thus, + a source file may now contain any number of entities, without the need of + using source metafiles. Therefore, this version drops support for source + metafiles and the .mlgt file name extension. + + The experimental encoding/1 directive, when used, must be the first term + on a source file. Added an entry to the reference manual describing the + directive. Improved "encodings" example. + + Added a new method, debugging/1, to the "debugger" pseudo-object for + querying the system about entities compiled in debug mode. + + Improved source file and entity compilation and loading reporting. In + particular, when using library notation for source files, the Logtalk + compiler now prints the library path containing the source files being + compiled or loaded. + + Added new shell scripts, makeall_lgt.*, which run all the make_*lgt.* + shell scripts in sequence. + + Simplified compiler reporting of singleton variables in directives and + clauses. + + Added an adaption of the "timetables" LPA Prolog++ example. + + Updated B-Prolog config file for the new 6.7 #2 version. Dropped support + for older versions of B-Prolog. + + 2.24.0 - April 22, 2005 Added experimental support for a encoding/1 directive for declaring the diff --git a/Logtalk/UPGRADING b/Logtalk/UPGRADING index 4a2f9f1e3..cfb5a0afc 100644 --- a/Logtalk/UPGRADING +++ b/Logtalk/UPGRADING @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -105,4 +105,10 @@ release notes for details). If you are using custom config files, be sure to update them by coping the definition of the new predicates. Logtalk version 2.23.0 features new, optimized implementations of the database -built-in methods, implying recompilation of all objects, protocols, and categories. +built-in methods, implying the recompilation of all objects, protocols, and +categories. + +Logtalk version 2.25.0 drops support for source metafiles and .mlgt file name +extension as this version features a new, file-based compiler, supporting the +definition of any number of entities in a single file. Older code using source +metafiles will need to rename the file name extensions from .mlgt to .lgt. diff --git a/Logtalk/contributions/NOTES b/Logtalk/contributions/NOTES index fccbebf24..9fb0b38b9 100644 --- a/Logtalk/contributions/NOTES +++ b/Logtalk/contributions/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/NOTES b/Logtalk/examples/NOTES index a1accb1a3..8021007ec 100644 --- a/Logtalk/examples/NOTES +++ b/Logtalk/examples/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -23,7 +23,7 @@ Some examples may redefine objects already loaded from other examples. You may want to restart Logtalk after trying each example. Some of the examples code have been adopted from public available Prolog -code and from known Prolog text books and are copyrighted by the respective +code or from known Prolog text books and are copyrighted by the respective authors. These are programming examples, meaning that you should study the source diff --git a/Logtalk/examples/aliases/NOTES b/Logtalk/examples/aliases/NOTES index bdc389c36..c9572e704 100644 --- a/Logtalk/examples/aliases/NOTES +++ b/Logtalk/examples/aliases/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -10,4 +10,4 @@ To load this example and for sample queries, please see the SCRIPT file. For a description of this example, please see the comments in the -aliases.mlgt metafile. +aliases.lgt source file. diff --git a/Logtalk/examples/aliases/SCRIPT b/Logtalk/examples/aliases/SCRIPT index 54287c761..97a484b8e 100644 --- a/Logtalk/examples/aliases/SCRIPT +++ b/Logtalk/examples/aliases/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -30,6 +30,23 @@ yes Side = 2 yes +| ?- square(2)::predicate_property(side(_), Property). + +Property = public ; +Property = static ; +Property = declared_in(rectangle(_G264, _G265)) ; +Property = defined_in(rectangle(_G297, _G298)) ; +Property = alias(width(_G182)) +yes + +| ?- square(2)::predicate_property(width(_), Property). + +Property = public ; +Property = static ; +Property = declared_in(rectangle(_G262, _G263)) ; +Property = defined_in(rectangle(_G293, _G294)) +yes + % check the object circle(_) public protocol: diff --git a/Logtalk/examples/aliases/aliases.lgt b/Logtalk/examples/aliases/aliases.lgt new file mode 100644 index 000000000..ca721765d --- /dev/null +++ b/Logtalk/examples/aliases/aliases.lgt @@ -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/assignvars/NOTES b/Logtalk/examples/assignvars/NOTES index 860e36f96..46ea59a34 100644 --- a/Logtalk/examples/assignvars/NOTES +++ b/Logtalk/examples/assignvars/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/assignvars/SCRIPT b/Logtalk/examples/assignvars/SCRIPT index d94d60b06..dda7afbc0 100644 --- a/Logtalk/examples/assignvars/SCRIPT +++ b/Logtalk/examples/assignvars/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/benchmarks/NOTES b/Logtalk/examples/benchmarks/NOTES index 557b9aa4e..2f184261e 100644 --- a/Logtalk/examples/benchmarks/NOTES +++ b/Logtalk/examples/benchmarks/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/benchmarks/SCRIPT b/Logtalk/examples/benchmarks/SCRIPT index b172d1d7f..83c320c74 100644 --- a/Logtalk/examples/benchmarks/SCRIPT +++ b/Logtalk/examples/benchmarks/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/NOTES b/Logtalk/examples/birds/NOTES index 5f1dc558a..ca406e3c6 100644 --- a/Logtalk/examples/birds/NOTES +++ b/Logtalk/examples/birds/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/SCRIPT b/Logtalk/examples/birds/SCRIPT index e7ddfdfa8..b5650c0d5 100644 --- a/Logtalk/examples/birds/SCRIPT +++ b/Logtalk/examples/birds/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/birds/expert.lgt b/Logtalk/examples/birds/expert.lgt index e05788fee..440f2c7b7 100644 --- a/Logtalk/examples/birds/expert.lgt +++ b/Logtalk/examples/birds/expert.lgt @@ -34,7 +34,7 @@ write('Bird identification expert system'), nl, nl, forall( (order::leaf(Bird), check(Bird)), - (nl, write('Possible identification : '), write(Bird), nl)), + (nl, write('Possible identification: '), write(Bird), nl)), nl, write('No (more) candidates found.'). diff --git a/Logtalk/examples/bricks/NOTES b/Logtalk/examples/bricks/NOTES index cd727f2c4..27a7a1c8e 100644 --- a/Logtalk/examples/bricks/NOTES +++ b/Logtalk/examples/bricks/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/bricks/SCRIPT b/Logtalk/examples/bricks/SCRIPT index c3bf24f18..d9b6bc8d3 100644 --- a/Logtalk/examples/bricks/SCRIPT +++ b/Logtalk/examples/bricks/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/NOTES b/Logtalk/examples/classvars/NOTES index c487db8a2..5c4aa71db 100644 --- a/Logtalk/examples/classvars/NOTES +++ b/Logtalk/examples/classvars/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/classvars/SCRIPT b/Logtalk/examples/classvars/SCRIPT index c58bef6a5..ff5e621f1 100644 --- a/Logtalk/examples/classvars/SCRIPT +++ b/Logtalk/examples/classvars/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dcgs/NOTES b/Logtalk/examples/dcgs/NOTES index b82b6fb36..4d58cffe9 100644 --- a/Logtalk/examples/dcgs/NOTES +++ b/Logtalk/examples/dcgs/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dcgs/SCRIPT b/Logtalk/examples/dcgs/SCRIPT index 600205de8..4ccd8f2f9 100644 --- a/Logtalk/examples/dcgs/SCRIPT +++ b/Logtalk/examples/dcgs/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/diamonds/NOTES b/Logtalk/examples/diamonds/NOTES index e6d021e1a..30059ad1c 100644 --- a/Logtalk/examples/diamonds/NOTES +++ b/Logtalk/examples/diamonds/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/diamonds/SCRIPT b/Logtalk/examples/diamonds/SCRIPT index ee29c0c86..02cdbb7ce 100644 --- a/Logtalk/examples/diamonds/SCRIPT +++ b/Logtalk/examples/diamonds/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -12,7 +12,7 @@ Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ... -% first variant of the "diamond problem", defined in the "diamond1" metafile: +% first variant of the "diamond problem", defined in the "diamond1" source file: | ?- d1::m. @@ -20,7 +20,7 @@ Redefinition of method m/0 in object b1 yes -% second variant of the "diamond problem", defined in the "diamond2" metafile: +% second variant of the "diamond problem", defined in the "diamond2" source file: | ?- d2::m. @@ -28,7 +28,7 @@ Redefinition of method m/0 in object c2 yes -% third variant of the "diamond problem", defined in the "diamond3" metafile: +% third variant of the "diamond problem", defined in the "diamond3" source file: | ?- d3::b3_m. diff --git a/Logtalk/examples/diamonds/diamond1.lgt b/Logtalk/examples/diamonds/diamond1.lgt new file mode 100644 index 000000000..2faaa75aa --- /dev/null +++ b/Logtalk/examples/diamonds/diamond1.lgt @@ -0,0 +1,57 @@ +/* +These 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.lgt b/Logtalk/examples/diamonds/diamond2.lgt new file mode 100644 index 000000000..367a442d1 --- /dev/null +++ b/Logtalk/examples/diamonds/diamond2.lgt @@ -0,0 +1,64 @@ +/* +These 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 redefine 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.lgt b/Logtalk/examples/diamonds/diamond3.lgt new file mode 100644 index 000000000..f44a195fc --- /dev/null +++ b/Logtalk/examples/diamonds/diamond3.lgt @@ -0,0 +1,61 @@ +/* +These 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/dynpred/NOTES b/Logtalk/examples/dynpred/NOTES index f0c8c56f5..42cfefede 100644 --- a/Logtalk/examples/dynpred/NOTES +++ b/Logtalk/examples/dynpred/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/dynpred/SCRIPT b/Logtalk/examples/dynpred/SCRIPT index ae8f12d76..2f6981de7 100644 --- a/Logtalk/examples/dynpred/SCRIPT +++ b/Logtalk/examples/dynpred/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/encodings/NOTES b/Logtalk/examples/encodings/NOTES index 6dc89a609..12b971640 100644 --- a/Logtalk/examples/encodings/NOTES +++ b/Logtalk/examples/encodings/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -13,8 +13,23 @@ directive, which is fully based on the directive with the same name found on recent development releases of SWI-Prolog. Currently, this example requires Logtalk to be run with the SWI-Prolog compiler. -The "babel.lgt" source file uses UTF-8 encoding. When browsing its code, -be sure to use a text editor that supports this encoding. In addition, -you may need to configure your text editor to open the source file using -this encoding. If you are using the SWI-Prolog GUI application on Windows, -be sure to select a font which supports Unicode characters. +The "babel.lgt" source file uses UTF-8 encoding. The "latin.lgt" source +file uses ISO-8859-1 (Latin 1) encoding. Be sure to use a text editor that +supports these encodings when opening these files. In addition, you may +need to configure your text editor to open the source file using the +declared encoding. If you are using the SWI-Prolog GUI application on +Windows, be sure to select a font which supports Unicode characters. + +Currently, Logtalk accepts any atom is an argument for the encoding/1 +directive. As, by default, Logtalk automatically generates a XML documenting +file for each compiled entity, the following table is used to set the +encoding of the XML file: + + Logtalk source file XML file + ascii us-ascii + iso_latin_1 iso-8859-1 + unicode_be utf-16 + unicode_le utf-16 + utf8 utf-8 + +Note that the values on the left column are the ones recognized by SWI-Prolog. diff --git a/Logtalk/examples/encodings/SCRIPT b/Logtalk/examples/encodings/SCRIPT index 82e9d64a2..dd1e9f3ce 100644 --- a/Logtalk/examples/encodings/SCRIPT +++ b/Logtalk/examples/encodings/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -44,3 +44,18 @@ Code = zh Text = '你好世界!' Yes + + +% query the table of names: + +| ?- latin::name(Name). + +Name = 'António Simões' ; + +Name = 'Cátia Conceição' ; + +Name = 'João Raínho' ; + +Name = 'Luís Araújo' + +Yes diff --git a/Logtalk/examples/encodings/latin.lgt b/Logtalk/examples/encodings/latin.lgt new file mode 100644 index 000000000..5b3772f60 --- /dev/null +++ b/Logtalk/examples/encodings/latin.lgt @@ -0,0 +1,24 @@ + +:- encoding(iso_latin_1). + + +:- object(latin). + + :- info([ + version is 1.0, + author is 'Paulo Moura', + date is 2005/04/24, + comment is 'Simple test of the encoding/1 directive.']). + + :- public(name/1). + :- mode(name(?atom), zero_or_more). + :- info(name/1, [ + comment is 'Table of person names.', + argnames is ['Name']]). + + name('António Simões'). + name('Cátia Conceição'). + name('João Raínho'). + name('Luís Araújo'). + +:- end_object. diff --git a/Logtalk/examples/encodings/loader.lgt b/Logtalk/examples/encodings/loader.lgt index a827e138c..d332b8ba7 100644 --- a/Logtalk/examples/encodings/loader.lgt +++ b/Logtalk/examples/encodings/loader.lgt @@ -1,4 +1,5 @@ :- initialization( logtalk_load([ - babel])). + babel, + latin])). diff --git a/Logtalk/examples/engines/NOTES b/Logtalk/examples/engines/NOTES index c0d94d9a7..b463b0c6c 100644 --- a/Logtalk/examples/engines/NOTES +++ b/Logtalk/examples/engines/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -10,4 +10,4 @@ To load this example and for sample queries, please see the SCRIPT file. For a description of this example, please see the comments in the -engines.mlgt metafile. +engines.lgt source file. diff --git a/Logtalk/examples/engines/SCRIPT b/Logtalk/examples/engines/SCRIPT index 9a7a7b869..37e45e9c0 100644 --- a/Logtalk/examples/engines/SCRIPT +++ b/Logtalk/examples/engines/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/engines/engines.lgt b/Logtalk/examples/engines/engines.lgt new file mode 100644 index 000000000..73956db75 --- /dev/null +++ b/Logtalk/examples/engines/engines.lgt @@ -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/errors/NOTES b/Logtalk/examples/errors/NOTES index 5a0a9bf2c..08bb16670 100644 --- a/Logtalk/examples/errors/NOTES +++ b/Logtalk/examples/errors/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/errors/SCRIPT b/Logtalk/examples/errors/SCRIPT new file mode 100644 index 000000000..dc4895ca0 --- /dev/null +++ b/Logtalk/examples/errors/SCRIPT @@ -0,0 +1,16 @@ +================================================================= +Logtalk - Object oriented extension to Prolog +Release 2.25.0 + +Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. +================================================================= + + +% The entities on this example are divided in two sets. To load each +% sets of entities, compile and load the corresponding loader files: + +| ?- logtalk_load(errors(warnings_loader)). +... + +| ?- logtalk_load(errors(errors_loader)). +... diff --git a/Logtalk/examples/hello_world/NOTES b/Logtalk/examples/hello_world/NOTES index c2bf62eea..7fa4fc53f 100644 --- a/Logtalk/examples/hello_world/NOTES +++ b/Logtalk/examples/hello_world/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/hello_world/SCRIPT b/Logtalk/examples/hello_world/SCRIPT index 5eaa1507a..8d2f3b111 100644 --- a/Logtalk/examples/hello_world/SCRIPT +++ b/Logtalk/examples/hello_world/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/NOTES b/Logtalk/examples/inheritance/NOTES index f7499b84b..f087232ec 100644 --- a/Logtalk/examples/inheritance/NOTES +++ b/Logtalk/examples/inheritance/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/inheritance/SCRIPT b/Logtalk/examples/inheritance/SCRIPT index c8d35de64..2b0c764dd 100644 --- a/Logtalk/examples/inheritance/SCRIPT +++ b/Logtalk/examples/inheritance/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/NOTES b/Logtalk/examples/instmethods/NOTES index 371ebd9b4..f8ecd9850 100644 --- a/Logtalk/examples/instmethods/NOTES +++ b/Logtalk/examples/instmethods/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/instmethods/SCRIPT b/Logtalk/examples/instmethods/SCRIPT index f2b526a7d..9921f19eb 100644 --- a/Logtalk/examples/instmethods/SCRIPT +++ b/Logtalk/examples/instmethods/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/NOTES b/Logtalk/examples/lo/NOTES index 5cf5b7775..222dc3d03 100644 --- a/Logtalk/examples/lo/NOTES +++ b/Logtalk/examples/lo/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/NOTES b/Logtalk/examples/lo/planner/NOTES index 5d5b0cd59..dd39f6a44 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/planner/SCRIPT b/Logtalk/examples/lo/planner/SCRIPT index 62bb662df..1618c1f86 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/NOTES b/Logtalk/examples/lo/travellers/NOTES index 5d5b0cd59..dd39f6a44 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lo/travellers/SCRIPT b/Logtalk/examples/lo/travellers/SCRIPT index bee2b2e76..6f137536c 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/logic/NOTES b/Logtalk/examples/logic/NOTES index 59a62c3d0..c50c31ee0 100644 --- a/Logtalk/examples/logic/NOTES +++ b/Logtalk/examples/logic/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/logic/SCRIPT b/Logtalk/examples/logic/SCRIPT index 8e5ed15df..e4790425a 100644 --- a/Logtalk/examples/logic/SCRIPT +++ b/Logtalk/examples/logic/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/lpa/NOTES b/Logtalk/examples/lpa/NOTES index b25f8c4ce..aaaec9c99 100644 --- a/Logtalk/examples/lpa/NOTES +++ b/Logtalk/examples/lpa/NOTES @@ -1,17 +1,11 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= - -To load this example and for sample queries, please see the SCRIPT -file. - -This example is an adaptation of a LPA Prolog++ example that is -described in the LPA Prolog++ Reference Manual. This manual can -be downloaded from the LPA web site . Please -consult this reference manual for further informations about this -example. - +This directory contains examples adaptated from the LPA Prolog++ +Reference Manual. This manual can be downloaded from the LPA web +site at . Please consult this reference +manual for further informations about each example. diff --git a/Logtalk/examples/lpa/SCRIPT b/Logtalk/examples/lpa/SCRIPT deleted file mode 100644 index 833442d3b..000000000 --- a/Logtalk/examples/lpa/SCRIPT +++ /dev/null @@ -1,34 +0,0 @@ -================================================================= -Logtalk - Object oriented extension to Prolog -Release 2.24.0 - -Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. -================================================================= - - -% start by loading the necessary library support files (if not -% already loaded): - -| ?- logtalk_load(library(hierarchies_loader)). -... - - -% now you are ready for loading the example: - -| ?- logtalk_load(lpa(loader)). -... - - -| ?- fault::findall. - -Please answer all questions with yes or no. - -The starter turns but the engine doesnt fire? no. -The engine has difficulty starting? yes. -The engine cuts out shortly after starting? yes. - -Location : distributor -Possible Fault: Worn distributor brushes - -No (more) explanations found. -yes. diff --git a/Logtalk/examples/lpa/cylinders.lgt b/Logtalk/examples/lpa/cylinders.lgt deleted file mode 100644 index bf9c7bbd4..000000000 --- a/Logtalk/examples/lpa/cylinders.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(cylinders, - extends(engine)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/distributor.lgt b/Logtalk/examples/lpa/distributor.lgt deleted file mode 100644 index e336f72dc..000000000 --- a/Logtalk/examples/lpa/distributor.lgt +++ /dev/null @@ -1,25 +0,0 @@ - -:- object(distributor, - extends(sparking)). - - - fault(f1001, 'Condensation in the distributor cap'). - fault(f1002, 'Faulty distributor arm'). - fault(f1003, 'Worn distributor brushes'). - - symptom(s1001, 'The starter turns but the engine doesnt fire'). - symptom(s1002, 'The engine has difficulty starting'). - symptom(s1003, 'The engine cuts out shortly after starting'). - symptom(s1004, 'The engine cuts out at speed'). - - effect(f1001, s1001). - effect(f1002, s1001). - effect(f1002, s1004). - effect(f1003, s1002). - effect(f1003, s1003). - - contrary(s1002, s1001). - contrary(s1003, s1001). - - -:- end_object. diff --git a/Logtalk/examples/lpa/electrical.lgt b/Logtalk/examples/lpa/electrical.lgt deleted file mode 100644 index 1ccc35e04..000000000 --- a/Logtalk/examples/lpa/electrical.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(electrical, - extends(fault)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/engine.lgt b/Logtalk/examples/lpa/engine.lgt deleted file mode 100644 index b315433be..000000000 --- a/Logtalk/examples/lpa/engine.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(engine, - extends(mechanical)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/fault.lgt b/Logtalk/examples/lpa/fault.lgt deleted file mode 100644 index f3f61ea09..000000000 --- a/Logtalk/examples/lpa/fault.lgt +++ /dev/null @@ -1,72 +0,0 @@ - -:- object(fault, - imports(proto_hierarchy)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is 'Expert system for automobile fault diagnosis.', - source is 'Example adopted from the LPA Prolog++ documentation.']). - - - :- public(findall/0). - :- mode(findall, one). - - :- private(told_by_user_/2). - :- dynamic(told_by_user_/2). - :- mode(told_by_user_(?nonvar, ?nonvar), zero_or_more). - - :- public(find/1). - :- mode(find(?nonvar), zero_or_more). - - :- private(exhibited/1). - :- mode(exhibited(+nonvar), zero_or_one). - - :- public(contrary/2). - :- mode(contrary(?nonvar, ?nonvar), zero_or_more). - - :- public(fault/2). - :- mode(fault(?nonvar, ?nonvar), zero_or_more). - - :- public(effect/2). - :- mode(effect(?nonvar, ?nonvar), zero_or_more). - - :- public(symptom/2). - :- mode(symptom(?nonvar, ?nonvar), zero_or_more). - - - findall :- - retractall(told_by_user_(_, _)), - write('Please answer all questions with yes or no.'), nl, nl, - forall( - (::descendant(Where), Where::find(Description)), - (nl, write('Location : '), write(Where), nl, - write('Possible Fault: '), write(Description), nl)), - nl, write('No (more) explanations found.'). - - - find(Description) :- - ::fault(Fault, Description), - forall(::effect(Fault, Symptom), exhibited(Symptom)). - - - exhibited(Symptom) :- - told_by_user_(Symptom, Reply), - !, - Reply = yes. - - exhibited(Symptom) :- - ::symptom(Symptom, Description), - write(Description), write('? '), - read(Reply), - asserta(told_by_user_(Symptom, Reply)), - Reply = yes, - forall( - (::contrary(Symptom, Contrary); - ::contrary(Contrary, Symptom)), - asserta(told_by_user_(Contrary, no))). - - -:- end_object. diff --git a/Logtalk/examples/lpa/fuel_system.lgt b/Logtalk/examples/lpa/fuel_system.lgt deleted file mode 100644 index d7c978e0c..000000000 --- a/Logtalk/examples/lpa/fuel_system.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(fuel_system, - extends(fault)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/lights.lgt b/Logtalk/examples/lpa/lights.lgt deleted file mode 100644 index 9f6913ed9..000000000 --- a/Logtalk/examples/lpa/lights.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(lights, - extends(electrical)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/loader.lgt b/Logtalk/examples/lpa/loader.lgt deleted file mode 100644 index 265c9b1ed..000000000 --- a/Logtalk/examples/lpa/loader.lgt +++ /dev/null @@ -1,15 +0,0 @@ - -:- initialization( - logtalk_load([ - fault, - mechanical, - engine, - cylinders, - electrical, - starting, - sparking, - plugs, - distributor, - fuel_system, - lights, - starter_motor])). diff --git a/Logtalk/examples/lpa/mechanical.lgt b/Logtalk/examples/lpa/mechanical.lgt deleted file mode 100644 index 5623ed9d5..000000000 --- a/Logtalk/examples/lpa/mechanical.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(mechanical, - extends(fault)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/plugs.lgt b/Logtalk/examples/lpa/plugs.lgt deleted file mode 100644 index f436480e4..000000000 --- a/Logtalk/examples/lpa/plugs.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(plugs, - extends(sparking)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/sparking.lgt b/Logtalk/examples/lpa/sparking.lgt deleted file mode 100644 index d82463408..000000000 --- a/Logtalk/examples/lpa/sparking.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(sparking, - extends(starting)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/starter_motor.lgt b/Logtalk/examples/lpa/starter_motor.lgt deleted file mode 100644 index fec5e46fd..000000000 --- a/Logtalk/examples/lpa/starter_motor.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(starter_motor, - extends(starting)). - - -:- end_object. diff --git a/Logtalk/examples/lpa/starting.lgt b/Logtalk/examples/lpa/starting.lgt deleted file mode 100644 index 380602a1a..000000000 --- a/Logtalk/examples/lpa/starting.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(starting, - extends(electrical)). - - -:- end_object. diff --git a/Logtalk/examples/metainterpreters/NOTES b/Logtalk/examples/metainterpreters/NOTES index 84e46bc35..169725b3a 100644 --- a/Logtalk/examples/metainterpreters/NOTES +++ b/Logtalk/examples/metainterpreters/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metainterpreters/SCRIPT b/Logtalk/examples/metainterpreters/SCRIPT index 72e792b24..6fa23e4db 100644 --- a/Logtalk/examples/metainterpreters/SCRIPT +++ b/Logtalk/examples/metainterpreters/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/NOTES b/Logtalk/examples/metapredicates/NOTES index 81e733791..fe8f0a318 100644 --- a/Logtalk/examples/metapredicates/NOTES +++ b/Logtalk/examples/metapredicates/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/metapredicates/SCRIPT b/Logtalk/examples/metapredicates/SCRIPT index c32556ce5..1fb3a18d4 100644 --- a/Logtalk/examples/metapredicates/SCRIPT +++ b/Logtalk/examples/metapredicates/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/NOTES b/Logtalk/examples/mi/NOTES index ab3802015..f205c458c 100644 --- a/Logtalk/examples/mi/NOTES +++ b/Logtalk/examples/mi/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/mi/SCRIPT b/Logtalk/examples/mi/SCRIPT index 03d8e3130..6d7d2b813 100644 --- a/Logtalk/examples/mi/SCRIPT +++ b/Logtalk/examples/mi/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/NOTES b/Logtalk/examples/miscellaneous/NOTES index 1f1e1acd2..0836ad816 100644 --- a/Logtalk/examples/miscellaneous/NOTES +++ b/Logtalk/examples/miscellaneous/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/miscellaneous/SCRIPT b/Logtalk/examples/miscellaneous/SCRIPT index 7d1d7206f..9cfec648b 100644 --- a/Logtalk/examples/miscellaneous/SCRIPT +++ b/Logtalk/examples/miscellaneous/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/msglog/NOTES b/Logtalk/examples/msglog/NOTES index 8760381e4..616661081 100644 --- a/Logtalk/examples/msglog/NOTES +++ b/Logtalk/examples/msglog/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/msglog/SCRIPT b/Logtalk/examples/msglog/SCRIPT index f1d33013d..efc729dfd 100644 --- a/Logtalk/examples/msglog/SCRIPT +++ b/Logtalk/examples/msglog/SCRIPT @@ -1,12 +1,19 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= -% start by loading the example: +% start by loading the necessary library support files (if not +% already loaded): + +| ?- logtalk_load(library(types_loader)). +... + + +% now you are ready for loading the example: | ?- logtalk_load(msglog(loader)). ... diff --git a/Logtalk/examples/operators/NOTES b/Logtalk/examples/operators/NOTES index 6eb9fe8ef..80506c949 100644 --- a/Logtalk/examples/operators/NOTES +++ b/Logtalk/examples/operators/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/operators/SCRIPT b/Logtalk/examples/operators/SCRIPT index c12d02694..f3f7d1256 100644 --- a/Logtalk/examples/operators/SCRIPT +++ b/Logtalk/examples/operators/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/NOTES b/Logtalk/examples/parametric/NOTES index 36c381ff6..150b2dbdf 100644 --- a/Logtalk/examples/parametric/NOTES +++ b/Logtalk/examples/parametric/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/parametric/SCRIPT b/Logtalk/examples/parametric/SCRIPT index fbeaeb3af..0b8ba9873 100644 --- a/Logtalk/examples/parametric/SCRIPT +++ b/Logtalk/examples/parametric/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/NOTES b/Logtalk/examples/points/NOTES index a2a834b83..9ace4aa6b 100644 --- a/Logtalk/examples/points/NOTES +++ b/Logtalk/examples/points/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/points/SCRIPT b/Logtalk/examples/points/SCRIPT index a87ef786c..fe54a4721 100644 --- a/Logtalk/examples/points/SCRIPT +++ b/Logtalk/examples/points/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/NOTES b/Logtalk/examples/polygons/NOTES index b03ec839f..56667dcb5 100644 --- a/Logtalk/examples/polygons/NOTES +++ b/Logtalk/examples/polygons/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/polygons/SCRIPT b/Logtalk/examples/polygons/SCRIPT index 893d30a96..3e40e1bef 100644 --- a/Logtalk/examples/polygons/SCRIPT +++ b/Logtalk/examples/polygons/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/NOTES b/Logtalk/examples/profiling/NOTES index 91820c010..b6aff46de 100644 --- a/Logtalk/examples/profiling/NOTES +++ b/Logtalk/examples/profiling/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/profiling/SCRIPT b/Logtalk/examples/profiling/SCRIPT index 16a6cb018..105374c0c 100644 --- a/Logtalk/examples/profiling/SCRIPT +++ b/Logtalk/examples/profiling/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/puzzles/NOTES b/Logtalk/examples/puzzles/NOTES index 7bdd133ef..274de43f6 100644 --- a/Logtalk/examples/puzzles/NOTES +++ b/Logtalk/examples/puzzles/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/puzzles/SCRIPT b/Logtalk/examples/puzzles/SCRIPT index 21cd7d087..1ab0cfdf9 100644 --- a/Logtalk/examples/puzzles/SCRIPT +++ b/Logtalk/examples/puzzles/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/NOTES b/Logtalk/examples/reflection/NOTES index 496e1ca32..b6c12ea80 100644 --- a/Logtalk/examples/reflection/NOTES +++ b/Logtalk/examples/reflection/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/reflection/SCRIPT b/Logtalk/examples/reflection/SCRIPT index 11bacf170..0371c0cdc 100644 --- a/Logtalk/examples/reflection/SCRIPT +++ b/Logtalk/examples/reflection/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/NOTES b/Logtalk/examples/relations/NOTES index 620576b64..3025fb1c1 100644 --- a/Logtalk/examples/relations/NOTES +++ b/Logtalk/examples/relations/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/relations/SCRIPT b/Logtalk/examples/relations/SCRIPT index ab23cce52..20311d596 100644 --- a/Logtalk/examples/relations/SCRIPT +++ b/Logtalk/examples/relations/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/NOTES b/Logtalk/examples/roots/NOTES index 9eef6f7ba..f6c89117b 100644 --- a/Logtalk/examples/roots/NOTES +++ b/Logtalk/examples/roots/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/roots/SCRIPT b/Logtalk/examples/roots/SCRIPT index aba935b84..351f9d812 100644 --- a/Logtalk/examples/roots/SCRIPT +++ b/Logtalk/examples/roots/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/NOTES b/Logtalk/examples/searching/NOTES index 5d1c0ef26..843a56ab9 100644 --- a/Logtalk/examples/searching/NOTES +++ b/Logtalk/examples/searching/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/searching/SCRIPT b/Logtalk/examples/searching/SCRIPT index 18b3b82d6..ad41b89ea 100644 --- a/Logtalk/examples/searching/SCRIPT +++ b/Logtalk/examples/searching/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/NOTES b/Logtalk/examples/shapes/NOTES index b0f5c4ef0..c0c3831a0 100644 --- a/Logtalk/examples/shapes/NOTES +++ b/Logtalk/examples/shapes/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ch/NOTES b/Logtalk/examples/shapes/ch/NOTES index 34e1a0f15..ac5969ff7 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ch/SCRIPT b/Logtalk/examples/shapes/ch/SCRIPT index 13cbd7913..1ed6c2525 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ph/NOTES b/Logtalk/examples/shapes/ph/NOTES index 5d5b0cd59..dd39f6a44 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/shapes/ph/SCRIPT b/Logtalk/examples/shapes/ph/SCRIPT index 1e180ca60..ab55a5ddd 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.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/NOTES b/Logtalk/examples/sicstus/NOTES index 7ef7703b0..fc5513a24 100644 --- a/Logtalk/examples/sicstus/NOTES +++ b/Logtalk/examples/sicstus/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/sicstus/SCRIPT b/Logtalk/examples/sicstus/SCRIPT index c7e8474b2..cbd379311 100644 --- a/Logtalk/examples/sicstus/SCRIPT +++ b/Logtalk/examples/sicstus/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/NOTES b/Logtalk/examples/symdiff/NOTES index 6b1e68ceb..007d3767a 100644 --- a/Logtalk/examples/symdiff/NOTES +++ b/Logtalk/examples/symdiff/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/symdiff/SCRIPT b/Logtalk/examples/symdiff/SCRIPT index 2a8c54a05..1ff51edad 100644 --- a/Logtalk/examples/symdiff/SCRIPT +++ b/Logtalk/examples/symdiff/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/NOTES b/Logtalk/examples/viewpoints/NOTES index f6e64b32c..6a8f17172 100644 --- a/Logtalk/examples/viewpoints/NOTES +++ b/Logtalk/examples/viewpoints/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/examples/viewpoints/SCRIPT b/Logtalk/examples/viewpoints/SCRIPT index 1686e92b3..08139c271 100644 --- a/Logtalk/examples/viewpoints/SCRIPT +++ b/Logtalk/examples/viewpoints/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/libpaths/NOTES b/Logtalk/libpaths/NOTES index e9f281aef..0a323d1e3 100644 --- a/Logtalk/libpaths/NOTES +++ b/Logtalk/libpaths/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -39,6 +39,7 @@ support multifile predicates. Some Prolog compilers which are expected to be compatible with the provided "libpaths.pl" file as is, across operating systems: + * B-Prolog * CIAO * ECLiPSe * GNU-Prolog diff --git a/Logtalk/libpaths/libpaths.pl b/Logtalk/libpaths/libpaths.pl index 14627c5d0..60733ad22 100644 --- a/Logtalk/libpaths/libpaths.pl +++ b/Logtalk/libpaths/libpaths.pl @@ -2,7 +2,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Logtalk - Object oriented extension to Prolog -% Release 2.24.0 +% Release 2.25.0 % % Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. % @@ -28,7 +28,8 @@ assertz(logtalk_library_path(lo_planner, '$LOGTALKUSER/examples/lo/planner/')), assertz(logtalk_library_path(lo_travellers, '$LOGTALKUSER/examples/lo/travellers/')), assertz(logtalk_library_path(logic, '$LOGTALKUSER/examples/logic/')), - assertz(logtalk_library_path(lpa, '$LOGTALKUSER/examples/lpa/')), + assertz(logtalk_library_path(lpa_faults, '$LOGTALKUSER/examples/lpa/faults/')), + assertz(logtalk_library_path(lpa_timetables, '$LOGTALKUSER/examples/lpa/timetables/')), assertz(logtalk_library_path(metainterpreters, '$LOGTALKUSER/examples/metainterpreters/')), assertz(logtalk_library_path(metapredicates, '$LOGTALKUSER/examples/metapredicates/')), assertz(logtalk_library_path(mi, '$LOGTALKUSER/examples/mi/')), diff --git a/Logtalk/library/NOTES b/Logtalk/library/NOTES index ff4381d5a..5d4a2fc12 100644 --- a/Logtalk/library/NOTES +++ b/Logtalk/library/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/SCRIPT b/Logtalk/library/SCRIPT index 1bba10054..266054ba1 100644 --- a/Logtalk/library/SCRIPT +++ b/Logtalk/library/SCRIPT @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/all.notes b/Logtalk/library/all.notes index 86377af6e..8b586bc3c 100644 --- a/Logtalk/library/all.notes +++ b/Logtalk/library/all.notes @@ -1,7 +1,7 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dates.notes b/Logtalk/library/dates.notes index 5cb798752..b6972b80d 100644 --- a/Logtalk/library/dates.notes +++ b/Logtalk/library/dates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/debugging.notes b/Logtalk/library/debugging.notes index eef921c42..4ee558789 100644 --- a/Logtalk/library/debugging.notes +++ b/Logtalk/library/debugging.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/dependents.notes b/Logtalk/library/dependents.notes index 1cff4de71..cf73ce23b 100644 --- a/Logtalk/library/dependents.notes +++ b/Logtalk/library/dependents.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/events.notes b/Logtalk/library/events.notes index bb315f14a..66907465a 100644 --- a/Logtalk/library/events.notes +++ b/Logtalk/library/events.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/experimental/NOTES b/Logtalk/library/experimental/NOTES index 84c4e49a3..0645847b7 100644 --- a/Logtalk/library/experimental/NOTES +++ b/Logtalk/library/experimental/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/hierarchies.notes b/Logtalk/library/hierarchies.notes index 9fe81cfab..fa4ce135b 100644 --- a/Logtalk/library/hierarchies.notes +++ b/Logtalk/library/hierarchies.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/metapredicates.notes b/Logtalk/library/metapredicates.notes index 1bc3a5d78..89bb0a2ac 100644 --- a/Logtalk/library/metapredicates.notes +++ b/Logtalk/library/metapredicates.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/random.notes b/Logtalk/library/random.notes index fc0ecdc5e..3bc9215d6 100644 --- a/Logtalk/library/random.notes +++ b/Logtalk/library/random.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/library/types.notes b/Logtalk/library/types.notes index b8c97abfe..edf83f7f2 100644 --- a/Logtalk/library/types.notes +++ b/Logtalk/library/types.notes @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= diff --git a/Logtalk/manuals/NOTES b/Logtalk/manuals/NOTES index 969128eed..2139804b5 100644 --- a/Logtalk/manuals/NOTES +++ b/Logtalk/manuals/NOTES @@ -1,6 +1,6 @@ ================================================================= Logtalk - Object oriented extension to Prolog -Release 2.24.0 +Release 2.25.0 Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. ================================================================= @@ -8,9 +8,8 @@ Copyright (c) 1998-2005 Paulo Moura. All Rights Reserved. To consult the Logtalk documentation open the file index.html with a web browser. -Starting with version 2.6.0, all the pages conform to the HTML 4.01 -Strict W3C Standard. In a future version, they will also be XHTML 1.0 -ready. You can change the appearance of the pages by changing the -included styles.css cascade style sheet file. Needless to say, the -manual pages look better in recent web browser releases that support -both the HTML 4 and CSS1 web standards. +All manual pages conform to the XHTML 1.0 Strict W3C Standard. You may +change the appearance of the pages by changing the included styles.css +cascade style sheet file. Needless to say, the manual pages look better +in recent web browser releases that support both the XHTML 1.0 and CSS +web standards. diff --git a/Logtalk/manuals/index.html b/Logtalk/manuals/index.html index 3f8a5b67a..5ce1d179c 100644 --- a/Logtalk/manuals/index.html +++ b/Logtalk/manuals/index.html @@ -8,7 +8,7 @@ - Logtalk 2.24.0 Documentation + Logtalk 2.25.0 Documentation @@ -18,7 +18,7 @@   -

Logtalk 2.24.0 Documentation

+

Logtalk 2.25.0 Documentation

  • User Manual

  • @@ -37,7 +37,7 @@ Copyright © Paulo Moura diff --git a/Logtalk/manuals/refman/builtins/abolish_category1.html b/Logtalk/manuals/refman/builtins/abolish_category1.html index 8eeb2cad2..63838b040 100644 --- a/Logtalk/manuals/refman/builtins/abolish_category1.html +++ b/Logtalk/manuals/refman/builtins/abolish_category1.html @@ -57,7 +57,7 @@