# Test the log:includes function

@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix daml:  <http://www.daml.org/2000/10/daml-ont#> .
@prefix dpo:  <http://www.daml.org/2001/03/daml+oil#> .
@prefix ex:   <http://www.daml.org/2000/10/daml-ex#> .
@prefix log:  <http://www.w3.org/2000/10/swap/log#> .

@prefix : <foo#>.  # Local stuff

# Usage:   cwm t12.n3 -think
#
# Output should conclude all test* a :success and no failures.
#


@forAll :d, :x, :y, :F, :G.

#-----------------------------------
#
#  This illustrates the inabilaty of cwm to do backward chaining.
#  It can't find a constant to start with on the left hand side.
#

{ :d log:semantics :F .
  :F  log:includes :G } log:implies  {  :doc :says :G }. 

{ <t10a.n3> :says { :theSky :is :blue } } log:implies {test_SURPRISE a :success}.


# Not to mention:
# { :d log:signedBy :k. :d log:says :F } log:means { :k log:guarantees :F }.


#ends