From: pat hayes (phayes@ai.uwf.edu)
Date: 06/03/03
> > As promised, please find, attached, the list of built-ins. This is a >> draft, a new version will be available next week with much more details. > >Understood; feel free to answer my questions in that new version >instead of e-mail, if that works better. > >General question: how do you propose to organize built-ins in terms of >input vs. output vs. bi-directional parameters? EG addition and >subtraction can be the same predicate: > sum(3,4,7) true if 3+4=7 > sum(3,4,?x) binds ?x to 7 if unbound > sum(3,?y,7) binds ?y to 4 if unbound Does sum(times(?x,?x),?y,0) sum(times(2,?x), 1, ?y) get ?x bound to -1 ? Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
This archive was generated by hypermail 2.1.4 : 06/03/03 EST