Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | The Ciao Prolog |
Description | Install Documentation The Project Playground Bundles ? ☰ The Ciao Prolog system Ciao is a modern Prolog implementation that builds up from a logic-based s |
Keywords | N/A |
WebSite | ciao-lang.org |
Host IP | 193.147.107.8 |
Location | Spain |
Site | Rank |
US$1,359,718
Last updated: 2023-05-14 23:35:08
ciao-lang.org has Semrush global rank of 7,784,191. ciao-lang.org has an estimated worth of US$ 1,359,718, based on its estimated Ads revenue. ciao-lang.org receives approximately 156,891 unique visitors each day. Its web server is located in Spain, with IP address 193.147.107.8. According to SiteAdvisor, ciao-lang.org is safe to visit. |
Purchase/Sale Value | US$1,359,718 |
Daily Ads Revenue | US$1,256 |
Monthly Ads Revenue | US$37,654 |
Yearly Ads Revenue | US$451,845 |
Daily Unique Visitors | 10,460 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
ciao-lang.org. | A | 3599 | IP: 193.147.107.8 |
ciao-lang.org. | AAAA | 3599 | IPV6: 2001:720:424:b::1001:8 |
ciao-lang.org. | NS | 3600 | NS Record: ns37.domaincontrol.com. |
ciao-lang.org. | NS | 3600 | NS Record: ns38.domaincontrol.com. |
Install Documentation The Project Playground Bundles ? ☰ The Ciao Prolog system Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. It features: constraint logic programming and, in particular, Prolog , supporting the ISO-Prolog standard , multiparadigm programming (meta-programming, higher-order, concurrency, functions, etc.) user packages for syntactic and semantic language extensions, and interface with foreign code, modules and bundles for large scale development, and assertions for unified static and dynamic verification. Ciao can install natively in your operating system or run in the browser without installation. %! \begin{miniplayground} % Edit me! % Code is loaded on the fly. % % Then type a query on the right, % ?- app(X,Y,[1,2,3]). app([],Ys,Ys). app([X|Xs],Ys,[X|Zs]) :- app(Xs,Ys,Zs). %! \end{miniplayground} The system implements some advanced features such as separate and incremental |
HTTP/1.1 200 OK Date: Fri, 24 Dec 2021 05:20:25 GMT Server: Ciao HTTP Server 0.2 Last-Modified: Thu, 10 Jun 2021 10:09:10 GMT Location: 8f11fb835d44 Content-Length: 2854 Content-Type: text/html;charset=UTF-8 |
Domain Name: CIAO-LANG.ORG Registry Domain ID: D167559402-LROR Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.whois.godaddy.com Updated Date: 2021-01-11T16:05:25Z Creation Date: 2013-01-10T19:47:05Z Registry Expiry Date: 2023-01-10T19:47:05Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: +1.4806242505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant State/Province: Madrid Registrant Country: ES Name Server: NS37.DOMAINCONTROL.COM Name Server: NS38.DOMAINCONTROL.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-19T12:45:36Z <<< |