>From: "Sandro Hawke" <sandro@w3.org> > >> Why use a logic language instead of, say, Java byte code? Java (as >> slow as it is!) would certainly run faster. My guess is that the >> right thing to do is both. Provide a logical formula which constrains >> the behavior of a program, and allow any program to be run which is >> proven (or claimed, in some circumstances) to meet those constraints. >> Trivial programs, like date validation, could probably be handled by >> an automated theorem prover. More complex ones written in a >> conventional language and proven compliant with machine assistance. >> But perhaps now I'm off in never-never land. > >That might be an interesting train of thought. There is nothing that >prevents RDF graphs from including (and\or referencing) programs. You mean, because a URI could refer to some code? Or in some other sense? Pat Hayes -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayesReceived on Wednesday, 10 October 2001 16:52:59 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:47 GMT