:- style_check(-discontiguous).
:- style_check(-singleton).
:- multifile(exopred/3).
:- multifile(implies/3).
:- multifile(pfx/2).
:- multifile(pred/1).
:- multifile(prfstep/8).
:- multifile(scope/1).
:- multifile(scount/1).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#mu>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#pi>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/fl-rules#sigma>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#biconditional>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#conditional>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#reflexive>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#relabel>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#tactic>'/2).
:- multifile('<http://eulersharp.sourceforge.net/2003/03swap/log-rules#transaction>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>'/2).
:- multifile('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'/2).
:- multifile('<http://www.w3.org/2000/10/swap/log#implies>'/2).
:- multifile('<http://www.w3.org/2000/10/swap/log#outputString>'/2).
:- multifile('<http://www.w3.org/2002/07/owl#sameAs>'/2).
flag('no-skolem', 'http://eulersharp.sourceforge.net/.well-known/genid/f_tbF3Wko2Fwb2lr3K6Wwx_8WlA#').
scope('<http://eulersharp.sourceforge.net/2007/07test/literals.ttl>').
pfx('xsd:',
								   '<http://www.w3.org/2001/XMLSchema#>').
pfx(:, '<http://example.org/try#>').
:- dynamic('<http://example.org/try#p>'/2).
:- multifile('<http://example.org/try#p>'/2).
pred('<http://example.org/try#p>').
'<http://example.org/try#p>'('<http://example.org/try#s>', 11).
'<http://example.org/try#p>'('<http://example.org/try#s>', 22).
'<http://example.org/try#p>'('<http://example.org/try#s>', 33).
'<http://example.org/try#p>'('<http://example.org/try#s>', 4.4).
'<http://example.org/try#p>'('<http://example.org/try#s>', 5.5).
'<http://example.org/try#p>'('<http://example.org/try#s>', 6.6).
'<http://example.org/try#p>'('<http://example.org/try#s>', 0.77).
'<http://example.org/try#p>'('<http://example.org/try#s>', true).
'<http://example.org/try#p>'('<http://example.org/try#s>', false).
'<http://example.org/try#p>'('<http://example.org/try#s>', literal(abc, type('<http://www.w3.org/2001/XMLSchema#string>'))).
scount(10).
end_of_file.