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?










share|improve this question


























    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?










    share|improve this question
























      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?










      share|improve this question













      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






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked Nov 9 at 19:25









      user1700890

      1,67542869




      1,67542869
























          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 ...






          share|improve this answer























            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
            });


            }
            });














            draft saved

            draft discarded


















            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 ...






            share|improve this answer



























              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 ...






              share|improve this answer

























                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 ...






                share|improve this answer















                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 ...







                share|improve this answer














                share|improve this answer



                share|improve this answer








                edited Nov 10 at 10:56

























                answered Nov 10 at 9:27









                CapelliC

                51k43262




                51k43262






























                    draft saved

                    draft discarded




















































                    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.




                    draft saved


                    draft discarded














                    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





















































                    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







                    這個網誌中的熱門文章

                    Tangent Lines Diagram Along Smooth Curve

                    Yusuf al-Mu'taman ibn Hud

                    Zucchini