এই প্রোগ্রামটি ই.কোলাই ব্যাকটেরিয়া কর্তৃক ল্যাকটোজ বিপাক প্রক্রিয়ার একটি সরল মডেল বর্ণনা করেন। প্রোগ্রামটির প্রথম নিয়ম বর্ণনা করে যে, ই ইকোলাই সুগার ল্যাকটোজ খেতে পারবে, যদি এটি গ্যালাকটোসাইডেজ এবং পার্মিজ নামক দুটি এনজাইম তৈরি করে। অন্যান্য এনজাইম এর মতই, এসব এনজাইম জিনে প্রকাশিত কোড দ্বারা তৈরি হয় (দ্বিতীয় শর্ত)। পারমিজ এবং গ্যালাকটোসাইডেজ এনজাইমদ্বয় যথাক্রমে জিন সমূহের একটি গুচ্ছ, lac(X), এ অবস্থিত lac(y) এবং lac(z) নামক দুটি জিনে কোড করা রয়েছে (পঞ্চম এবং ষষ্ঠ শর্তে উল্লেখিত) – যাদেরকে অপেরন বলা হয়-যখন গ্লুকোজের পরিমাণ কম এবং ল্যাকটোজের পরিমাণ বেশি অথবা উভয়ই মধ্যবর্তী পর্যায়ে থাকে, তখন এটি কার্যকর হয় (চতুর্থ এবং পঞ্চম শর্ত)৷ "A" বিধেয়সমূহ সকল ""পরিমাণকে"" অন্তর্ভুক্ত করে। এর ফলে ""যেকোনো সময় বিভিন্ন বস্তুর পরিমাণ এ মডেলটিতে অজানা ""- প্রকাশিত হয়। এটি হলো অসম্পূর্ণ তথ্য - যা প্রতিটি সমস্যার ক্ষেত্রে নির্ণয় করতে হয়।
অখণ্ড সীমাবদ্ধতা, "IC", বিবৃতি প্রদান করে যে, যে কোন উপাদান (S) এর পরিমাণ শুধুমাত্র একটি মান গ্রহণ করতে পারে।

 feed(lactose):-make(permease),make(galactosidase).

 false :- amount(S,V1), amount(S,V2), V1 ≠ V2.

 abducible_predicate(amount).

formula_6 হল সমস্যার মূল লক্ষ্য। এটি একটি "পর্যবেক্ষণ যার ব্যাখ্যা প্রয়োজন" কিংবা "পরিকল্পনার সাহায্যে কোনো ঘটনার অবস্থা ব্যাখ্যা প্রয়োজন" উত্তোলন করে। এই লক্ষ্যের দুটি ব্যাখ্যা রয়েছে:

দুটির মধ্যে কোনটি গ্রহণযোগ্য সে সিদ্ধান্ত প্রদত্ত তথ্য যেমন, "যখন গ্লুকোজের পরিমাণ নিম্ন তখন জীবটি যে নির্দিষ্ট ব্যবহার প্রদর্শন করে" - এই মডেলে জীবটির তাপমাত্রা নিম্ন এমন তথ্য-এবং পরীক্ষণের মাধ্যমে প্রথম কিংবা দ্বিতীয় ব্যাখ্যার গ্রহণযোগ্যতা ইত্যাদির উপর নির্ভর করে।

যখন যেকোনো একটি ব্যাখ্যা নির্বাচন করা হয়, তখন এটি তত্ত্বটির অংশ হয়ে যায়, যা নতুন উপসংহারে পৌঁছাতে সক্ষম। এসব উপসংহারই সমস্যাটির সমাধান গঠন করে।

আনুষ্ঠানিক পরিভাষা
উদাহরণ ১
উদাহরণ ৩
অনানুষ্ঠানিক ব্যাখ্যা এবং সমস্যা সমাধানকরণ