Permalink
Switch branches/tags
Nothing to show
Commits on Jan 23, 2017
  1. Reformat comment text

    committed Jan 23, 2017
Commits on Jan 21, 2017
  1. minor change to use correct word

    homophone:  threw -> through
    corprew committed on GitHub Jan 21, 2017
Commits on Nov 26, 2016
  1. Capitalization and line spacing concistency

    Made references to 'Prolog', 'Erlang', 'Erlog', and ETS consistent
    throughout.  Also made line spacing consistent.  These are small changes
    - but they are front facing.
    pgeiger committed Nov 26, 2016
Commits on Mar 7, 2016
  1. Move hrl file to include dir

    zkessin committed Mar 7, 2016
  2. Add Copyright

    zkessin committed Mar 7, 2016
Commits on Mar 6, 2016
  1. A set of assertions for using erlog with eunit

    I have found that I am using erlog to write tests a lot, so I created an assertion ?assertProlog which will let you run a prolog query and assert that it will pass. There is also an inverse option incase that is useful
    zkessin committed Mar 6, 2016
Commits on Oct 6, 2015
  1. Add nl/0 which we forgot

    committed Oct 6, 2015
  2. Add numbervars/3 bip

    This is not part of the ISO standard but very useful.
    committed Oct 6, 2015
Commits on Oct 5, 2015
  1. Add first set of I/O bips

    These are only the basic ones working on standard_io.
    committed Oct 1, 2015
Commits on Sep 29, 2015
  1. Update documentation files

    This is mainly format and not content.
    committed Sep 29, 2015
  2. Add a simple erlog server

    It is a generic server which implements the erlog module interface in
    a server.
    committed Sep 29, 2015
Commits on Sep 27, 2015
Commits on Sep 19, 2015
Commits on Sep 14, 2015
  1. Move term_vars to erlog_bips.erl

    Try to keep only the general library functions in erl_int.erl.
    committed Sep 14, 2015
Commits on Sep 13, 2015
  1. Add term_variables/2/3 to extract variables in a term

    We are slowly moving forward towards bagof and setof by implementing
    the necessary predicates for them.
    
    Update Makefile and a newly generated erlog_scan came along as a
    bonus.
    committed Sep 12, 2015
  2. Fix bug which did not reset bindings when backtracking in clause/2

    This was a subtle one in that we used the wrong bindings when we
    backtracked in clause/2. The bindings made when unifying the head was
    reused so unbound variables were bound.
    committed Sep 13, 2015
Commits on Sep 6, 2015
Commits on Dec 25, 2014
Commits on Nov 11, 2014
  1. Merge branch 'develop'

    committed Nov 11, 2014
Commits on Oct 25, 2014
  1. Improve handling of prolog flags

    Now only define flags, their values and if they are settable in one
    place.
    committed Oct 25, 2014
Commits on Oct 13, 2014
  1. Make false/0 fail, and add last/2 as a bonus

    It a naive implementation of last/2 using append/3.
    committed Oct 13, 2014
Commits on Oct 10, 2014
  1. Add handling of prolog flags

    Very limited as yet and the only one we use is 'unknown'
    committed Oct 10, 2014
Commits on Sep 26, 2014
Commits on Sep 25, 2014
Commits on Sep 24, 2014
  1. Combine interpreter state variables into state record #est

    This is mainly just to make handling of them easier and not so much
    for hiding internal fields which are explicitly accessed when
    necessary. It will also make it easier to add new fields when
    necessary.
    committed Sep 23, 2014
Commits on Aug 29, 2014
  1. Make rebar no longer be necessary to run Makefile

    We check if there is a rebar, if so we use, otherwise we don't. This
    means that some commands are no longer possible. We should probably
    remove some of them anyway.
    committed Aug 29, 2014
  2. remove R14 and R15

    zkessin committed Aug 29, 2014
  3. it now checks the enviroment variable 'consult_path' when doing a con…

    …sult and will load from any dir in that path. if not set will default to ["."]
    
    fix #34
    zkessin committed Aug 29, 2014
Commits on Aug 27, 2014
  1. include erlang 17.1

    zkessin committed Aug 27, 2014