コンピュータ アニメーションを行う人として、次のシナリオは Prolog またはその他の論理プログラミング言語でもっともらしいものです。
3D モデルの犬のシーンを作成し、完全なキャラクターの物理とコントロールを備えたリグを使用して、犬の環境を作成したとします。ここで、シーン内のすべてのオブジェクトと物理学のすべての変数とアルゴリズムを、Prolog (または任意の言語) の Atoms とルールとして含めるとします。ここで、私の犬が私の環境のポイント A からポイント B に移動するという目標を与えたとしましょう。すべてのデータを考慮に入れた論理プログラミングは、点 a から点 b への歩行をアニメートしますか?アニメーターとして、私は犬の散歩をアニメートしたことはなく、犬が歩く必要があるすべての情報と武道を提供しただけでしたか?
私はアニメーションを扱っており、Prolog でプログラミングしています。
Prolog はチューリング完全言語であるため、プログラム可能なものはすべて Prolog でプログラムできます。
しかし....
あなたの質問は、あなたが「完全なキャラクターの物理学と制御」を持っていることを前提としています。つまり、犬の心理生理学的モデルを意味します。犬の筋肉、神経系、脳の完全なモデルが必要です。それは実際には不可能です (1 つは、犬の脳の十分なモデルがなく、おそらく犬の運動学に関する十分な知識がないことです)。
さて、あなたが「歩行サイクルを与えて、モーションを生成したい」という意味であれば、はい、それはかなり実行可能です. Cogbot ( http://code.google.com/p/opensim4opencog/ ) は、SWI-Prolog を使用して、OpenSim 仮想世界システムで二足歩行のためにこれを行います。