Merge branch 'intellect-framework-from-internet'

1 files changed, 42 insertions, 0 deletions

diff --git a/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp b/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp
new file mode 100644
index 0000000..049e7f9
--- /dev/null
+++ b/intellect-framework-from-internet/starts/meaning-vm/level-2-wip-stmtexprs/meaning.hpp
@@ -0,0 +1,42 @@
+#pragma once
+
+#include "ref.hpp"
+#include "../level-1/helpers.hpp"
+
+namespace intellect {
+namespace level2 {
+
+// get a named variable
+ref avariable(ref name);
+
+template <typename... T>
+ref and(T... refs)
+{
+	std::initializer_list<ref> rs = { refs... };
+	decl(and, topic);
+	ref ret = a(and);
+	ref name; int count = 0;
+	for (auto r : rs) {
+		ret.link(topic, r);
+		if (count == 0) {
+			name.ptr() = r.ptr();
+		} else {
+			name.ptr() = (name-and-r).ptr();
+		}
+		++ count;
+	}
+	if (count == 1) {
+		throw std::invalid_argument("and needs at least two subjects");
+	}
+	// in level-1, we'll want to name anonymous objects after defining them
+	return name = ret;
+}
+
+// make a reference to a link
+ref link(ref sourceref, ref typeref, ref targetref);
+
+// invert a meaning
+ref not(ref whatref);
+
+}
+}