The above discussion can be expressed mathematically using the quantum mechanical formulation of spin.
In 1972, logic programming and Prolog were developed thus allowing computer programs to be expressed as mathematical logic.
Antonyms
