Commits · 14ccd664ed8b2026699626e8558053eb08af5c16 · Christoph Schwering / limbo · GitLab

Nov 11, 2014
- Replaced std::pair/tuple with Maybe where appropriate. · 14ccd664
  Christoph Schwering authored Nov 11, 2014
  14ccd664
Nov 10, 2014
- Fixed (?): Truth of (x. P(x)) v (Ex. ~P(x)). · d82eee80
  Christoph Schwering authored Nov 10, 2014
  d82eee80
- Updated readme. · 76f0b323
  Christoph Schwering authored Nov 10, 2014
  
  76f0b323
- Understood the problem from commit c6c66a8a (it's an ESL bug). · c90cdaf4
  Christoph Schwering authored Nov 10, 2014
  c90cdaf4
- Added kitchen scenario from the demo. · 0a0117dc
  Christoph Schwering authored Nov 10, 2014
  0a0117dc
- Fixed: missing assignment in Formula::Cnf::C::Substitute(). · 59267a5a
  Christoph Schwering authored Nov 10, 2014
  59267a5a
- Fixed: splitting only initial literals is not sufficient. · c6c66a8a
  Christoph Schwering authored Nov 10, 2014
  c6c66a8a
- Preliminary version of the demo kitchen BAT. · 88838c16
  Christoph Schwering authored Oct 27, 2014
  88838c16
- Documentation of ECLiPSe-CLP interface. Changed arg-order of entails/3. · bff6ab77
  Christoph Schwering authored Nov 10, 2014
  
  bff6ab77
- Fixed: PEL(c) contains dynamic literals from the query clause. · 71c0d426
  Christoph Schwering authored Nov 10, 2014
  71c0d426
- New ECLiPSe-CLP interface. · 35980a5d
  Christoph Schwering authored Nov 10, 2014
  35980a5d
- Unit test for formulas. · 34d652a6
  Christoph Schwering authored Nov 10, 2014
  
  34d652a6
Nov 09, 2014
- Cosmetic changes to make cpplint happy. · 34750504
  Christoph Schwering authored Nov 09, 2014
  
  34750504
- Renamed Query to Formula. Prepared for Regression. Added unit test. · 12d15fcc
  Christoph Schwering authored Nov 09, 2014
  
  12d15fcc
- Implemented complex queries. · 285b3f89
  Christoph Schwering authored Nov 09, 2014
  285b3f89
Nov 08, 2014
- Setup::AddClause instantiates box clauses for {} immediately. · 82306e12
  Christoph Schwering authored Nov 08, 2014
  82306e12
Nov 07, 2014
- Fixed: Setup::GroundBoxes(z) didn't ground for z. · 977d5057
  Christoph Schwering authored Nov 07, 2014
  977d5057
- Removed old ESBL code. · 3bbdd863
  Christoph Schwering authored Nov 07, 2014
  
  3bbdd863
- Removed old test code. · 0cf0dcfd
  Christoph Schwering authored Nov 07, 2014
  
  0cf0dcfd
- Fixed: Setups::PropagateBeliefs() built belief setups incorrectly. · 22057978
  Christoph Schwering authored Nov 07, 2014
  22057978
- Generated BAT's names are capitalized but not all-uppercase. · d2fb0b02
  Christoph Schwering authored Nov 07, 2014
  d2fb0b02
- Fixed: assertion in Setup::PropagateUnits() to allow non-units. · 8abd2baa
  Christoph Schwering authored Nov 07, 2014
  8abd2baa
- Added KBat, BBat classes for generated knowledge/belief BATs. · 874c3294
  Christoph Schwering authored Nov 07, 2014
  
  874c3294
- Implemented belief setups. · feb0fbcd
  Christoph Schwering authored Nov 07, 2014
  
  feb0fbcd
Nov 06, 2014
- Simplified generated BATs. · faa83322
  Christoph Schwering authored Nov 06, 2014
  
  faa83322
- Removed useless includes. · 892e1de9
  Christoph Schwering authored Nov 06, 2014
  892e1de9
- Simplified inconsistency management. · daf617b1
  Christoph Schwering authored Nov 06, 2014
  daf617b1
- Fixed Setup::SubsumesWithSplit(). Faster Setup::PropagateUnits(). · 30e2aaa2
  Christoph Schwering authored Nov 06, 2014
  30e2aaa2
- H+ is kept in sync implicitly by Setup::AddClause(). · 105eae5c
  Christoph Schwering authored Nov 06, 2014
  105eae5c
- Boxes are now grounded implicitly by Setup::Entails(). · 6322c8a8
  Christoph Schwering authored Nov 06, 2014
  6322c8a8
- Fixed: Pel(l) = {a | a in Rel(l) and ~a Rel(l)} does work. · 7e05445d
  Christoph Schwering authored Nov 06, 2014
  7e05445d
- Bugfixes in Term, Literal, Ewff, Clause, Setup. · 438c158a
  Christoph Schwering authored Nov 05, 2014
  438c158a
Nov 05, 2014
- Proper+ compiler generates C++ code. · d2666a27
  Christoph Schwering authored Nov 05, 2014
  d2666a27
- Full implementation of Setup class. · a479876d
  Christoph Schwering authored Nov 05, 2014
  a479876d
Nov 04, 2014
- Clause ewffs are restricted to clause variables. · 2bd5b783
  Christoph Schwering authored Nov 04, 2014
  2bd5b783
- Fixed: comparison function in Clause::Subsumes(). · 8235dbdf
  Christoph Schwering authored Nov 04, 2014
  8235dbdf
- Fixed box unification. · 3da68075
  Christoph Schwering authored Nov 04, 2014
  3da68075
- Fixed: Term::[Match|Unify] should fail for different size sequences. · f63c42f6
  Christoph Schwering authored Nov 04, 2014
  
  f63c42f6
Nov 03, 2014
- Subsumption of clauses with ewffs. · e242263e
  Christoph Schwering authored Nov 04, 2014
  e242263e
Oct 31, 2014
- Drastically restricted ewffs. · c1f105f2
  Christoph Schwering authored Oct 31, 2014
  c1f105f2