Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
PIKA-lab
tuProlog
2P-Kt
Merge requests
Open
2
Merged
120
Closed
7
All
129
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Equation symbol in DSL
!44
· created
Nov 19, 2019
by
Enrico Siboni
enhancement
Merged
updated
Nov 19, 2019
Updated kotlin and gradle versions
!43
· created
Nov 19, 2019
by
Enrico Siboni
Merged
updated
Nov 19, 2019
Fixed '\+'/1 implementation in CommonRules
!42
· created
Nov 19, 2019
by
Enrico Siboni
bug
enhancement
Merged
updated
Nov 20, 2019
The ArithmeticEvaluator dynamic checks were not checking the correct Term
!41
· created
Nov 19, 2019
by
Enrico Siboni
bug
enhancement
Merged
updated
Nov 19, 2019
"solve-streams" further Conjunction re-thinking
!40
· created
Nov 17, 2019
by
Enrico Siboni
enhancement
Merged
updated
Nov 19, 2019
solve-streams sub-project refactoring
!39
· created
Nov 03, 2019
by
Enrico Siboni
enhancement
Merged
updated
Nov 14, 2019
Resolve "Rewrite PrologFunction to adhere to Request-Response pattern"
!38
· created
Oct 29, 2019
by
Enrico Siboni
enhancement
Merged
updated
Oct 30, 2019
Resolve "Substitution compliance with Prolog Standard"
!37
· created
Oct 27, 2019
by
Enrico Siboni
enhancement
specification
Merged
6
updated
Nov 01, 2019
Feature "Fix numbers unification"
!35
· created
Oct 25, 2019
by
Giovanni Ciatto
Merged
3
Approved
updated
Oct 26, 2019
Resolve "Prolog "is/2" primitive implementation and functions support"
!34
· created
Oct 22, 2019
by
Enrico Siboni
enhancement
Merged
updated
Oct 26, 2019
DSL + Common testing for solve modules
!33
· created
Oct 13, 2019
by
Giovanni Ciatto
Merged
updated
Oct 13, 2019
"Term.variables" implementation and testing
!32
· created
Sep 20, 2019
by
Enrico Siboni
enhancement
Merged
updated
Sep 20, 2019
Resolve "Indicator interface"
!31
· created
Aug 01, 2019
by
Enrico Siboni
code-quality
enhancement
modularity
Merged
updated
Aug 01, 2019
Resolve "Unification bug, preventing it from termination"
!30
· created
Jul 31, 2019
by
Enrico Siboni
bug
critical
Merged
updated
Jul 31, 2019
Solve module creation
!29
· created
Jul 29, 2019
by
Enrico Siboni
Merged
Approved
updated
Oct 09, 2019
Resolve "ClauseDatabase clauses' checks"
!28
· created
Jul 26, 2019
by
Enrico Siboni
enhancement
specification
Merged
2
updated
Jul 28, 2019
Moved Factories and added as to Term interface
!27
· created
Jul 25, 2019
by
Enrico Siboni
Merged
updated
Jul 25, 2019
Resolve "RETE indexes should be finely tested"
!26
· created
Jul 19, 2019
by
Enrico Siboni
feature/theory-optimization-and-testing
code-quality
development-process
specification
Merged
updated
Jul 24, 2019
Resolve "Clause isWellFormed"
!25
· created
Jul 18, 2019
by
Enrico Siboni
enhancement
specification
Merged
updated
Jul 18, 2019
Hashes in rete
!24
· created
Jul 18, 2019
by
Giovanni Ciatto
Merged
updated
Jul 18, 2019
Prev
1
2
3
4
5
6
Next