Similar to F*_(プログラミング言語)
Oz (プログラミング言語)
Oz (programming language)PureScript
PureScriptREBOL
RebolRefal
RefalR言語
R (programming language)SATySFi
Scala
Scala (programming language)Scheme
Scheme (programming language)Standard ML
Standard MLXQuery
XQueryXSL Transformations
XSLTCPL (圏論プログラミング言語)
Mathematica
Wolfram Mathematica自動定理証明
Automated theorem provingDPLLアルゴリズム
DPLL algorithmTPTP
Thousands of Problems for Theorem Proversシークエント計算
Sequent calculus自動推論
Automated reasoningタブローの方法
Method of analytic tableauxデービス・パトナムのアルゴリズム
Davis–Putnam algorithm導出原理
Resolution (logic)反ユニフィケーション
Anti-unificationユニフィケーション
Unification (computer science)Template:Software-stub
Template:Software-stub1by1
3DACE
3DCGツクール
3DXML
3DXML