છેલ્લા સદીના 80 માં બનાવેલ છે, તે પ્રોગ્રામિંગ અને મૂળભૂત જ્ઞાન પર આધારિત છે બુલિયન બીજગણિત તર્ક.