Spaces:

holtwork
/

memelang

Running

App Files Files Community

briholt commited on about 13 hours ago

Commit

ccf3a8a

verified ·

1 Parent(s): 5bf3d12

update index.html

Browse files

Files changed (1) hide show

index.html +212 -17

index.html CHANGED Viewed

@@ -1,19 +1,214 @@
 <!doctype html>
 <html>
-	<head>
-		<meta charset="utf-8" />
-		<meta name="viewport" content="width=device-width" />
-		<title>My static Space</title>
-		<link rel="stylesheet" href="style.css" />
-	</head>
-	<body>
-		<div class="card">
-			<h1>Welcome to your static Space!</h1>
-			<p>You can modify this app directly by editing <i>index.html</i> in the Files and versions tab.</p>
-			<p>
-				Also don't forget to check the
-				<a href="https://huggingface.co/docs/hub/spaces" target="_blank">Spaces documentation</a>.
-			</p>
-		</div>
-	</body>
-</html>

 <!doctype html>
 <html>
+<head>
+<meta charset="utf-8"/>
+<meta name="viewport" content="width=device-width, initial-scale=1.0" />
+<link rel="canonical" href="https://memelang.net/05/" />
+<link rel="apple-touch-icon" sizes="180x180" href="/apple-touch-icon.png">
+<link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png">
+<link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png">
+<title>Memelang</title>
+<script src="https://cdn.jsdelivr.net/npm/marked/marked.min.js"></script>
+<style type="text/css">
+body { line-height:150%; background:rgb(11,12,13); color:rgb(230,230,230); font-family:sans-serif; font-size:1.1rem; margin:40px 10px 100px 10px; }
+a { color:rgb(170,170,192); text-decoration:none; }
+a:hover { text-decoration:underline; }
+main { max-width: 700px; width: 94%; margin:0 auto; }
+h1 { font-size:2rem; margin:0 0 20px 0 }
+h3 { font-size:1.2rem; margin:40px 0 0 0 }
+ul { padding-left:20px; }
+ul li { margin-bottom:8px }
+code { font-family:monospace; font-size: 1rem; padding:1px 3px; background:rgba(255,255,255,0.1); white-space:nowrap;  }
+pre { background:rgba(255,255,255,0.1); font-family:monospace; box-sizing:border-box; width:100%; margin-block-end:2em; padding:12px 16px; vertical-align:top; overflow:auto; }
+pre code { padding:0; background:none; white-space:pre }
+.msg { text-align:center; color:rgb(255,128,0); font-weight:bold; font-style:italic; padding:20px; background:rgb(100,50,21); display:block; margin-bottom:40px; }
+</style>
+</head>
+<body>
+<a	href="#"
+	onclick="navigator.clipboard.writeText(TEXT);this.style.transform='scale(.9)';setTimeout(()=>this.style.transform='scale(1.2)',100);setTimeout(()=>this.style.transform='scale(1)',200);return false"
+	style="transition:transform .2s;position: absolute; top:0; right:2%; border-radius:0 0 4px 4px; padding:10px 20px;background:rgb(43,43,60);text-decoration: none;color:rgb(213,213,240);font-weight: bold; font-size:0.8rem">COPY for AI</a>
+<article id="content" class="markdown-body" style="max-width: 900px;margin: 0 auto;">
+# Memelang v5
+Memelang is an concise query language for structured data, knowledge graphs, retrieval-augmented generation, and semantic data. See the [Python GitHub repository](https://github.com/memelang-net/memesql5/).
+### Memes
+A meme comprises key-value pairs separated by spaces, starting with `m=int`, and ending with a semicolon. A meme is analogous to a relational database row.
+```
+m=123 R1=A1 R2=A2 R3=A3;
+```
+* ***M-identifier***: an arbitrary integer in the form `m=123`, analogous to a primary key
+* ***R-relation***: an alphanumeric key analogous to a database column
+* ***A-value***: an integer, decimal, or string analogous to a database cell value
+* Non-alphanumeric strings are double-quoted, with CSV-style quote escaping `="John ""Jack"" Kennedy"`
+* Comments are prefixed with double forward slashes `//`
+```
+// Example memes for the Star Wars cast
+m=123 actor="Mark Hamill" role="Luke Skywalker" movie="Star Wars" rating=4.5;
+m=456 actor="Harrison Ford" role="Han Solo" movie="Star Wars" rating=4.6;
+m=789 actor="Carrie Fisher" role=Leia movie="Star Wars" rating=4.2;
+```
+### Queries
+Queries are partial memes with empty parts as wildcards:
+* Empty A-values retrieve all values for the specified R-relation
+* Empty R-relations retrieve all relations for the specified A-value
+* Empty R-relations and A-values (` = `) retrieve all pairs in the meme
+```
+// Query for all movies with Mark Hamill as an actor
+actor="Mark Hamill" movie=;
+// Query for all relations involving Mark Hamill
+="Mark Hamill";
+// Query for all relations and values from all memes relating to Mark Hamill:
+="Mark Hamill" =;
+```
+A-value operators:
+* String: `=`, `!=`
+* Numerics: `=`, `!=`, `>`, `>=`, `<`, `<=`
+```
+firstName=Joe;
+lastName!="David-Smith";
+height>=1.6;
+width<2;
+weight!=150;
+```
+Comma-separated values produce an ***OR*** list:
+```
+// Query for (actor OR producer) = (Mark OR "Mark Hamill")
+actor,producer=Mark,"Mark Hamill"
+```
+R-relation operators:
+* `!` negates the relation name
+```
+// Query for Mark Hamill's non-acting relations
+!actor="Mark Hamill";
+// Query for an actor who is not Mark Hamill
+actor!="Mark Hamill";
+// Query all relations excluding actor and producer for Mark Hamill
+!actor,producer="Mark Hamill"
+```
+### A-Joins
+Open brackets `R1[R2` join memes with equal `R1` and `R2` A-values. Open brackets need **not** be closed, a semicolon closes all brackets.
+```
+// Generic example
+R1=A1 R2[R3 R4>A4 A5=;
+// Query for all of Mark Hamill's costars
+actor="Mark Hamill" movie[movie actor=;
+// Query for all movies in which both Mark Hamill and Carrie Fisher act together
+actor="Mark Hamill" movie[movie actor="Carrie Fisher";
+// Query for anyone who is both an actor and a producer
+actor[producer;
+// Query for a second cousin: child's parent's cousin's child
+child= parent[cousin parent[child;
+// Join any A-Value from the present meme to that A-Value in another meme
+R1=A1 [ R2=A2
+```
+Joined queries return one meme with multiple `m=` M-identifiers. Each `R=A` belongs to the preceding `m=` meme.
+```
+m=123 actor="Mark Hamill" movie="Star Wars" m=456 movie="Star Wars" actor="Harrison Ford";
+```
+### Variables
+R-relations and A-values may be certain variable symbols. Variables *cannot* be inside quotes.
+* `@` Last matching A‑value
+* `%` Last matching R‑relation
+* `#` Current M-identifier
+```
+// Join two different memes where R1 and R2 have the same A-value (equivalent to R1[R2)
+R1= m!=# R2=@;
+// Two different R-relations have the same A-value
+R1= R2=@;
+// The first A-value is the second R-relation
+R1= @=A2;
+// The first R-relation equals the second A-value
+=A1 R2=%;
+// The pattern is run twice (redundant)
+R1=A1 %=@;
+// The second A-value may be Jeff or the previous A-value
+R1=A1 R2=Jeff,@;
+```
+### M-Joins
+Explicit joins are controlled using `m` and `#`.
+* `m=#` present meme (implicit default)
+* `m!=#` join to a different meme
+* `m= ` join to any meme (including the present)
+* `m=^#` (or `]`) resets `m` and `#` to the *previous* meme, acts as *un*join
+```
+// Join two different memes where R1 and R2 have the same A-value (equivalent to R1[R2)
+R1= m!=# R2=@;
+// Join any memes (including the present one) where R1 and R2 have the same A-value
+R1= m= R2=@;
+// Join two different memes, unjoin, join a third meme (equivalent statements)
+R1[R2] R3[R4;
+R1= m!=# R2=@ m=^# R3= m!=# R4=@;
+// Unjoins may be sequential (equivalent statements)
+R1[R2 R3[R4]] R5=;
+R1= m!=# R2=@ R3= m!=# R4=@ m=^# m=^# R5=;
+R1= m!=# R2=@ R3= m!=# R4=@ m=^# ] R5=;
+R1= m!=# R2=@ R3= m!=# R4=@ ]] R5=;
+// Join two different memes on R1=R2, unjoin, then join the first meme to another where R4=R5
+R1= m!=# R2=@ R3= m=^# R4= m!=# R5=@;
+// Query for a meta-meme, R2's A-value is R1's M-identifier
+R1=A1 m= R2=#
+```
+### About
+Memelang was created by [Bri Holt](https://en.wikipedia.org/wiki/Bri_Holt) and first disclosed in a [2023 U.S. Provisional Patent application](https://patents.google.com/patent/US20250068615A1). ©2025 HOLTWORK LLC. Contact [info@memelang.net](mailto:info@memelang.net).
+</article>
+<script type="text/javascript">
+const TEXT = document.getElementById('content').textContent
+document.getElementById('content').innerHTML =
+marked.parse(TEXT);
+</script>
+</body>
+</html>