Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
WSML-Rule
- WSML-Rule is an extension of WSML-Flight in the direction of Logic Programming
- WSML-Rule no longer requires safety of rules and allows the use of function symbols
- The only differences between WSML-Rule and WSML-Flight are in the logical expression syntax
- WSML-Rule is both syntactically and semantically layered on top of WSML-Flight
- Each valid WSML-Flight specification is a valid WSML-Rule specification
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.