Evaluation of logicas a knowledge representation method
no guidance on how to develop specific representations
simple sentences may need very complex forms (...low readability...)
it is computationally demanding
it is a standard reference in KR
- it provides the foundations of Logic Programming