Skip to content

Tags: ichiban/prolog

Tags

v1.2.2

Toggle v1.2.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #337 from ccamel/patch-1

Fix typo in `atomPastEndOfStream` definition

v1.2.1

Toggle v1.2.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #320 from ichiban/fix-succ-vars

fix variable handling in Succ()

v1.2.0

Toggle v1.2.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #312 from ichiban/assert-public

a predicate created by {asserta, assertz}/1 must be public.

v1.1.3

Toggle v1.1.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #305 from ichiban/fix-eos-detection

fix end_of_stream detection

v1.1.2

Toggle v1.1.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #302 from ichiban/fix-1pl-file-args-empty

fix 1pl's file arguments and allow empty args like `$ 1pl`

v1.1.1

Toggle v1.1.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #299 from ichiban/fix-1pl-file-args

fix 1pl's file arguments like `$ 1pl foo.pl bar.pl`

v1.1.0

Toggle v1.1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #291 from ichiban/examples-double_quotes

update examples to respect double_quotes flag

v1.0.0

Toggle v1.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #286 from ichiban/ichiban-patch-1

Update README.md

v0.15.2

Toggle v0.15.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #285 from ichiban/refine-acknowledgements

refine acknowledgements

v0.15.1

Toggle v0.15.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #279 from ichiban/make-slice

respect debug.SetMemoryLimit() when allocate a slice.