翻訳と辞書 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 mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 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.