Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | miniKanren.org |
Description | miniKanren.org Twitter: @miniKanren Github: @miniKanren Google Group: miniKanren IRC: irc.freenode.net, #minikanren Follow @miniKanren URL --> Workshop |
Keywords | N/A |
WebSite | minikanren.org |
Host IP | 198.61.173.136 |
Location | United States |
Site | Rank |
US$2,132,663
Last updated: 2023-05-01 11:41:29
minikanren.org has Semrush global rank of 4,962,952. minikanren.org has an estimated worth of US$ 2,132,663, based on its estimated Ads revenue. minikanren.org receives approximately 246,077 unique visitors each day. Its web server is located in United States, with IP address 198.61.173.136. According to SiteAdvisor, minikanren.org is safe to visit. |
Purchase/Sale Value | US$2,132,663 |
Daily Ads Revenue | US$1,969 |
Monthly Ads Revenue | US$59,059 |
Yearly Ads Revenue | US$708,701 |
Daily Unique Visitors | 16,406 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
minikanren.org. | A | 1799 | IP: 198.61.173.136 |
minikanren.org. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
minikanren.org. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
minikanren.org. | NS | 1800 | NS Record: dns3.registrar-servers.com. |
minikanren.org. | NS | 1800 | NS Record: dns4.registrar-servers.com. |
minikanren.org. | NS | 1800 | NS Record: dns5.registrar-servers.com. |
miniKanren.org Twitter: @miniKanren Github: @miniKanren Google Group: miniKanren IRC: irc.freenode.net, #minikanren Follow @miniKanren URL --> Workshop | Book | Online Course | Implementations | Projects | Upcoming Talks | Talks | Interviews | Tutorials | Theses | Papers | Screencasts | Weekly Hangouts | Podcasts | Blogs | Contact What is miniKanren? miniKanren is a family of Domain Specific Languages for logic programming. The name kanren comes from a Japanese word (関連) meaning "relation". The core miniKanren language is very simple, with only three logical operators and one interface operator. The core language, using Scheme as the host language, is described in this short, interactive tutorial . miniKanren has been implemented in a growing number of host languages , including Scheme, Racket, Clojure, Haskell, Python, JavaScript, Scala, Ruby, OCaml, and PHP, among many other languages. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic |
HTTP/1.1 200 OK Server: nginx/1.4.6 (Ubuntu) Date: Sun, 24 Oct 2021 02:38:26 GMT Content-Type: text/html Content-Length: 75633 Last-Modified: Mon, 16 Aug 2021 16:20:14 GMT Connection: keep-alive ETag: "611a903e-12771" Accept-Ranges: bytes |
Domain Name: MINIKANREN.ORG Registry Domain ID: D166941789-LROR Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2020-09-24T08:13:50Z Creation Date: 2012-10-24T21:00:27Z Registry Expiry Date: 2021-10-24T21:00:27Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Me Registrant State/Province: UT Registrant Country: US Name Server: DNS1.REGISTRAR-SERVERS.COM Name Server: DNS2.REGISTRAR-SERVERS.COM Name Server: DNS3.REGISTRAR-SERVERS.COM Name Server: DNS4.REGISTRAR-SERVERS.COM Name Server: DNS5.REGISTRAR-SERVERS.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-12T11:08:00Z <<< |