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

filter our builtins from current_predicate/1 (#153)

Browse Source
This commit is contained in:
Mark
2023-09-26 13:46:21 -06:00
parent 56992570d8
commit 2efe95f2fb
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/machine/system_calls.rs
View File

@@ -3908,6 +3908,11 @@ impl Machine {
} }
); );
if self.indices.builtin_property((name, arity)) {
self.machine_st.fail = true;
return;
}
self.machine_st.fail = self self.machine_st.fail = self
.indices .indices
.get_predicate_code_index(name, arity, module_name) .get_predicate_code_index(name, arity, module_name)
@@ -3987,6 +3992,10 @@ impl Machine {
}; };
for (name, arity) in code_dir.keys() { for (name, arity) in code_dir.keys() {
if self.indices.builtin_property((*name, *arity)) {
continue;
}
if name_match(pred_atom, *name) && arity_match(pred_arity, *arity) { if name_match(pred_atom, *name) && arity_match(pred_arity, *arity) {
self.machine_st.heap.extend(functor!( self.machine_st.heap.extend(functor!(
atom!("/"), atom!("/"),