_ _ _ _ _ _ _ _ _ _ _ _ _
An interpretation _I satisfies a sentence in the table language if and only if each entry in the table designates the value of the function designated by the function constant in the upper-left corner applied to the objects designated by the corresponding row and column labels. -Genesereth & Nilsson, "Logical foundations of Artificial Intelligence"
_ _ _ _ _ _ _ _ _ _ _ _ _
.--. |o_o | |:_/ | // \ \ (| | ) /'\_ _/`\ \___)=(___/
cd -