src/wam/compiler/8-ui.lisp @ f1ef8f905a1d
Split functor cells into separate functor and arity cells This lets us keep everything we need for unification right in the contiguous main store array. It also makes GC a bit easier to deal with, because all the references to things outside the WAM are kept in basically one place.
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Sat, 16 Jul 2016 01:34:04 +0000 |
| parents | c4dd0b6c3a91 |
| children | 6c90a65137d9 |
(in-package #:bones.wam) ;;;; ,-. . ,-_/ . ;;;; | | ,-. ,-. ,-. ' | ,-. |- ,-. ,-. ," ,-. ,-. ,-. ;;;; | | . `-. |-' | .^ | | | | |-' | |- ,-| | |-' ;;;; `--^-' `-' `-' ' `--' ' ' `' `-' ' | `-^ `-' `-' ;;;; ' ;;; The final phase wraps everything else up into a sane UI. (defun* compile-query ((wam wam) (query list)) "Compile `query` into the query section of the WAM's code store. `query` should be a list of goal terms. Returns the permanent variables. " (multiple-value-bind (instructions permanent-variables) (precompile-query query) (optimize-instructions instructions) (render-query wam instructions) permanent-variables)) (defun* compile-rules ((wam wam) (rules list)) "Compile `rules` into the WAM's code store. Each rule in `rules` should be a clause consisting of a head term and zero or more body terms. A rule with no body is called a fact. " (multiple-value-bind (instructions functor arity) (precompile-rules rules) (optimize-instructions instructions) (render-rules wam functor arity instructions)))