Mark Thom 4a7cd50e4b use new readline crate

2019-03-17 14:50:57 -06:00

..

examples

add ordsets library, domain.pl attributed variables example

2019-03-10 22:33:09 -06:00

lib

add halt/0

2019-03-17 14:38:55 -06:00

machine

add halt/0

2019-03-17 14:38:55 -06:00

allocator.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

arithmetic.rs

add assoc.pl, add max evaluable functor

2019-03-08 22:31:12 -07:00

clause_types.rs

add halt/0

2019-03-17 14:38:55 -06:00

codegen.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

debray_allocator.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

fixtures.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

forms.rs

perform term and goal expansion on asserted dynamic predicates inside modules

2019-03-09 13:41:33 -07:00

heap_iter.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

heap_print.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

indexing.rs

remove need to clone instructions.

2018-10-04 22:18:29 -06:00

instructions.rs

add assoc.pl, add max evaluable functor

2019-03-08 22:31:12 -07:00

iterators.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

macros.rs

bb_put/2 and bb_get/2

2019-03-12 22:38:47 -06:00

mod.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

read.rs

use new readline crate

2019-03-17 14:50:57 -06:00

targets.rs

refactor to actual modules

2019-03-03 23:29:02 -07:00

write.rs

add assoc.pl, add max evaluable functor

2019-03-08 22:31:12 -07:00