Re: :axioms (single-valued r) not work

No one help me?

2007/3/20, hui wangh <[email protected]>:
>
> hello everyone !
> I try to use single-valued with relation, but it not work. powerloom
> version is 3.2.11
> this is my code ,between --start-- and --end--
>
> --start--
> PL-USER |= (defconcept person)
>
> |c|PERSON
>
> PL-USER |= (defrelation age ((?p person) ?y) :axioms (single-valued age))
>
> |r|AGE
>
> PL-USER |= (assert (person p1))
>
> |P|(PERSON P1)
>
> PL-USER |= (assert (age p1 2))
>
> |P|(AGE P1 2)
>
> PL-USER |= (assert (age p1 4))
>
> |P|(AGE P1 4)
>
> PL-USER |= (retrieve all (age ?x ?y))
>
> There are 2 solutions:
>   #1: ?X=P1, ?Y=4
>   #2: ?X=P1, ?Y=2
>
> --end--
>
> Any wrong here? what should I do?
>

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum