प्रोलॉग

Question

में तारों की एक सूची को जोड़ना मैं एक लिस्प को सी अनुवादक लिख रहा हूं और मुझे तारों को संभालने में समस्या है।

define(F) --> fun_unary(F), !. 

fun_unary(F) --> "(define (", label(Fun), spaces, label(Arg1), ")", spaces, expr(Body), ")", 
    {swritef(F, "data *%t(data *%t) { return(%t); }", [Fun, Arg1, Body])}, !. 


funs([F]) --> define(F), !. 
funs([F|Fs]) --> define(F), spaces, funs(Fs), !. 

अब मैं कार्यों के किसी भी संख्या पढ़ सकते हैं और उन्हें एक ही स्ट्रिंग के रूप में वापस करना चाहते: यह एक कोड एक सी बराबर करने के लिए एक एकल लिस्प समारोह बदल देती है। ऊपर funs सबसे अच्छा मैं के साथ आ सकता है, लेकिन यह इस तरह काम करता है:

?- funs(F, "(define (carzero l) (= (car l) 0)) (define (zero n) (= 0 n))", []). 
F = ["data *carzero(data *l) { return(eq(car(l), make_atom_int(0))); }", "data *zero(data *n) { return(eq(make_atom_int(0), n)); }"]. 

मैं कुछ इस तरह चाहते हैं जबकि:

F = "data *carzero(data *l) { return(eq(car(l), make_atom_int(0))); }\n\ndata *zero(data *n) { return(eq(make_atom_int(0), n)); }". 

ताकि मैं अच्छी तरह से कर सकते हैं swritef एक पूरा कार्यक्रम में है , #include एस और मुख्य() के बीच। एक वैकल्पिक समाधान सूची को संभालने के लिए उच्चतम स्तर अनुवादक को संशोधित करना है। यह ठीक से इस तरह दिखता है:

program(P) --> define(F), {swritef(P, "#include \"lisp2c.h\" \n\n%t \nint main() { return 0; }", [F])}, !. 

मैं इन दोनों में से कोई भी कैसे करूं? मैं एसडब्ल्यूआई प्रोलॉग का उपयोग कर रहा हूं।

Answer 1

अब उद्देश्य के लिए इसे आवश्यक है के लिए अलग स्थापना, के एक Prolog विधेय है कि एक स्ट्रिंग में स्ट्रिंग की एक सूची, कोनकैटेनेट्स तार के प्रत्येक लगातार जोड़ी के बीच एक डबल न्यू लाइन रखने लिखने (लेकिन के अंत में नहीं जाने जेरी पोस्ट किए गए उदाहरण के आधार पर आउटपुट स्ट्रिंग)।

SWI-Prolog मैनुअल: आम तौर पर मैं the documentation करने के लिए "गहरा" लिंक पोस्ट चाहते हैं, लेकिन SWI-Prolog साइट यूआरएल की एक शैली है कि कई ब्राउज़र/प्लगइन संयोजनों के साथ क्रॉस-साइट स्क्रिप्टिंग (XSS) चेतावनी चलाता है का उपयोग करता है । तो इसके बजाय मैं उचित सेक्शन के लिंक से संदर्भित करूंगा।

धारा 4.22 तारों में पाठ का प्रतिनिधित्व करना (भाग में) कहता है, "डिफ़ॉल्ट रूप से स्ट्रिंग ऑब्जेक्ट्स में कोई व्याख्यात्मक प्रतिनिधित्व नहीं होता है और इस प्रकार केवल नीचे या विदेशी भाषा इंटरफ़ेस के माध्यम से भविष्यवाणियों का उपयोग करके बनाया जा सकता है।" यह थोड़ा उलझन में हो सकता है, क्योंकि एसडब्ल्यूआई-प्रोलॉग स्ट्रिंग को डबल-उद्धृत टेक्स्ट के रूप में लिखता है, लेकिन चरित्र कोड की सूचियों के रूप में डबल-उद्धृत टेक्स्ट (डिफ़ॉल्ट रूप से) पढ़ता है।

strSepCat([ ],_,Empty) :- 
    string_to_list(Empty,[ ]). 
strSepCat([H|T],Separator,StrCat) :- 
    strSepCat(T,Separator,H,StrCat). 

strSepCat([ ],_,StrCat,StrCat). 
strSepCat([H|T],Sep,Str,Cat) :- 
    string_concat(Sep,H,SepH), 
    string_concat(Str,SepH,StrSepH), 
    strSepCat(T,Sep,StrSepH,Cat). 

ध्यान दें कि हम दो विधेय, strSepCat/3 और परिभाषित किया है:

यहाँ एक विधेय है कि एक सूची में तार, कोनकैटेनेट्स लगातार स्ट्रिंग जोड़े के बीच में एक और स्ट्रिंग सेपरेटर डालने के लिए कोड है strSepCat/4। पूर्व को बाद के शब्दों में परिभाषित किया गया है, प्रोलॉग में एक विशिष्ट डिजाइन पैटर्न जो एक संचयक के रूप में अतिरिक्त तर्क प्रस्तुत करता है जो रिकर्सन पूर्ण होने पर आउटपुट से जुड़ता है। tail recursive परिभाषा प्राप्त करने में ऐसी तकनीक अक्सर सहायक होती है।

विधेय strSepCat/3 का उपयोग करने के लिए, हम आम तौर पर (के लिए एस्केप अनुक्रम) दो नई-पंक्तियों के साथ विभाजक स्ट्रिंग के निर्माण के लिए आवश्यकता होगी:,

?- funs(Fs,Lisp,[ ]), string_to_list(Sep,"\n\n"), strSepCat(Fs,Sep,CProg). 

Answer 2

Prolog में तार के बाद से वास्तव में चरित्र कोड की सूची कर रहे हैं, आपको लगता है कि यह भी नई-पंक्तियों सम्मिलित करता है एक कस्टम विधेय में append उपयोग कर सकते हैं:

concat_program([], ""). 
concat_program([L|Ls], Str) :- 
    concat_program(Ls, Str0), 
    append("\n\n", Str0, Str1), 
    append(L, Str1, Str). 

उपयोग:

funs(Fs, Lisp, []), 
concat_program(Fs, P), 
write("#include ...\n"), 
writef(P). 

Answer 3

के बारे में क्या DCG अंकन का उपयोग तारों को जोड़ने के लिए?

concat([]) --> []. 
concat([List|Lists]) --> List, "\n\n", concat(Lists).