Similar to Planner
自動計画
Automated planning and scheduling
STRIPS
Stanford Research Institute Problem Solver
自動推論
Automated reasoning
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
論理プログラミング
Logic programming
Logic Theorist
Logic Theorist制約論理プログラミング言語
並行制約プログラミング言語
▲1 trends並行論理プログラミング言語
Constraint Handling Rules
Constraint Handling RulesKL1
KL1
Oz (プログラミング言語)
Oz (programming language)PARLOG
ParlogProgram Composition Notation
Program Composition Notation
Prolog
Prolog
Strand
Strand (programming language)
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
CICS
CICSCommunicating Sequential Processes
Communicating sequential processes
DPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)PlusCal
PlusCalTLA+
TLA+