view jamendo/sparql-archived/rdf_dump.pl @ 27:d95e683fbd35 tip

Enable CORS on urispace redirects as well
author Chris Cannam
date Tue, 20 Feb 2018 14:52:02 +0000
parents df9685986338
children
line wrap: on
line source
:- module(rdf_dump,[rdf_dump/1,rdf_dump/0]).

/**
 * A module providing a way to dump all available 
 * RDF information, through p2r_entailement
 */

:- use_module(library(rdf_write)).
:- use_module(p2r_entailment).

rdf_dump :-
	rdf_dump('rdf_dump.rdf').

rdf_dump(File) :-
	open(File,write,Id,[]),
	bagof(rdf(A,B,C),p2r_entailment:rdf(A,B,C),Bag),
	rdf_write_xml(Id,Bag).