Datalog

Datalogとは

論理プログラミング言語の一種で、事実と規則から新しい関係を導出するために使われる

他の言語での表記と説明

한국어Datalog

논리 규칙과 사실을 이용해 데이터베이스 질의를 표현하는 선언형 프로그래밍 언어

EnglishDatalog

Declarative logic programming language that derives new facts from stored facts and formal rules

関連用語

• TLA+分散システムや並行システムの設計と検証のために用いられる、数学に基づいた形式仕様記述言語。
• Lean形式化定理証明支援系Leanで数学的主張を機械検証できる形に記述すること
• 自動推論チェック形式的手法を使い、システムの性質やポリシー違反を数学的に検査する技術
• 自動推論数学的論理を用いて、特定の声明やプログラムの動作が正しいかどうかを厳密に検証する技術。
• 決定的ゲート同じ入力に常に同じ判定を返す、ルールベースの制御点