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
|
#include "level-1/level-1.hpp"
#include <iostream>
using namespace intellect::level1;
using namespace concepts;
int main()
{
decl(make, linked, habit);
decl(needs, assumes, makes);
decl(not, topic);
decl(A, B, C);
decl(source, type, target);
(make-linked).set(is, habit);
(make-linked).set(needs, []() -> ref {
decl(structure, function, argument, position);
decl(variable, A, B, C, provide);
ref ret = a(structure);
ret.link(is, function-argument);
ret.set(argument-position, vref<int>(1)),
ret.set(a(variable, A), provide);
ret.set(a(variable, B), provide);
ret.set(a(variable, C), provide);
return ret;
}());
a(link, A-B-C-linked).set(link-source, A);
(A-B-C-linked).set(link-type, B);
(A-B-C-linked).set(link-target, C);
a(not, not-A-B-C-linked).set(topic, A-B-C-linked);
(make-linked).set(assumes, not-A-B-C-linked);
(make-linked).set(makes, A-B-C-linked);
std::cout << (make-linked).dump("dumped", true) << std::endl;
return 0;
}
|
