|
Logic and the Internet
|
|
Computational Logic and the Internet
Compulog Net is actively promoting the application of computational logic for internet and intranet programming, including the use of logic and constraint logic programming for information management on the WWW. Recent network activities have included workshops, seminars and tutorials on computational logic and the internet, as well as the promotion of new tools and products supporting internet programming with CL. For more information and an overview of recent and forthcoming activities, see our Internet and WWW Programming Page. To announce activities and events in this area, please contact webmaster@clip.dia.fi.upm.es. If you would like to discuss cooperation with the network on any aspect of internet and WWW programming, please write to David.Pearce@dfki.de.
|
|
Other Internet and WWW Resources
Compulog Net's internet resources, including a large, dedicated WWW server and good connectivity, mean that the network can in many cases host WWW-pages, software, demos, libraries and other materials developed at member node sites. Even European-wide replication on other servers may be possible. Nodes and members who would like to enhance the usability and visibility of their WWW-based products and services in this way are invited to contact Compulog.Net@compulog.org with suggestions.
|
Compulog Net at KMi |
Compulog Net Main Site |
KMi Home Page
|
|