WWW6 -- Logic Programming Workshop

Benefits

• ease of programming / development time
• incomplete information / constraints
• expert knowledge / deductive databases
• natural language processing
• adaptable high level programs
• multi-agents systems

Applications

• expert systems
• marketing
• intelligent tutorials
• information retrieval
• interactive games

Language constructs

• implicational logic (assumptions)
• objects in logic
• distributed blackboards (Linda-like tuple space)
• active modules
• constraints over (semi) formal domains

Implementations

• BinProlog -- Linda-like tuple space
• Sicstus -- HTML/HTTP support with Logic Objects
• Pillow/Ciao -- Active Modules, High Level Server-based WWW Programming
• Amzi CGI Interface -- Logic-based CGI server programs
• Eclipse Constraint handlers