Mark Thom c3c53017f9 add ambiguity check for period printing, remove extraneous space between last goal and period (#237)

2019-11-26 19:38:43 -07:00

..

examples

make *.pl files in src/prolog/lib available from libraries.rs

2019-09-26 23:10:04 -06:00

lib

add operator exports to module declarations, treat them separately from predicate exports (#230)"

2019-11-25 23:09:49 -07:00

machine

add operator exports to module declarations, treat them separately from predicate exports (#230)"

2019-11-25 23:09:49 -07:00

allocator.rs

re: issue #199

2019-10-15 02:37:01 -06:00

arithmetic.rs

add sign/1 (#216) and gcd/2 (#217) as evaluable functors, update the README

2019-10-27 13:05:05 -06:00

clause_types.rs

move more of the toplevel from rust into prolog

2019-11-16 00:26:15 -07:00

codegen.rs

re: issue #199

2019-10-15 02:37:01 -06:00

debray_allocator.rs

Upgrade to edition. Bump up edition in Cargo.toml

2019-10-14 00:23:32 -07:00

fixtures.rs

eliminate lingering attribute goals

2019-10-16 11:38:33 -03:00

forms.rs

add operator exports to module declarations, treat them separately from predicate exports (#230)"

2019-11-25 23:09:49 -07:00

heap_iter.rs

Upgrade to edition. Bump up edition in Cargo.toml

2019-10-14 00:23:32 -07:00

heap_print.rs

begin migrating tests to pure prolog, correct bug in toplevel

2019-11-16 19:15:07 -07:00

indexing.rs

Upgrade to edition. Bump up edition in Cargo.toml

2019-10-14 00:23:32 -07:00

instructions.rs

move more of the toplevel from rust into prolog

2019-11-16 00:26:15 -07:00

iterators.rs

Upgrade to edition. Bump up edition in Cargo.toml

2019-10-14 00:23:32 -07:00

macros.rs

move more of the toplevel from rust into prolog

2019-11-16 00:26:15 -07:00

mod.rs

Add feature num to use num crate in place of rug.

2019-11-20 17:51:08 -03:00

read.rs

Upgrade to edition. Bump up edition in Cargo.toml

2019-10-14 00:23:32 -07:00

targets.rs

Upgrade to edition. Bump up edition in Cargo.toml

2019-10-14 00:23:32 -07:00

toplevel.pl

add ambiguity check for period printing, remove extraneous space between last goal and period (#237)

2019-11-26 19:38:43 -07:00

write.rs

move more of the toplevel from rust into prolog

2019-11-16 00:26:15 -07:00