Explore projects

.

Abstract Machine for Bottom-Up Evaluation in Deductive Databases with the Push Method

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html