RGB stands for the red, green and blue layers of the semantic web layer cake
i.e. linked data (red), unifying logic (green) and pragmatic proof (blue).


o Proof construction using the proof vocabulary
o Proof without @ keywords and without bindings

o Cwm Built-in functions
o Logic Framework Extension builtins
o RIF Datatypes and Built-Ins
o Prolog builtins

o Turtle without @ keywords
o Notation 3 graph literals