Unification bug

Status: Beta

Brought to you by: umberchild, zefredz

#4 Unification bug

Milestone: v1.0_alpha

Status: open-accepted

Owner: nobody

Labels: Compiler (4)

Priority: 5

Updated: 2004-02-26

Created: 2003-09-01

Private: No

Unification succeed with null variable in reflexive
predicat like path(X, X).

Frederic Minne - 2003-09-16

status: open --> open-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Frederic Minne - 2003-09-16

status: open-fixed --> open
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Frederic Minne - 2004-02-26

status: open --> open-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: