我々は制約に基づくオブジェクト指向知識表現システムFREEDOMを開発している。FREEDOMはオブジェクト指向を基本にその属性値や構成要素などに関する制約記述を可能とし,制約充足に基づく推論機能を有するシステムで,設計型問題における対象モデル表現を目的に開発を始めた。 そしてその第一段階として逐次推論マシンPSI上にESPをいてプロトタイプFREEDOM/S0を作成した。本報告では制約論理プログラミングとオブジェクト間の制約伝播によるFREEDOM/S0の制約充足方式について述べる。