From: naudts g. <nau...@ya...> - 2005-02-25 08:34:38
|
Hallo, I've made a proposal for introducing procedures into logic programming using Notation3 as an example. The proposal is in attachment. My goal is to make logic programming more user friendly and to counter the combinatorial explosion. A demo can be found on: http://eulermoz.sourceforge.net/eulermoz/rdftest/ Greetings,Guido ===== Guido Naudts Lic. zoologie Ir.informatica Adviseur Department of Justice Secretarisdreef 5 2288 Bouwel Belgium __________________________________ Do you Yahoo!? Take Yahoo! Mail with you! Get it on your mobile phone. http://mobile.yahoo.com/maildemo |