src/gdl.lisp @ db764ac2697b

Wrap up the fluxplayer based grounding
author Steve Losh <steve@stevelosh.com>
date Tue, 27 Sep 2016 12:53:16 +0000
parents 167ffd6a7a6a
children d21ec254ff4e
(in-package #:scully.gdl)

(defun read-gdl (filename)
  (let ((*package* (find-package :ggp-rules)))
    (with-open-file (stream filename)
      (loop
        :with done = (gensym)
        :for form = (read stream nil done)
        :while (not (eq form done))
        :collect form))))

(defun load-rules (database rules)
  (push-logic-frame-with database
    (mapc (lambda (rule)
            (if (and (consp rule)
                     (eq (car rule) 'ggp-rules::<=))
              (apply #'invoke-rule database (cdr rule))
              (invoke-fact database rule)))
          rules)))