Markus Triska 208927544d ADDED: provide a rudimentary version of portray_clause/1 ...

At the moment, library(format) seems to be a fitting place.
In the eventual library organization, portray_clause/1 and
related predicates may be moved to their own dedicated library.

2020-04-13 01:04:52 +02:00

..

examples

remove unnecessary use of partial_string in bimetatrans example

2020-04-11 22:02:17 -06:00

lib

ADDED: provide a rudimentary version of portray_clause/1

2020-04-13 01:04:52 +02:00

machine

provide read_term_from_chars/2 (#334)

2020-04-12 17:26:11 -06:00

allocator.rs

re: issue #199

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

arithmetic.rs

use fixnums in place of bignums where possible

2020-04-05 20:32:16 -06:00

clause_types.rs

provide read_term_from_chars/2 (#334)

2020-04-12 17:26:11 -06:00

codegen.rs

remove string/1, use a more general test for the partial_string/1 type test (#328)

2020-04-11 22:47:52 -06:00

debray_allocator.rs

Upgrade to edition. Bump up edition in Cargo.toml

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

fixtures.rs

actually do lco, and mark unsafe variables before the goals where they last occur, not just in the last goal

2020-02-27 16:17:20 -07:00

forms.rs

correct misleading error for modules (#300)

2020-04-12 12:51:59 -06:00

heap_iter.rs

harmonize partial strings with complete strings (#276), make Addr a copyable type

2020-04-03 10:22:46 -06:00

heap_print.rs

be more judicious with at_cdr in print_string (#295)

2020-04-12 12:18:15 -06:00

indexing.rs

fix list index offset bug (#314)

2020-04-06 16:15:36 -06:00

instructions.rs

compile special instructions for partial strings when recognized

2020-04-11 21:53:28 -06:00

iterators.rs

compile special instructions for partial strings when recognized

2020-04-11 21:53:28 -06:00

macros.rs

remove string/1, use a more general test for the partial_string/1 type test (#328)

2020-04-11 22:47:52 -06:00

mod.rs

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

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

read.rs

provide read_term_from_chars/2 (#334)

2020-04-12 17:26:11 -06:00

targets.rs

compile special instructions for partial strings when recognized

2020-04-11 21:53:28 -06:00

toplevel.pl

correct misleading error for modules (#300)

2020-04-12 12:51:59 -06:00

write.rs

change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs

2020-04-12 16:01:53 -06:00