Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"The only way for a reporter to look at a politician is down." -- H. L. Mencken


devel / comp.lang.prolog / Re: Request for comments, Novacore the sequel to ISO modules

SubjectAuthor
o Request for comments, Novacore the sequel to ISO modulesMild Shock

1
Re: Request for comments, Novacore the sequel to ISO modules

<ff5d9b5c-dea5-4834-8213-abf174ef3ebbn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10242&group=comp.lang.prolog#10242

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:6214:8e7:b0:66d:86be:254f with SMTP id dr7-20020a05621408e700b0066d86be254fmr115768qvb.7.1700420069741;
Sun, 19 Nov 2023 10:54:29 -0800 (PST)
X-Received: by 2002:a17:903:11c7:b0:1cc:3de5:d8a0 with SMTP id
q7-20020a17090311c700b001cc3de5d8a0mr1756738plh.11.1700420069491; Sun, 19 Nov
2023 10:54:29 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sun, 19 Nov 2023 10:54:28 -0800 (PST)
In-Reply-To: <db8a6771-3e54-485b-b391-310658dd6f52n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.50.239; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.50.239
References: <db8a6771-3e54-485b-b391-310658dd6f52n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ff5d9b5c-dea5-4834-8213-abf174ef3ebbn@googlegroups.com>
Subject: Re: Request for comments, Novacore the sequel to ISO modules
From: burse...@gmail.com (Mild Shock)
Injection-Date: Sun, 19 Nov 2023 18:54:29 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1751
 by: Mild Shock - Sun, 19 Nov 2023 18:54 UTC

We are now exploring file systems with novacore.
And here and then we have a couple of primitives
and then do some bootstrapping. It currently lands

in library(random) until we find a better place:

% directory_member(+Atom, -Atom)
directory_member(F, N) :-
directory_files(F, L),
member(N, L).

% ensure_directory(+Atom)
ensure_directory(F) :-
file_exists(F),
file_property(F, type(directory)),
!.
ensure_directory(F) :-
make_directory(F).

Guess what, finding semantic and support of
directory_files/2, file_exists/1 and file_property/2
is already non trivial.


devel / comp.lang.prolog / Re: Request for comments, Novacore the sequel to ISO modules

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor