Description
Linear logic programming is a form of logic programming that uses linear logic, that is, it emphasizes the use of formulas as resources.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:LinearLogicProgramming |
| Local Identifier | LinearLogicProgramming |
| Publication Status | Exists in ontology only |