v0.15.0

What's Changed

• introduce engine.Cont to declutter by @ichiban in #266
• fix the DCG example by @ichiban in #267
• efficient renamed copy for partials by @ichiban in #268
• simplify env.Unify() by unexposing occursCheck flag by @ichiban in #269
• define Scanner interface by @ichiban in #272
• bootstrap put_char/1, put_code/1, put_code/2, nl/0, and nl/1 from put… by @ichiban in #273

Full Changelog: v0.14.0...v0.15.0

v0.14.0

This release reduces the API surface of github.com/ichiban/prolog/engine so that we can stabilize the package interface for v1.0.0.

What's Changed

• change Stream interface by @ichiban in #260
• introduce tuples to tidy up the code by @ichiban in #261
• optimize one-char atoms by @ichiban in #263
• absorb State into VM by @ichiban in #264
• Unexpose engine details by @ichiban in #265

Full Changelog: v0.13.0...v0.14.0

v0.13.0

This release is all about obvious performance tuning- interning.

What's Changed

• change internal representations for variables by @ichiban in #258
• change internal representations for atoms by @ichiban in #259

Full Changelog: v0.12.0...v0.13.0

v0.12.0

What's Changed

• add ensure_loaded/1 and include/1 by @ichiban in #256
• introduce Prolog text in engine and refine directives by @ichiban in #257

Full Changelog: v0.11.1...v0.12.0

v0.11.1

What's Changed

• add directive initialization/1 by @ichiban in #251
• raise an error on a failed directive/initialization goal by @ichiban in #254
• fix consult/1 error by @ichiban in #255
• reuse the underlying string when charList.Arg(0) is called by @ichiban in #250

Full Changelog: v0.11.0...v0.11.1

v0.11.0

What's Changed

• refine Term by @ichiban in #249

We've introduced drastic changes on term representations:

• Now we have efficient internal representations for lists, character lists, character code lists, and partial lists
• Any Go values, other than Variable, Atom, Integer, Float, Compound, are atomic terms of their own types

Full Changelog: v0.10.5...v0.11.0

v0.10.5

What's Changed

• fix Term =.. List for the case that Term is atomic and List is a partial list. by @ichiban in #246
• fix unexpected success on functor(X, Y, 0). by @ichiban in #248

Full Changelog: v0.10.4...v0.10.5

v0.10.4

What's Changed

• add Lm (Letter, modifier) to small letter char by @ichiban in #240
• fixed parsing of arg '[]' and '{}' by @ichiban in #241
• Cook user input by @ichiban in #242
• fix handling of newlines in 1pl by @ichiban in #243

Full Changelog: v0.10.3...v0.10.4

v0.10.3

What's Changed

• type check output list arguments by @ichiban in #239
• The character sequence for a variable begins with _ (7.10.5.a). by @ichiban in #237
• generalize small letter char by @ichiban in #236

Full Changelog: v0.10.2...v0.10.3

v0.10.2

What's Changed

• stabilize current_op/3 test by @ichiban in #233
• fix handling of ^ in bagof/3, setof/3. by @ichiban in #232
• fix potential panic on compiling :-/1. by @ichiban in #234

Full Changelog: v0.10.1...v0.10.2