pettter@yaxu mm, I mean depending on how you define things and what you're after you could call various things borderlands such as logic programming and proof system, as well as specification languages. ML is an interesting programming language in terms of dialects since it had so many, for example.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.