Commits · 0.4.1 · PIKA-lab / tuProlog / 2P-Kt · GitLab

Dec 04, 2019
- Merge branch 'feature/substitution-bug-fix' into 'develop' · 38604569
  Enrico Siboni authored Dec 04, 2019
  View commits for tag 0.4.1 0.4.1
  38604569
- Added more system testing stressing the "substitution bug" solution · 4687585e
  Enrico Siboni authored Dec 04, 2019
  
  4687585e
- BugFix for Substitution type which is now completely Prolog Standard compliant... · 88bcee3a
  Enrico Siboni authored Dec 04, 2019
  88bcee3a
Dec 03, 2019
- Merge branch 'feature/kotlin-update' into 'develop' · 2d929a82
  Enrico Siboni authored Dec 03, 2019
  View commits for tag 0.4.0 0.4.0
  2d929a82
- Merge branch 'feature/unification-to-unificator' into 'develop' · 68e371b7
  Enrico Siboni authored Dec 03, 2019
  68e371b7
- Unification -> Unificator · 38a43f11
  Enrico Siboni authored Dec 03, 2019
  
  38a43f11
Dec 01, 2019
- Update kotlin 1.3.60 -> 1.3.61 · 3844886d
  Enrico Siboni authored Dec 01, 2019
  
  3844886d
Nov 27, 2019
- Merge branch 'feature/test-results-printing' into 'develop' · 08dc936f
  Giovanni Ciatto authored Nov 27, 2019
  08dc936f
- Merge branch 'feature/classic-immutable-solver' into 'develop' · e0915d94
  Giovanni Ciatto authored Nov 27, 2019
  e0915d94
Nov 26, 2019
- Merge branch 'feature/streams-solver-renaming' into 'develop' · 4f375b0d
  Enrico Siboni authored Nov 26, 2019
  4f375b0d
- Renamed solver class to adhere to module name: SolverSLD -> StreamsSolver · 2252aa44
  Enrico Siboni authored Nov 26, 2019
  
  2252aa44
- Renamed solver class, because now immutable. · 32100f74
  Enrico Siboni authored Nov 26, 2019
  
  32100f74
- Removed pointless mutability? · 6990c9cf
  Enrico Siboni authored Nov 26, 2019
  
  6990c9cf
- Added to build.gradle te ability to print test results for each sub-project · 59393344
  Enrico Siboni authored Nov 26, 2019
  
  59393344
Nov 21, 2019
- Merge branch 'feature/more-not-testing' into 'develop' · 5a25e0b1
  Enrico Siboni authored Nov 21, 2019
  View commits for tag 0.3.0 0.3.0
  5a25e0b1
- Merge branch 'develop' into feature/more-not-testing · 7e2909b8
  Enrico Siboni authored Nov 21, 2019
  
  7e2909b8
- Added a not test -> not(not( a goal )) results in the goal solution without substitutions · 79444965
  Enrico Siboni authored Nov 21, 2019
  
  79444965
Nov 20, 2019
- Merge branch 'feature/if-then-else-rule' into 'develop' · cd41b4af
  Enrico Siboni authored Nov 20, 2019
  cd41b4af
- Added if-then Prolog Standard testing · f205654b
  Enrico Siboni authored Nov 21, 2019
  
  f205654b
- Fixed/added if-then-else rule and tested · 8a3c4b47
  Enrico Siboni authored Nov 21, 2019
  
  8a3c4b47
- Merge branch 'feature/not-common-rule-fixed' into 'develop' · 87b6d30b
  Enrico Siboni authored Nov 20, 2019
  87b6d30b
- Added other not tests, refactoring the replacer for functors in an internal method · cc097fb4
  Enrico Siboni authored Nov 20, 2019
  
  cc097fb4
- Implemented not synonymous one upon the other, added solve-streams "Not"... · 5a86e993
  Enrico Siboni authored Nov 20, 2019
  5a86e993
- Miscellaneous Fixes · 48e37009
  Enrico Siboni authored Nov 20, 2019
  48e37009
Nov 19, 2019
- Merge branch 'develop' into feature/not-common-rule-fixed · c05baa18
  Enrico Siboni authored Nov 20, 2019
  c05baa18
- Merge branch 'feature/equation-in-dsl' into 'develop' · 081e35b3
  Enrico Siboni authored Nov 19, 2019
  081e35b3
- Added DSL equation symbol to create "unify" structure · 8fd2595b
  Enrico Siboni authored Nov 19, 2019
  
  8fd2595b
- Added to Prolog DSL the capability to convert "ToTermConvertible"s to terms,... · e1b8caba
  Enrico Siboni authored Nov 19, 2019
  e1b8caba
- Modified some "toAtom" methods into "toTerm" ones implementing "ToTermConvertible" · 23235d96
  Enrico Siboni authored Nov 19, 2019
  
  23235d96
- Added "ToTermConvertible" type, and implemented in classes which had a toTerm method · bd2a25cb
  Enrico Siboni authored Nov 19, 2019
  
  bd2a25cb
- Merge branch 'develop' into feature/equation-in-dsl · 74086a07
  Enrico Siboni authored Nov 19, 2019
  
  74086a07
- Merge branch 'feature/update-kotlin-version' into 'develop' · b3fc1fed
  Enrico Siboni authored Nov 19, 2019
  b3fc1fed
- Added "toTerm" instance method, to Equation type · 5b4cf62a
  Enrico Siboni authored Nov 19, 2019
  
  5b4cf62a
- Whole project auto-indentation after kotlin plug-in upgrade · 9c88565d
  Enrico Siboni authored Nov 19, 2019
  
  9c88565d
- Updated gradle 6.0 -> 6.0.1 · f059b53c
  Enrico Siboni authored Nov 19, 2019
  
  f059b53c
- Updating kotlin version 1.3.50 -> 1.3.60 · 8edad500
  Enrico Siboni authored Nov 19, 2019
  
  8edad500
- Merge branch 'feature/prolog-function-evaluation-check-fixed' into 'develop' · 117ef9b0
  Enrico Siboni authored Nov 19, 2019
  117ef9b0
- Merge branch 'feature/solve-streams-conjunction-refactoring' into 'develop' · ad578d68
  Enrico Siboni authored Nov 19, 2019
  ad578d68
- Fixed not implementation in CommonRules · 8bd52fa2
  Enrico Siboni authored Nov 19, 2019
  
  8bd52fa2
- The ArithmeticEvaluator dynamic checks were not checking the correct Term, now fixed · f6edae2c
  Enrico Siboni authored Nov 19, 2019
  
  f6edae2c