Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2018

• make inlining optional

  gooofy

  committed
  c9b93bc

  Copy full SHA for c9b93bc

Commits on Nov 15, 2017

• add a more involved pseudo-var example

  gooofy

  committed
  4b7f171

  Copy full SHA for 4b7f171

• fix location

  gooofy

  committed
  e2ae45a

  Copy full SHA for e2ae45a

Commits on Nov 11, 2017

• fixup clean

  gooofy

  committed
  8f2ccec

  Copy full SHA for 8f2ccec

• prepare for pypi release

  gooofy

  committed
  ebbb9a0

  Copy full SHA for ebbb9a0

• port to sqlite

  gooofy

  committed
  8c2b6bf

  Copy full SHA for 8c2b6bf

• ignore generated files

  gooofy

  committed
  7533f0c

  Copy full SHA for 7533f0c

• use sqlite for unittests, add close() function to LogicDB

  gooofy

  committed
  5c1dda7

  Copy full SHA for 5c1dda7

Commits on Nov 3, 2017

• profiling, do not overwrite arguments in search()

  gooofy

  committed
  bb9b034

  Copy full SHA for bb9b034

Commits on Oct 14, 2017

• more convenience: map ints and floats

  gooofy

  committed
  d681954

  Copy full SHA for d681954

• build_predicate helper function added

  gooofy

  committed
  61bf8f2

  Copy full SHA for 61bf8f2

Commits on Oct 3, 2017

• info->debug log output

  gooofy

  committed
  e5c8e3d

  Copy full SHA for e5c8e3d

Commits on Sep 23, 2017

• proper inlining for list literals

  gooofy

  committed
  1545e5a

  Copy full SHA for 1545e5a

Commits on Aug 24, 2017

• more python 2/3 fixes

  gooofy

  committed
  bc374e6

  Copy full SHA for bc374e6

• steps towards python 3 compatibility

  gooofy

  committed
  9f0ee7e

  Copy full SHA for 9f0ee7e

Commits on Aug 18, 2017

• fix progress output

  gooofy

  committed
  3c785ca

  Copy full SHA for 3c785ca

Commits on Aug 17, 2017

• steps towards allowing pseudo-vars in unification as well

  gooofy

  committed
  57daae6

  Copy full SHA for 57daae6

Commits on Aug 16, 2017

• fix else branch handling

  gooofy

  committed
  7a73306

  Copy full SHA for 7a73306

• pass db in constructor instead of each parse() call

  gooofy

  committed
  052d358

  Copy full SHA for 052d358

• port the inline feature over from AI-Prolog

  gooofy

  committed
  c6528aa

  Copy full SHA for c6528aa

• mention pseudo-vars in features

  gooofy

  committed
  c686991

  Copy full SHA for c686991

• add some documentation about new language features

  gooofy

  committed
  955046a

  Copy full SHA for 955046a

• some basic tests of new language constructs added

  gooofy

  committed
  3edce38

  Copy full SHA for 3edce38

• implement pseudo-var semantics in prolog_eval

  gooofy

  committed
  8dd1d8c

  Copy full SHA for 8dd1d8c

• massive overhaul of our zamia-prolog lexer and parser

  gooofy

  committed
  f448939

  Copy full SHA for f448939

• is/set have become specials again (to avoid unification of pseudo-vars), complete with pseudo-var semantics

  gooofy

  committed
  11be2e5

  Copy full SHA for 11be2e5

• update README to reflect current goals of this project

  gooofy

  committed
  ca9647c

  Copy full SHA for ca9647c

• back-port much of the ai-prolog parser to zamia-prolog

  gooofy

  committed
  26e6a71

  Copy full SHA for 26e6a71

Commits on Aug 15, 2017

• var/1 builtin added

  gooofy

  committed
  78c6bf5

  Copy full SHA for 78c6bf5

Commits on Aug 13, 2017

• zamia-prolog variables can be re-assigned using the 'set' builtin predicate

  gooofy

  committed
  190d720

  Copy full SHA for 190d720

Commits on Aug 12, 2017

• additional error checking

  gooofy

  committed
  7d5a779

  Copy full SHA for 7d5a779

• massive speed improvement by static pre-filtering of db lookup results

  gooofy

  committed
  558e638

  Copy full SHA for 558e638

Commits on Aug 11, 2017

• add a 'local' variable namespace to search_predicate

  gooofy

  committed
  0f988a6

  Copy full SHA for 0f988a6

• debug

  gooofy

  committed
  af31b2c

  Copy full SHA for af31b2c

• improve error message

  gooofy

  committed
  4e8d63d

  Copy full SHA for 4e8d63d

Pagination

Previous

Next