Warsaw University of Technology project for Basics of AI course
Syntax of knowledge base:
& -> and
=> -> implies
- -> negation
; -> separates sentences
A sentence without '&' or '=>' is a fact
Example:
A & -B => C; -B;
A and not B imply C. Not B is a fact.