From 3223a360d0e70f75497aecf8c033a4f987335b5b Mon Sep 17 00:00:00 2001 From: olpc user Date: Fri, 10 Jan 2020 18:05:43 -0800 Subject: I'm confused and am handling multiple unexpected systems issues --- .../starts/meaning-vm/main.cpp | 57 ---------------------- 1 file changed, 57 deletions(-) delete mode 100644 intellect-framework-from-internet/starts/meaning-vm/main.cpp (limited to 'intellect-framework-from-internet/starts/meaning-vm/main.cpp') diff --git a/intellect-framework-from-internet/starts/meaning-vm/main.cpp b/intellect-framework-from-internet/starts/meaning-vm/main.cpp deleted file mode 100644 index 513efd2..0000000 --- a/intellect-framework-from-internet/starts/meaning-vm/main.cpp +++ /dev/null @@ -1,57 +0,0 @@ -#include "concept.hpp" -#include "helpers.hpp" -#include "meaning.hpp" - - -#include - -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(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); -} -- cgit v1.2.3