Changeset 4415

Show
Ignore:
Timestamp:
08/10/08 05:08:59 (5 months ago)
Author:
pmoura
Message:

Added a new set of examples, "constraints", illustrating how to use the Constraint Domain Solver libraries available with B-Prolog, GNU Prolog, SWI-Prolog, and YAP.

Location:
trunk
Files:
25 added
3 modified

Legend:

Unmodified
Added
Removed

  • trunk/examples/NOTES.txt

    r4411 r4415  
    7474    illustrates how to use events to avoid breaking object encapsulation 
    7575 
     76classvars 
     77    example of implementation of class variables 
     78    (as found in Smalltalk; i.e. shared instance variables) 
     79 
    7680complements 
    7781    example of using a category to explicitly complement an existing  
    7882    object 
    7983 
    80 classvars 
    81     example of implementation of class variables 
    82     (as found in Smalltalk; i.e. shared instance variables) 
     84constraints 
     85    several exampels of using constraints within objects ans categories 
     86    when using back-end Prolog compilers bundled with constraint domain  
     87    solvers 
    8388 
    8489dcgs 

  • trunk/libpaths/libpaths.pl

    r4411 r4415  
    2828     assertz(logtalk_library_path(bricks, examples('bricks/'))), 
    2929     assertz(logtalk_library_path(buffer, threads('buffer/'))), 
     30     assertz(logtalk_library_path(classvars, examples('classvars/'))), 
     31     assertz(logtalk_library_path(clp_bp, constraints('bp/'))), 
     32     assertz(logtalk_library_path(clp_gprolog, constraints('gprolog/'))), 
     33     assertz(logtalk_library_path(clp_swipl, constraints('swipl/'))), 
     34     assertz(logtalk_library_path(clp_yap, constraints('yap/'))), 
    3035     assertz(logtalk_library_path(complements, examples('complements/'))), 
    31      assertz(logtalk_library_path(classvars, examples('classvars/'))), 
     36     assertz(logtalk_library_path(constraints, examples('constraints/'))), 
    3237     assertz(logtalk_library_path(dcgs, examples('dcgs/'))), 
    3338     assertz(logtalk_library_path(debug_hooks, examples('debug_hooks/'))), 

  • trunk/RELEASE_NOTES.txt

    r4414 r4415  
    2222    Updated the GNU Prolog config file to allow Logtalk to recognise as  
    2323    built-in predicates the finite domain solver built-in predicates. 
     24 
     25    Added a new set of examples, "constraints", illustrating how to use the  
     26    Constraint Domain Solver libraries available with B-Prolog, GNU Prolog,  
     27    SWI-Prolog, and YAP. 
    2428 
    2529