blob: 049e7f9bace5806d8b838cc96b66a26b1538bf8a (
plain)
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
|
#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);
}
}
|
