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
Actions
Subscribe to RSS feed
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
Resolve "Consider the renaming "Unification" -> "Unificator""
!50
· created
Dec 03, 2019
by
Enrico Siboni
enhancement
suggestion
Merged
updated
Dec 03, 2019
Classic solver mutability removal
!49
· created
Nov 26, 2019
by
Enrico Siboni
Merged
Approved
updated
Nov 27, 2019
Renamed solve-streams solver class to adhere to module name
!48
· created
Nov 26, 2019
by
Enrico Siboni
Merged
updated
Nov 26, 2019
Added to build.gradle the ability to print test results for each sub-project
!47
· created
Nov 26, 2019
by
Enrico Siboni
enhancement
Merged
updated
Nov 27, 2019
Added a not test: not(not( a goal )) results in the initial "goal" solution but without substitutions
!46
· created
Nov 21, 2019
by
Enrico Siboni
Merged
updated
Nov 21, 2019
If-Then and If-Then-Else CommonRules fixing and testing
!45
· created
Nov 20, 2019
by
Enrico Siboni
bug
enhancement
Merged
updated
Nov 20, 2019
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
Signature "Struct.toSignature" -> "Struct.signature"
!36
· created
Oct 26, 2019
by
Enrico Siboni
Closed
1
updated
Oct 27, 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
Prev
1
2
3
4
5
6
7
Next