Pro Logic Systems