Issues

• Can't create an interpreter with pre-bound variables.

  mndrix/golog#24 · Filter by author tbolsh opened on Jan 12, 2018
  1

• optimize atom representation

  mndrix/golog#14 · Filter by author mndrix opened on Aug 29, 2013

• optimize code representations

  mndrix/golog#13 · Filter by author mndrix opened on Jun 17, 2013
  3

• create benchmarks for Jekejeke test programs

  mndrix/golog#12 · Filter by author mndrix opened on Feb 22, 2013
  1

• support tabling

  mndrix/golog#11 · Filter by author mndrix opened on Feb 21, 2013

• support attributed variables

  mndrix/golog#10 · Filter by author mndrix opened on Feb 21, 2013

• steal ideas from Krall

  mndrix/golog#9 · Filter by author mndrix opened on Feb 21, 2013

• support or-parallelism

  mndrix/golog#8 · Filter by author mndrix opened on Feb 21, 2013
  3

• experiment with other unification algorithms

  mndrix/golog#5 · Filter by author mndrix opened on Feb 21, 2013