Package aima.core.logic.fol.kb

Class Summary

Class	Description
FOLKnowledgeBase	A First Order Logic (FOL) Knowledge Base.
FOLKnowledgeBaseFactory