comp.lang.prolog
thread index level 2
- Re: Unifying with partially ground terms without unifying with completely unground terms? Bart Demoen (10/21/04)
- Re: Unifying with partially ground terms without unifying with completely unground terms? Djame Seddah (10/22/04)