rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove print debug

Browse Source
This commit is contained in:
Mark Thom
2017-03-25 02:00:19 -06:00
parent d65970ee57
commit a836e14b5f
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/prolog/io.rs
View File

@@ -219,7 +219,6 @@ pub fn eval(wam: &mut Machine, buffer: &str) -> EvalResult
&Ok(TopLevel::Predicate(ref clauses)) => { &Ok(TopLevel::Predicate(ref clauses)) => {
if is_consistent(clauses) { if is_consistent(clauses) {
let compiled_pred = cg.compile_predicate(clauses); let compiled_pred = cg.compile_predicate(clauses);
print_code(&compiled_pred);
wam.add_predicate(clauses, compiled_pred); wam.add_predicate(clauses, compiled_pred);
EvalResult::EntrySuccess EvalResult::EntrySuccess
@@ -233,13 +232,11 @@ Each predicate must have the same name and arity.";
}, },
&Ok(TopLevel::Fact(ref fact)) => { &Ok(TopLevel::Fact(ref fact)) => {
let compiled_fact = cg.compile_fact(&fact); let compiled_fact = cg.compile_fact(&fact);
print_code(&compiled_fact);
wam.add_fact(fact, compiled_fact); wam.add_fact(fact, compiled_fact);
EvalResult::EntrySuccess EvalResult::EntrySuccess
}, },
&Ok(TopLevel::Rule(ref rule)) => { &Ok(TopLevel::Rule(ref rule)) => {
let compiled_rule = cg.compile_rule(&rule); let compiled_rule = cg.compile_rule(&rule);
print_code(&compiled_rule);
wam.add_rule(rule, compiled_rule); wam.add_rule(rule, compiled_rule);
EvalResult::EntrySuccess EvalResult::EntrySuccess
}, },