Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /*
- :- mode fully_det rdf_to_prolog_io(+,+,+,-).
- rdf_to_prolog_io(DB,o,S,Sx):-any_to_prolog(DB,S,Sx).
- rdf_to_prolog_io(_ ,i,S,S):-ground(S).
- rdf_to_prolog_io(DB,i,S,Sx):-any_to_prolog(DB,S,Sx).
- */
- rdf_to_prolog_io(DB,o,S,Sx):-!,must(any_to_prolog(DB,S,Sx)),!.
- rdf_to_prolog_io(_,i,S,Sx):-ground(S),!,must(S=Sx).
- rdf_to_prolog_io(DB,i,S,Sx):-must(notrace(any_to_prolog(DB,S,Sx))),!.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
