Logic Programming - D3FEND

Description

Logic programming is a programming paradigm which is largely based on formal logic.

Technical Details

Framework	MITRE D3FEND
Ontology URI	d3f:LogicProgramming
Local Identifier	LogicProgramming
Publication Status	Exists in ontology only

Relationships

Parent Tactics

D3A-SR Symbolic AI
Model Model

Child Concepts

D3A-PRO Prolog
D3A-LLP Linear Logic Programming
D3A-DAT Datalog
D3A-ASP Answer Set Programming