# Good Cobbler
# Example from https://shs.hal.science/halshs-04148373/document
# Using functional logic http://intrologic.stanford.edu/chapters/chapter_11.html

@prefix : <urn:example:>.

# some x is a good cobbler
_:x :is (:good :Cobbler).

# is there some x which is good at some y
{
    ?x :is (:good ?y).
} =^ {
    :test :is true.
}.
