summaryrefslogtreecommitdiff
path: root/starts
diff options
context:
space:
mode:
Diffstat (limited to 'starts')
-rw-r--r--starts/meaning-vm/habit-starts/learning-parts.cpp19
1 files changed, 15 insertions, 4 deletions
diff --git a/starts/meaning-vm/habit-starts/learning-parts.cpp b/starts/meaning-vm/habit-starts/learning-parts.cpp
index bf1bb09..7f4c324 100644
--- a/starts/meaning-vm/habit-starts/learning-parts.cpp
+++ b/starts/meaning-vm/habit-starts/learning-parts.cpp
@@ -50,9 +50,17 @@ static int __init = ([]()->int{
s.link(t, dst);
});
+ decls(linked)
+ ahabit(linked, ((source, s), (type, t), (target, dst)),
+ {
+ // i'd like to make target optional
+ // i wonder how to upgrade macro for
+ // could also use preprocessing stage
+ });
+
// we want the habits expressive enough to code efficiently in.
- // constructors are tentatively abolished in the low-level habit language. (new-thing modifies, not creates)
+ // constructors are tentatively abolished in the low-level habit language. (new-type-instance modifies, not creates)
// we have one constructor of concepts, and knowledge attachment to concepts.
decl(make, know, concept, is, group, already, in);
@@ -83,9 +91,10 @@ static int __init = ([]()->int{
// constructors to make functions and lists into
// concepts.
// remember can google how to debug lisp
- // opencog does concepts in lisp already, is heavyweight
- // with few habita. just want goertzel's effort honored,
- // he came up with it before I did.
+ // opencog does concepts within lisp already, is
+ // heavyweight with few habita. just want goertzel's
+ // effort honored, he probably came up with it before
+ // I did.
// opencog has functions for pattern matching etc
// they arent self-modifiable, may not matter
@@ -96,6 +105,8 @@ static int __init = ([]()->int{
decls(list, nothing, next, previous);
decls(make, add, to, until, each, item, in, remove, from, somewhere);
+ // list functiona are habits because orderes-behavior
+ // would use a list
ahabit(make-list, ((list, l)),
{
result = a(list, l);