File "lib/rdf_mt/graph_properties.pl"[download]

in pack:	rdf-mt
Prolog module:	graph_properties
size:	5061

Recent changes

13 years ago	Jan Wielemaker	Optimization
13 years ago	Jan Wielemaker	Optimize by using length
13 years ago	Jan Wielemaker	Fixed subgraph/2
13 years ago	Jan Wielemaker	Define basic RDF properties
13 years ago	Jan Wielemaker	Added graph_properties.pl

This file requires

• From the Prolog library
  • library(lists) resolved by
    • lists.pl: member/2, append/3, permutation/2
  • library(apply) resolved by
    • apply.pl: partition/4
  • library(terms) resolved by
    • terms.pl: variant/2
  • library(pairs) resolved by
    • pairs.pl could not find proof of dependency
  • library(ordsets) resolved by
    • ordsets.pl: ord_subtract/3, ord_subset/2

Exported predicates

• empty_graph/1
• ground_graph/1
• is_instance_of_graph/2
• is_proper_instance_of_graph/2
• is_proper_subgraph/2
• is_subgraph/2
• isomorphic_graphs/2
• lean_graph/1
• simply_entails/2

Required predicates

• append/3 from library(lists)
• member/2 from library(lists)
• ord_subset/2 from library(ordsets)
• ord_subtract/3 from library(ordsets)
• partition/4 from library(apply)
• permutation/2 from library(lists)
• variant/2 from library(terms)