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

correction to -> offset

Browse Source
This commit is contained in:
Mark Thom
2017-12-25 00:29:42 -07:00
parent 2efa7564ba
commit 8fbe798362
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/prolog/builtins.rs
View File

@@ -161,7 +161,7 @@ fn get_builtins() -> Code {
query![put_value!(perm_v!(1), 1)], query![put_value!(perm_v!(1), 1)],
deallocate!(), deallocate!(),
execute_n!(1), execute_n!(1),
allocate!(2), // (->)/2, 124. allocate!(2), // (->)/2, 125.
get_level!(), get_level!(),
fact![get_var_in_fact!(perm_v!(2), 2)], fact![get_var_in_fact!(perm_v!(2), 2)],
call_n!(1), call_n!(1),
@@ -235,7 +235,7 @@ pub fn build_code_dir() -> (Code, CodeDir, OpDir)
code_dir.insert((String::from(";"), 2), (PredicateKeyType::BuiltIn, 76)); code_dir.insert((String::from(";"), 2), (PredicateKeyType::BuiltIn, 76));
code_dir.insert((String::from(","), 2), (PredicateKeyType::BuiltIn, 81)); code_dir.insert((String::from(","), 2), (PredicateKeyType::BuiltIn, 81));
code_dir.insert((String::from("->"), 2), (PredicateKeyType::BuiltIn, 124)); code_dir.insert((String::from("->"), 2), (PredicateKeyType::BuiltIn, 125));
(builtin_code, code_dir, op_dir) (builtin_code, code_dir, op_dir)
} }