logic Directory Reference

Files
file	config.hpp [code]
file	exception.hpp [code]
file	predicate_fact.hpp [code]
file	predicate_fact_abstract.hpp [code]
file	query_fact.hpp [code]
file	triple_to_fact.hpp [code]