The essence of
LIFE for the Semantic Web—a short paper (8 pages) written as a
self-contained non-technical overview putting OSF-constraint logic
(and thus LIFE) in the context of the Semantic Web.
LIFE
Su Doku—An interesting–and
entertaining–illustration of how LIFE's added declarativeness
enables constraint-activated daemons to keep a tight control on
solution searching by detecting any violation at the earliest
possible time, thus automatically yielding a surprisingly focused
solving strategy.