[Javaowl-commit] reasoner/design AL-Reasoner.scm,1.1,1.2

[Elmer G. <ega...@us...>]

Update of /cvsroot/javaowl/reasoner/design
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25198

Modified Files:
	AL-Reasoner.scm 
Log Message:
Fixed apply-concept was adding  ($TOP instance) each  time.


Index: AL-Reasoner.scm
===================================================================
RCS file: /cvsroot/javaowl/reasoner/design/AL-Reasoner.scm,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** AL-Reasoner.scm	7 Aug 2004 04:06:31 -0000	1.1
--- AL-Reasoner.scm	9 Aug 2004 18:29:58 -0000	1.2
***************
*** 162,166 ****
           (lambda (concept instance r-abox)
             (if (not (eq? concept '$TOP))
!                (cons `($TOP ,instance) r-abox)
                 r-abox)))
         
--- 162,169 ----
           (lambda (concept instance r-abox)
             (if (not (eq? concept '$TOP))
!                (let ((term `($TOP ,instance)))
!                  (if (member term r-abox)
!                      r-abox
!                      (cons term r-abox)))
                 r-abox)))