P$\rho$Log: a system for rule-based programming
Logic in Computer Science
2021-09-07 v2
Abstract
In this paper, we give a brief overview of the rule-based programming system, called PLog and illustrate its capabilities.
Keywords
Cite
@article{arxiv.2108.11699,
title = {P$\rho$Log: a system for rule-based programming},
author = {Besik Dundua},
journal= {arXiv preprint arXiv:2108.11699},
year = {2021}
}
Comments
6 pages, 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021)