タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

LanguageとLogicに関するTaKUMAのブックマーク (1)

  • LiLFeS

    LiLFeSは、型付き素性構造 を用いたプログラミング言語です。特徴としては、 素性構造が組み込みデータとして使える。--- Prolog のような論理型言語 で,素性構造を組み込みデータ構造とするプログラムを簡単に書くことができ ます。 処理が高速。--- 処理が重くなりがちな素性構造の「単一化」を高速に処理 することができます。 強力なデータベース機能を持つ。--- 素性構造をキーとするデータベースを 利用することができます。 C++言語用のライブラリを提供。--- 型付き素性構造を扱うプログラムを C++ 言語で簡単に実装することができます。 などが挙げられます。LiLFeSが提供するC++言語用の素性構造ライブラリを用いて、C++言語では記述しにくい「素性構造」や「単一化」を 多方面で活用できるようになっています。 LiLFeSの機能についてのより詳しい解説はこちらをご覧ください。

  • 1