प्रोलॉग-इन-स्कीम कार्यान्वयन के बहुत सारे हैं। जैसे कानरेन, स्केलॉग। स्पष्ट रूप से "एआई प्रोग्रामिंग के प्रतिमान" में नॉरविग असीमित क्लॉज ग्रामर का उपयोग करने के लिए लिस्प में प्रोलॉग-टू-लिस्प कंपाइलर
में औपचारिक भाषा मैं एक डीसीजी बनाने की कोशिश कर रहा हूं जो इस फॉर्म से मेल खाने वाली सभी सूचियों को पहचानता है: a^n b^2m c^2m d^n। s --> []. s --> ad. ad --> a, ad, d. ad --> bc. bc --> b, b, bc, c,