Added pl_fc_entails(), PropositionalDefiniteKnowledgeBase DataType, and clauses_with_premise() to list of functions to be exported from the aimajulia module.
Added pl_fc_entails(), PropositionalDefiniteKnowledgeBase DataType, and clauses_with_premise() to list of functions to be exported from the aimajulia module.

mikhail-j/aima-julia,aimacode/aima-julia