翻訳と辞書
Words near each other
・ clos
・ clos network
・ closed set
・ closed term
・ closed-box testing
・ closure
・ closure conversion
・ clover
・ clover key
・ clp
clp(r)
・ clp(sigma*)
・ clp*
・ clr
・ cltl1
・ cltl2
・ clu
・ clu2c
・ cluster
・ cluster 86


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

clp(r) : FOLDOC
CLP(R)
Constraint Logic Programming (Real) A constraint logic programming language with real arithmetic constraints 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 superset 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) Langu


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.