D3FEND
D3FEND Navigator
/
Logic Programming
/ Datalog
Datalog
ID:
D3A-DAT |
Type:
Technique |
Ontology:
d3f:Datalog
Unpublished
Description
Relationships
Related Techniques
Description
Datalog is a declarative logic programming language that is a syntactically a subset of Prolog.
Technical Details
Framework
MITRE D3FEND
Ontology URI
d3f:Datalog
Local Identifier
Datalog
Publication Status
Exists in ontology only
Relationships
Parent Tactics
D3A-LP
Logic Programming
Model
Model
Related Techniques
D3A-PRO
Prolog
(Unpublished)
D3A-LLP
Linear Logic Programming
(Unpublished)
D3A-ASP
Answer Set Programming
(Unpublished)