આ ત્રણ તર્ક માળખાઓ કોઈ પણ તર્ક સમસ્યા ઉકેલવા માટે એલ્ગોરિધમ્સ રચવા માટે એકસાથે વપરાય છે.