অ্যাবডাক্টিভ লজিক প্রোগ্রামিং
অকাট্য যৌক্তিক প্রোগ্রামিং (Abductive logic programming - ALP) হলো উঁচুস্তরের জ্ঞান উপস্থাপন ফ্রেমওয়ার্ক যা অকাট্য যুক্তির উপর ভিত্তি করে সমস্যার সমাধান করতে ব্যবহার করা হয়। এটি সাধারণ যুক্তিভিত্তিক প্রোগ্রামিংকে কিছু বিধেয়কে অকাট্য হিসেবে ঘোষণা করে অসম্পূর্ণভাবে সংজ্ঞায়িত করার মাধ্যমে বর্ধিত করে। সমস্যা সমাধানকরণে এসব অকাট্য বিধেয় হতে প্রাপ্ত অনুকল্পগুলোকে সমাধান বিবেচনা করা হয়। এসব সমস্যা হতে পারে এমন কোন পর্যবেক্ষণ, যার ব্যাখ্যা প্রয়োজন (যেমনটা ক্লাসিকাল অ্যাবডাকশন এ) অথবা কোন লক্ষ্যে পৌঁছানোর প্রয়োজন (যেমনটা সাধারণ যুক্তিভিত্তিক প্রোগ্রামিং এ)। এটি সনাক্তকরণ, পরিকল্পনাকরণ, প্রাকৃতিক ভাষা প্রক্রিয়াকরণ এবং যান্ত্রিক জ্ঞানার্জনের সমস্যা সমাধানে ব্যবহার করা যেতে পারে। এটি ইতিমধ্যেই অকাট্য যুক্তিবিদ্যার রূপ হিসেবে negation as failure সনাক্তকরণে ব্যবহৃত হয়েছে।