A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
9th International Symposium on Symbolic Computation in Software Science (SCSS 2021)
2021
Preserved Fulltext
Other Versions
In this paper, we give a brief overview of the rule-based programming system, called PρLog and illustrate its capabilities.
doi:10.35011/risc.21-16
fatcat:jacdxdfb2vepxndpvxwkm6fuo4