🧗🏾 ↗️ ⛹🏽 Prolog पर REST सर्वर, यह कैसा दिखता है? 👨🏽‍✈️ 🎅🏽 ♏️

तार्किक प्रोग्रामिंग में uninitiated के लिए एक छोटे से विषयांतर के रूप में
इस पाठ में ~~एक मैजिक सेशन~~ को ~~एक्सपोज़र~~ दिए गए दृष्टिकोण के ~~साथ रखा~~ जाएगा
REST सर्वर और उसके पैरामीटर बनाने के लिए मापा जाता है।

कैच क्या है? और सब कुछ सरल है - हम इसे प्रोलॉग (एसडब्ल्यूआई-प्रोलॉग के कार्यान्वयन में) पर करेंगे ...

तो आपको क्या चाहिए। सबसे पहले, डाउनलोड करें (यदि पहले से नहीं है) और वास्तविक स्वाइ-प्रोलॉग लगाएं
उसकी वेबसाइट www.swi-prolog.org से । टाइप की प्रारंभिक सामग्री के साथ rest.pl की एक छोटी फ़ाइल बनाना आसान है

सर्वर।

इसे डाउनलोड करना जारी रखें और खुद को इस तरह के प्रोलॉग सिस्टम का उपयोग करके संपादित करें
(उदाहरण लिनक्स कंसोल के लिए दिए गए हैं, लेकिन खिड़कियों से बहुत अलग नहीं हैं):

$echo "." > rest.pl $swipl ... ?- [rest]. true. ?- edit().

उसके बाद, एक एमएसीएस जैसा संपादक शुरू हो जाएगा और आप इसमें सब कुछ टाइप कर सकते हैं।

इसलिए, शुरुआत में, हम संकेत देंगे कि हम पुस्तकालयों का उपयोग करेंगे और इसका क्या अर्थ है, लिखेंगे
सर्वर लॉन्च - प्रोलॉग वर्णों में: - को "यह है" के रूप में पढ़ा जा सकता है:

 :- use_module(library(http/http_server)). :- use_module(library(http/http_json)). :- http_handler(/,(M), [method(M),methods([get,post]),time_limit(10000)]).  :- http_server(http_dispatch, [port(8080)]).

जैसा कि आप देख सकते हैं, हम योजना बनाते हैं कि सेवा प्राप्त और पोस्ट के तरीकों का जवाब देगी।

मॉडल की समस्या

अब वास्तव में हम क्या करेंगे। अनुरोध करने पर, हम एक पृष्ठ के साथ एक नंबर इनपुट फ़ील्ड के साथ जवाब देंगे, इसे दर्ज करते समय, हम पोस्ट विधि का अनुरोध करेंगे और इस फाइबोनैचि संख्या की गणना करेंगे।

वह है:

 (get,_) :- (X),(X). (post,) :- http_parameters(,[val(,[integer])]), ().

खैर, यह बात है! हमने पहले ही वास्तव में अपना सर्वर लिखा था ... प्रोलॉग एक घोषणात्मक भाषा है - इसलिए हमने प्रसंस्करण विकल्प घोषित किए। वैसे, किसी भी भाषा का उपयोग किया जा सकता है - मैंने रूसी में स्थानों पर लिखने का फैसला किया।

लेकिन हे, वह क्या कर रहा है? आखिरकार, "फ़ॉर्म", "उत्तर" और "छोटा" हमारी भविष्यवाणी हैं और वे अभी तक परिभाषित नहीं हैं। चलो इसे ठीक करें:

 ():- format('Content-type: text/html~n~n <html><body>  <br/> ~w </body></html>~n', []). ('<form method="POST"><input name="val"/></form>').

खैर, गणना के लिए यहां दो विकल्प हैं - आइए हमारे पास केवल सकारात्मक फाइबोनैचि संख्याएं हैं:

 ():-  > 0, (0,1,1,,),(X), format(atom(),'~w    ~w<br/>~w',[,,X]), (). ():- (X), format(atom(),'  ~w  0<br/>~w',[,X]), ().

