Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

reconsult=false #335

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

reconsult=false #335

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4,738 changes: 2,369 additions & 2,369 deletions dist/klipse_plugin.js
View file
Open in desktop

Large diffs are not rendered by default.

1,212 changes: 606 additions & 606 deletions dist/klipse_plugin.min.js
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion project.clj
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
(defproject klipse "7.7.2"
(defproject klipse "7.7.3"
:description "Embeddable multi-language WEB REPL"
:resource-paths ["scripts" "src" "resources" "target"]
:min-lein-version "2.8.1"
Expand Down
21 changes: 20 additions & 1 deletion resources/public/prolog-dbg.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,21 @@
background-repeat: no-repeat;
font-size: 0px;
}
</style>
</style>
<h2> No reconsult </h2>
<div class="rules">
man(david).
</div>
<div class="query">
man(X).
</div>
<div class="rules">
man(frank).
</div>
<div class="query">
man(X).
</div>
<h2> Classical examples with fruits </h2>
<div class="rules">
% load lists module
:- use_module(library(lists)).
Expand Down Expand Up @@ -128,6 +142,11 @@
( tour(Next, [Position|Visited], M, Tour) ;
fill_cell(Next, ''), fail).

tour(Position, Visited, 64, [Position|Visited]) :- !.




% fill_cell/2
fill_cell((Row, Col), Content) :-
remove_knight,
Expand Down
2 changes: 1 addition & 1 deletion src/klipse/core.cljs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

(goog-define version "n/a")

(def version "7.7.2")
(def version "7.7.3")
(js/console.info "Klipse " version)
(js/console.info "Clojurescript " *clojurescript-version*)

10 changes: 5 additions & 5 deletions src/klipse/lang/prolog.cljs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@

(defn consult* [exp]
(let [my-session @session
res (!> my-session.consult exp)]
res (!> my-session.consult exp #js {:reconsult false})]
(if (= true res)
[:ok true]
[:error (str res)])))
Expand Down Expand Up @@ -76,16 +76,16 @@
(def rules-opts {:editor-in-mode "logtalk"
:editor-out-mode "text"
:beautify? true
:eval-fn consult
:external-scripts ["https://viebel.github.io/klipse/repo/js/tau-prolog.js" "https://viebel.github.io/klipse/repo/js/codemirror-logtalk.js"]
:eval-fn (fn [& args] (apply consult args))
:external-scripts ["https://viebel.github.io/klipse/repo/js/tau-prolog.0.2.56.js" "https://viebel.github.io/klipse/repo/js/codemirror-logtalk.js"]
:comment-str "%"})


(def query-opts {:editor-in-mode "logtalk"
:editor-out-mode "text"
:beautify? true
:eval-fn query
:external-scripts ["https://viebel.github.io/klipse/repo/js/tau-prolog.js" "https://viebel.github.io/klipse/repo/js/codemirror-logtalk.js"]
:eval-fn (fn [& args] (apply query args))
:external-scripts ["https://viebel.github.io/klipse/repo/js/tau-prolog.0.2.56.js" "https://viebel.github.io/klipse/repo/js/codemirror-logtalk.js"]
:comment-str "%"})


Expand Down