;;; -*- Mode: LISP; Package: GTRE-EXAMPLE; Syntax: Common-lisp; -*-
;;;
;;; *******************************************************
;;;
;;; PORTABLE AI LAB - EPFL
;;;
;;; *******************************************************
;;;
;;; Filename:   new-example.cl
;;; Short Desc: Template for new TMS examples
;;; Version:    1.0
;;; Status:     template
;;; Last Mod:   15.9.92
;;; Authors:    FFA and DTA
;;;
;;;


;;; =======================================================================
;;; PACKAGE DECLARATIONS
;;; =======================================================================

(in-package :gtre-example)

(import '(pail-lib::tre-example
	  gtre::rule
	  gtre::assert!
	  gtre::rassert!
	  gtre::retract!
	  gtre::rretract!
	  gtre::contradiction
	  gtre::GOD
	  gtre::USER
	  ))

;;; =======================================================================
;;; TMS Example
;;; =======================================================================

(let ((new-example (make-instance 'tre-example
		     ;;rules in JTRE syntax
		     :rule-set '()
		     
		     ;; assertions in JTRE syntax
		     :assertions '()
		     
		     :contradiction '()

		     :lisp-code '())))

  (pail-lib::put-pool pail-lib:*pail-pool* new-example :name "NEW EXAMPLE"))



;;; =======================================================================
;;; END OF FILE
;;; =======================================================================
