Changeset 4415 for trunk/libpaths

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.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • 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/'))),