Linear logic programming is a form of logic programming that uses linear logic, that is, it emphasizes the use of formulas as resources.

References

1. Cosmo, R. and Miller D. (2019, May 24). Linear logic. Stanford Encyclopedia of Philosophy. Link
2. Linear logic programming. (2023, May 16). In Wikipedia. Link