{"id":384,"date":"2008-02-28T02:36:00","date_gmt":"2008-02-28T02:36:00","guid":{"rendered":"http:\/\/sdi.thoughtstorms.info\/?p=384"},"modified":"2008-02-28T02:36:00","modified_gmt":"2008-02-28T02:36:00","slug":"384","status":"publish","type":"post","link":"https:\/\/blog.thoughtstorms.info\/?p=384","title":{"rendered":""},"content":{"rendered":"

And I thought I was ambitious, trying to write a programming language!<\/p>\n

My friend Oli has decided to reinvent programming as we know it. Details are still trickling out via his web-site : Semantic Programming<\/a>. And I’m in frenzied skype conversation with him, trying to figure out what it’s all about. <\/p>\n

In outline, it starts from some intuitions behind the Semantic Web : that there should be a massively parallel, distributed graph-shaped database of facts (relational assertions) represented on different machines across the world. But it then layers programming<\/em> on top of that. Instead of a passive data-structure crawled by scutters, SemProg agents<\/em> (roughly, the servers which manage different data-nodes) are active. There is message passing between the facts themselves, and agents may have hardwired interpretation to act on some facts (what Oli is calling “axiomatic” understanding), or a “deductive” understanding (I guess rather like Prolog inference), and even a “behavioural” understanding via (I guess again) learning from observing other agents.<\/p>\n

I’ll keep following this here on Smart Disorganized. Very interesting if it works out. <\/p>\n

Would GeekWeaver support Semantic Programming? It seems like Oli is thinking of multiple editors for different types of information, all of which compile down to the same underlying graph-structured format so that the data can be combined. (Rather like Language Oriented Programming.) It seems quite possible that GeekWeaver could output something like his graph-format. I’ll certainly be experimenting.<\/p>\n

I’m also trying to persuade Oli to look at Erlang as a potential implementation language for the distributed virtual machine. I’m increasingly impressed by Erlang. Finding it very powerful and concise.<\/p>\n","protected":false},"excerpt":{"rendered":"

And I thought I was ambitious, trying to write a programming language! My friend Oli has decided to reinvent programming as we know it. Details are still trickling out via his web-site : Semantic Programming. And I’m in frenzied skype conversation with him, trying to figure out what it’s all about. In outline, it starts […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[135,164,173,240,354,407,408,409,410],"class_list":["post-384","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-erlang","tag-functional-programming","tag-geekweaver","tag-language-oriented-programming","tag-programming","tag-semantic-programming","tag-semantic-web","tag-semprog","tag-semweb"],"_links":{"self":[{"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=\/wp\/v2\/posts\/384","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=384"}],"version-history":[{"count":0,"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=\/wp\/v2\/posts\/384\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=384"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=384"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.thoughtstorms.info\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=384"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}