SWI-Prolog how to reload workspace?
up vote
2
down vote
favorite
I am using standard editor that came with SWI-Prolog. I would like to reload workspace, so that all prior assertions and knowledge base would disappear. Is there short cut for it? I can surely close and re-open editor, but wonder if there is faster way?
prolog reload workspace
add a comment |
up vote
2
down vote
favorite
I am using standard editor that came with SWI-Prolog. I would like to reload workspace, so that all prior assertions and knowledge base would disappear. Is there short cut for it? I can surely close and re-open editor, but wonder if there is faster way?
prolog reload workspace
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
I am using standard editor that came with SWI-Prolog. I would like to reload workspace, so that all prior assertions and knowledge base would disappear. Is there short cut for it? I can surely close and re-open editor, but wonder if there is faster way?
prolog reload workspace
I am using standard editor that came with SWI-Prolog. I would like to reload workspace, so that all prior assertions and knowledge base would disappear. Is there short cut for it? I can surely close and re-open editor, but wonder if there is faster way?
prolog reload workspace
prolog reload workspace
asked Nov 9 at 19:25
user1700890
1,67542869
1,67542869
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
I would like to reload workspace, so that all prior assertions and knowledge base would disappear.
IMO to clean a complex environment is not really doable in SWI-Prolog. The database is global, by design, and removing parts of a loaded state is not easy.
But you can store the step used when setup your workspace in ~/.swiplrc
, to reconstruct your experience when (re)starting the environment. For instance, in my own, I have
...
user:file_search_path(carlo, '/home/carlo/prolog').
user:file_search_path(scxml, carlo(scxml)).
d :- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
...
Then, if I 'query' ?- d.
, SWI-Prolog opens an editor on read_trace_php.pl
.
If I wrote in my .swiplrc the directive
:- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
then any time I launched swipl I would get the editor ready.
Facts of the form
user:file_search_path(scxml, carlo(scxml)).
are handy to define the 'include path' required by your project.
You can edit your .swiplrc from > Settings > User init file ...
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53232117%2fswi-prolog-how-to-reload-workspace%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
I would like to reload workspace, so that all prior assertions and knowledge base would disappear.
IMO to clean a complex environment is not really doable in SWI-Prolog. The database is global, by design, and removing parts of a loaded state is not easy.
But you can store the step used when setup your workspace in ~/.swiplrc
, to reconstruct your experience when (re)starting the environment. For instance, in my own, I have
...
user:file_search_path(carlo, '/home/carlo/prolog').
user:file_search_path(scxml, carlo(scxml)).
d :- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
...
Then, if I 'query' ?- d.
, SWI-Prolog opens an editor on read_trace_php.pl
.
If I wrote in my .swiplrc the directive
:- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
then any time I launched swipl I would get the editor ready.
Facts of the form
user:file_search_path(scxml, carlo(scxml)).
are handy to define the 'include path' required by your project.
You can edit your .swiplrc from > Settings > User init file ...
add a comment |
up vote
1
down vote
accepted
I would like to reload workspace, so that all prior assertions and knowledge base would disappear.
IMO to clean a complex environment is not really doable in SWI-Prolog. The database is global, by design, and removing parts of a loaded state is not easy.
But you can store the step used when setup your workspace in ~/.swiplrc
, to reconstruct your experience when (re)starting the environment. For instance, in my own, I have
...
user:file_search_path(carlo, '/home/carlo/prolog').
user:file_search_path(scxml, carlo(scxml)).
d :- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
...
Then, if I 'query' ?- d.
, SWI-Prolog opens an editor on read_trace_php.pl
.
If I wrote in my .swiplrc the directive
:- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
then any time I launched swipl I would get the editor ready.
Facts of the form
user:file_search_path(scxml, carlo(scxml)).
are handy to define the 'include path' required by your project.
You can edit your .swiplrc from > Settings > User init file ...
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
I would like to reload workspace, so that all prior assertions and knowledge base would disappear.
IMO to clean a complex environment is not really doable in SWI-Prolog. The database is global, by design, and removing parts of a loaded state is not easy.
But you can store the step used when setup your workspace in ~/.swiplrc
, to reconstruct your experience when (re)starting the environment. For instance, in my own, I have
...
user:file_search_path(carlo, '/home/carlo/prolog').
user:file_search_path(scxml, carlo(scxml)).
d :- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
...
Then, if I 'query' ?- d.
, SWI-Prolog opens an editor on read_trace_php.pl
.
If I wrote in my .swiplrc the directive
:- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
then any time I launched swipl I would get the editor ready.
Facts of the form
user:file_search_path(scxml, carlo(scxml)).
are handy to define the 'include path' required by your project.
You can edit your .swiplrc from > Settings > User init file ...
I would like to reload workspace, so that all prior assertions and knowledge base would disappear.
IMO to clean a complex environment is not really doable in SWI-Prolog. The database is global, by design, and removing parts of a loaded state is not easy.
But you can store the step used when setup your workspace in ~/.swiplrc
, to reconstruct your experience when (re)starting the environment. For instance, in my own, I have
...
user:file_search_path(carlo, '/home/carlo/prolog').
user:file_search_path(scxml, carlo(scxml)).
d :- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
...
Then, if I 'query' ?- d.
, SWI-Prolog opens an editor on read_trace_php.pl
.
If I wrote in my .swiplrc the directive
:- cd('/home/carlo/prolog'), portray_text(true), edit(read_trace_php).
then any time I launched swipl I would get the editor ready.
Facts of the form
user:file_search_path(scxml, carlo(scxml)).
are handy to define the 'include path' required by your project.
You can edit your .swiplrc from > Settings > User init file ...
edited Nov 10 at 10:56
answered Nov 10 at 9:27
CapelliC
51k43262
51k43262
add a comment |
add a comment |
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53232117%2fswi-prolog-how-to-reload-workspace%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown