Symbolic Logic Backward inference and Forward inference
Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses
Symbolic Logic
Clojure
prolog
アルゴリズム:Algorithms
データベース技術:DataBase Technology
Clojure
Clojure
データ圧縮/セキュリティ:Data compression and security
Clojure
javascript