rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
a8a82e45a01fd49cc6876e8e7caf18dcc6af393f
scryer-prolog/src
History
Mark Thom a8a82e45a0 introduce cuts over indexed (:)/2 of dcgs:phrase_/3 (#786)
2021-02-03 16:03:15 -07:00
..
examples
slight update to the BiMetaTrans README
2020-07-10 15:22:15 -06:00
lib
introduce cuts over indexed (:)/2 of dcgs:phrase_/3 (#786)
2021-02-03 16:03:15 -07:00
machine
Merge branch 'master' into rebis-dev
2021-02-03 12:00:00 -07:00
tests
More improvement on mod from CLP(Z)
2020-08-13 21:36:36 +02:00
allocator.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
arithmetic.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
clause_types.rs
add built_in to predicate_property
2021-02-02 15:03:14 -07:00
codegen.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
debray_allocator.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
fixtures.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
forms.rs
replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations
2021-01-31 18:00:10 -07:00
heap_iter.rs
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
2021-01-30 21:07:51 -07:00
heap_print.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
indexing.rs
call attribute variable goals with module resolution
2021-02-01 14:48:13 -07:00
instructions.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
iterators.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
loader.pl
expand attributed variable goals
2021-02-02 21:47:59 -07:00
macros.rs
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
2021-01-30 21:07:51 -07:00
main.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
read.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
targets.rs
target prolog_parser_rebis on crates.io
2021-01-30 22:03:07 -07:00
toplevel.pl
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
2021-01-30 21:07:51 -07:00
write.rs
add built_in to predicate_property
2021-02-02 15:03:14 -07:00