खैर, यह वास्तव में यह निर्धारित करने के लिए रहता है कि फाइबोनैचि संख्या क्या है:

 (_F, F1, N, N, F1) :- !. (F0, F1, I, N, F) :- F2 is F0+F1, I2 is I + 1, !,(F1, F2, I2, N, F).

यह परिभाषा, निश्चित रूप ~~से फेंग शुई में~~ काफी परिचित नहीं है, लेकिन इसे लगभग तेजी से माना जाता है अगर हमने सी में लिखा ...

तो क्या यह काम करेगा? हम जाँच करते हैं:

  ?- . % Started server at http://localhost:8080/ true.

तो, सर्वर शुरू हो गया है। वैसे, यह मल्टीथ्रेडेड है! जांच करने के लिए आपको पता खोलने की जरूरत है
127.0.0.1 : 8080 / और कुछ संख्या दर्ज करें - उदाहरण के लिए, 1000:

फाइबोनैचि संख्याओं की गणना
1000 फाइबोनैचि संख्या बराबर होती है
4346655768693745643568852767504062580
2564660517371780402481729089536555417
9490518904038798400792551692959225930
8032263477520968962323987332247116164
2996440906533187938298969649928516003
704476137795166849228875

खैर, यह काम करता है!

सर्वर के प्रदर्शन का एक छोटा सा अध्ययन - आइए देखें कि GET विधि (POST स्पष्ट रूप से किसी दिए गए नंबर पर दृढ़ता से निर्भर करती है, इसलिए 10,000,000 नंबर को निश्चित रूप से माना जाता है, लेकिन कुछ सेकंड ...)

  $ ab -k -c 4 -n 4000 http://127.0.0.1:8080/ ... Concurrency Level: 4 Time taken for tests: 0.283 seconds Complete requests: 4000 Failed requests: 0 Keep-Alive requests: 4000 Total transferred: 1108000 bytes HTML transferred: 544000 bytes Requests per second: 14140.57 [#/sec] (mean) Time per request: 0.283 [ms] (mean) Time per request: 0.071 [ms] (mean, across all concurrent requests) Transfer rate: 3825.14 [Kbytes/sec] received ...

10 थ्रेड के साथ प्रति सेकंड 14140 अनुरोध क्या है - यह एक नियमित कंप्यूटर के लिए बहुत अच्छा है!

और हां, प्रस्तावना में ऐसा अवसर है - एक तार्किक रूप। इसलिए यदि आप कोड में कुछ बदलते हैं, तो आपको बस कंसोल में टाइप करने की आवश्यकता है

  ?- make.

और आपके सभी परिवर्तन नए अनुरोधों में काम करेंगे - कुछ भी अतिभारित, बंद करने आदि की आवश्यकता नहीं है।

मुझे आशा है कि आप यह देखने के लिए इच्छुक थे कि इस तरह के एक सरल उदाहरण के साथ एक बाकी सर्वर कैसे बनाया जाए। बेशक, आप बाकी इंटरफ़ेस को सांख्यिकीय रूप से वर्णित कर सकते हैं, जैसा कि उदाहरण में किया गया था, आप सभी प्रकार के चर दर्ज कर सकते हैं, URL पथ के भाग को चर के रूप में उपयोग कर सकते हैं - ठीक है, सामान्य तौर पर, सब कुछ हमेशा की तरह है।

आप इसे गतिशील रूप से कर सकते हैं, विधेय को हटा, हटाकर और संशोधित करके कार्यक्रम के तर्क को बदल सकते हैं - एक प्रकार का स्व-संशोधित सर्वर, जिसका काम इतिहास पर निर्भर करता है। आप डेटाबेस कनेक्ट कर सकते हैं। सामान्य तौर पर, सब कुछ हमेशा की तरह होता है, बस काम करना सरल और सुखद होता है।

Prolog पर REST सर्वर, यह कैसा दिखता है?

मॉडल की समस्या

More articles: