package bap-knowledge

  1. Overview
  2. Docs

The Knowledge Representation Library.

A library for building knowledge representation and reasoning systems.

type 'a knowledge

a knowledge dependent computation.

module Knowledge : sig ... end

The Knowledge Representation Library.