What's so good?
Simple syntax and scoping rules
- Facts, Rules, Queries -- same syntax for all
- Few basic types (numeric, symbolic-string, character, list)
- No global or nested name scoping -- name scope is always
a single clause (function)
- No variable declarations necessary
- Easy to learn, unambiguous without loss of generality