অকাট্য যুক্তিভিত্তিক প্রোগ্রামিংয়ের তিনটি উপাদান রয়েছে, formula_1 যেখানে:
সাধারণত যৌক্তিক প্রোগ্রাম P তে অকাট্য বিধেয়সমূহকে নির্দেশ করে এমন কোন শীর্ষকবিশিষ্ট বাক্যাংশ থাকে না (সাধারণতা হারানো ব্যতিরেকেই এই সীমাবদ্ধতা প্রদান করা যেতে পারে)। বাস্তবে অনেক সময়, IC তে অবস্থিত integrity constraintsগুলো প্রায় অস্বীকার আকারে সীমাবদ্ধ থাকে অর্থাৎ নিম্নোক্ত আকারে বাক্যাংশগুলো থাকে:

এসব সীমাবদ্ধতা বলতে বুঝায় যে সকল A1...,An একই সঙ্গে সত্য হতে পারে না এবং একই সময়ে সকল B1...,Bm মিথ্যা হতে পারে না।
বাস্তবায়ন এবং ব্যবস্থা
উদাহরণ ৩
উদাহরণ ২
ব্যাকরণ