Changeset 4422

Show
Ignore:
Timestamp:
08/12/08 10:12:00 (5 months ago)
Author:
pmoura
Message:

Updated the GNU Prolog constraint examples.

Location:
trunk
Files:
1 added
6 modified

Legend:

Unmodified
Added
Removed

  • trunk/examples/constraints/gprolog/alpha.lgt

    r4415 r4422  
    11 
    2 % code adapted from one of the examples distributed with GNU Prolog 
     2% code adapted to Logtalk by Paulo Moura from one of the examples distributed  
     3% with GNU Prolog 1.3.0 (August 2008) 
    34 
    45/*-------------------------------------------------------------------------*/ 

  • trunk/examples/constraints/gprolog/loader.lgt

    r4415 r4422  
    11 
    22:- initialization( 
    3     logtalk_load(alpha)). 
     3    logtalk_load([alpha, donald])). 

  • trunk/examples/constraints/gprolog/NOTES.txt

    r4415 r4422  
    1212To load this example and for sample queries, please see the SCRIPT.txt file. 
    1313 
    14 This folder contains a simple example illustrating how to use the Finite  
    15 Domain Solver included with GNU Prolog with Logtalk. 
     14This folder contains two simple examples illustrating how to use the Finite  
     15Domain Solver included with GNU Prolog with Logtalk. These examples are  
     16adapted, with permission from the original author, Daniel Diaz, from the GNU  
     17Prolog 1.3.0 distribution. 

  • trunk/examples/constraints/gprolog/SCRIPT.txt

    r4415 r4422  
    1111 
    1212% loading the example runs an initialization query that solves an  
    13 % alphacipher puzzle: 
     13% alphacipher puzzle and an crypt-arithmetic puzzle: 
    1414 
    1515| ?- logtalk_load(clp_gprolog(loader)). 

  • trunk/examples/searching/NOTES.txt

    r4411 r4422  
    1717file. 
    1818 
    19 Some of the code in this folder is adopted, with permission, from the book  
     19Some of the code in this folder is adapted, with permission, from the book  
    2020"Prolog Programming for Artificial Intelligence" by Ivan Bratko. 
    2121 

  • trunk/RELEASE_NOTES.txt

    r4418 r4422  
    2828    Added a new set of examples, "constraints", illustrating how to use the  
    2929    Constraint Domain Solver libraries available with B-Prolog, GNU Prolog,  
    30     SWI-Prolog, and YAP. Thanks to Markus Triska for his help with the CLP(FD) 
    31     examples for SWI-Prolog and YAP. 
     30    SWI-Prolog, and YAP. Thanks to Markus Triska for his help with the YAP  
     31    and SWI-Prolog CLP(FD) examples. 
    3232 
    3333