move intellect-framework-from-internet into folder

1 files changed, 0 insertions, 57 deletions

diff --git a/starts/meaning-vm/main.cpp b/starts/meaning-vm/main.cpp
deleted file mode 100644
index 513efd2..0000000
--- a/starts/meaning-vm/main.cpp
+++ /dev/null
@@ -1,57 +0,0 @@
-#include "concept.hpp"
-#include "helpers.hpp"
-#include "meaning.hpp"
-
-
-#include <iostream>
-
-void dumpconcept(ref r)
-{
-	decllnks(dumped, name);
-
-	for (auto & l : r->links) {
-		if (ref(l.first) == name) {
-			continue;
-		}
-		std::cout << r << " " << ref(l.first) << " " << ref(l.second) << std::endl;
-	}
-	if (!r->linked(dumped)) {
-		r[dumped = true];
-	}
-	for (auto & l : r->links) {
-		if (!l.second->linked(dumped)) {
-			dumpconcept(l.second);
-		}
-	}
-}
-
-int main()
-{
-	declrefs(make, linked, habit);
-	declrefs(structure, function, argument, position, provide);
-	decllnks(needs, assumes, makes);
-	decllnks(A, B, C);
-	decllnks(is);
-	lnks(argument-position);
-
-	// add a new unique link to a concept
-	// given A, B, C
-	// and assuming A is not linked by B to C,
-	// makes A be linked by B to C.
-	// NEXT? make code for make-linked that takes a ref
-	//       change the needs structure to use a model for the ref,
-	//       with needed values specified as 'provided'
-	make-linked = a(habit)[
-		needs = a(structure)[
-			is = function-argument,
-			argument-position = vref<int>(1),
-			avariable(A) = provide,
-			avariable(B) = provide,
-			avariable(C) = provide
-		],
-		assumes = not(A-B-C-linked = link(A, B, C)),
-		makes = A-B-C-linked
-	];
-
-	dumpconcept(make-linked);
-}