%-------------------------------------------------------------------------%
%
% Licensed to the Apache Software Foundation (ASF) under one or more
% contributor license agreements.  See the NOTICE file distributed with
% this work for additional information regarding copyright ownership.
% The ASF licenses this file to You under the Apache License, Version 2.0
% (the "License"); you may not use this file except in compliance with
% the License.  You may obtain a copy of the License at
%
%      http://www.apache.org/licenses/LICENSE-2.0
%
% Unless required by applicable law or agreed to in writing, software
% distributed under the License is distributed on an "AS IS" BASIS,
% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
% See the License for the specific language governing permissions and
% limitations under the License.
%
%-------------------------------------------------------------------------%
:- module main.

:- interface.
:- import_module io.

:- pred main(io::di, io::uo) is det.

:- implementation.
:- import_module list.
:- import_module graph.
:- import_module rdf.
:- import_module rdfs.
:- import_module solutions.

main(!IO) :-
        G = [ { "A", rdf("type"), "C" }, { "P", rdfs("range"), "C" } ],
	solutions((pred(X::out) is nondet :- rdfs.property(G, S, P, O), X = { S, P, O }), Xs),
        io.write(Xs, !IO),
	io.nl(!IO).