1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
#include "concept.hpp"
#include "helpers.hpp"
using namespace std;
#include <iostream>
void dumpconcept(ref r)
{
declrefs(dumped);
for (auto & l : r->links) {
cout << r << " " << l.first << " " << l.second << endl;
}
if (!r->linked(dumped)) {
r[dumped = true];
}
for (auto & l : r->links) {
if (!l.second->linked(dumped)) {
dumpconcept(l.second);
}
}
}
int main()
{
declrefs(is, link, type);
is->link(is, link-type);
declrefs(source, target);
declrefs(linked, A, B, C, abc, variable);
declrefs(trueness, truth, what, not);
declrefs(add, unique, habit, needs, assumes, makes);
A[is = variable];
B[is = variable];
C[is = variable];
// 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.
(add-link-unique)[
is = habit,
needs = A, needs = B, needs = C,
makes = (abc-linked)[is = link, link-source = A, link-type = B, link-target = C],
assumes = (abc-not-linked)[is = trueness, what = abc-linked, truth = false]
];
dumpconcept(add-link-unique);
}
|
