Any time I try to look up material on predicate logic or the other propositional formal logics, just about anything I find rapidly devolves into a cryptic and difficult to read notation involving symbols I've never seen anywhere else. It's frustrating, but before I whine or complain about it too hard ... I remember that I've learned harder. It's just that I also know that it can be a long while, and a lot of hard work before you can begin to read a new syntax without having to yank up a cheat sheet every other term used. *ears flat pout*
is(lua,syntax).
is(datalog,syntax).
is(idea,valid) :- can(cerolas,implement,idea), can(cerolas, combine, syntax).
has(datalog,promise) :- is(idea,valid).
? is(cerolas,sane).
?...
[
Continued ... ]