PLog: a system for rule-based programming
arXiv:2108.11699 · doi:10.35011/risc.21-16
Abstract
In this paper, we give a brief overview of the rule-based programming system, called PLog and illustrate its capabilities.
arXiv comment6 pages, 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021)