Bap_knowledge
The Knowledge Representation Library.
A library for building knowledge representation and reasoning systems.
type 'a knowledge
a knowledge dependent computation.
module Knowledge : sig ... end