अपनी 'कच्ची' में एक सूची प्रदर्शित करें ./2 प्रारूप

Question

क्या इसके ./2 प्रारूप में प्रोलॉग सूची प्रदर्शित करना संभव है, उदा।

सूची के लिए

:

L = .(a, .(b, .(c, []))). 

Answer 1

आम तौर पर, write_canonical(List) या ?- write_term(List, [quoted(true), ignore_ops(true)]) के रूप में टिप्पणी में कहा,:

| ?- L=[a,b,c]. 
L = [a,b,c] ? 
yes 

वहाँ प्रदर्शित करने के लिए एक साधन है। चूंकि SWI-Prolog do things differently करने का फैसला किया, यह काफी अच्छा नहीं है:

?- write_canonical([a]). 
[a] 
true. 

?- write_term([a], [quoted(true), ignore_ops(true)]). 
[a] 
true. 

?- write_term([a], [dotlists(true)]). 
.(a,[]) 
true. 

documentation on write_term/2 देखें, विकल्प brace_terms(Bool) और dotlists(Bool) पर ध्यान देना। लेकिन सावधान रहें: यदि आप सामान्य रूप से एसडब्ल्यूआई-प्रोलॉग 7 शुरू करते हैं, तो ./2 सूची फ़ैक्टर नहीं है!

?- L = .(a, []). 
ERROR: Type error: `dict' expected, found `a' (an atom) % WHAT? 

?- L = '[|]'(a, []). 
L = [a]. 

आप swipl --traditional के साथ शुरू करते हैं, बातें फिर से सामान्य हो, एक तरह से कर रहे हैं:

$ swipl --traditional 
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.4-32-g9311e51) 
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam 
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, 
and you are welcome to redistribute it under certain conditions. 
Please visit http://www.swi-prolog.org for details. 

For help, use ?- help(Topic). or ?- apropos(Word). 

?- L = .(a, []). 
L = [a]. 

तुम अब भी write_canonical(List) या write_term(List, [quoted(true), ignore_ops(true)]) उपयोग नहीं कर सकते।

विवरण और तर्क के लिए एसडब्ल्यूआई-प्रोलॉग दस्तावेज़ के लिंक किए गए अनुभाग को पढ़ें। एक सलाह के रूप में, यदि आप SWI-Prolog 7 को डिफ़ॉल्ट रूप से SWI-Prolog 7 में उपयोग करने का निर्णय लेते हैं और केवल write_term(List, [dotlists(true)]) का उपयोग करते हैं, तो आपको किसी अन्य Prolog कार्यान्वयन के साथ संवाद करने की आवश्यकता है। सामान्य सूची नोटेशन, [a, b, ...] अधिकांश पारंपरिक स्थितियों में काफी अच्छा होना चाहिए।