资料来源 : Free On-Line Dictionary of Computing

CLP(R)
     
        Constraint Logic Programming (Real).
     
        A {constraint logic programming} language with {real}
        arithmetic {constraint}s developed by Joxan Jaffar
         of {IBM} {TJWRC} and S. Michaylov of
        {Monash University} in 1986.
     
        The implementation contains a {byte-code compiler} and a
        built-in constraint solver which deals with linear arithmetic
        and contains a mechanism for delaying {nonlinear} constraints
        until they become linear.  Since CLP(R) is a superse of
        {PROLOG}, the system is also usable as a general-purpose
        {logic programming} language.  There are also powerful
        facilities for {meta programming} with constraints.
     
        Significant CLP(R) applications have been published in diverse
        areas such as molecular biology, finance and physical
        modelling.
     
        Version 1.2 for {Unix}, {MS-DOS} and {OS/2} is available from
        the authors.  It is free for academic and research purposes.
     
        E-mail: Roland Yap .
     
        ["The CLP(R) Language and System", J. Jaffar et al, IBM RR
        RC16292 (#72336) (Nov 1990)].
     
        (1992-10-14)