4.2.3

4.2.3 (2024-02-15)

Documentation

• website: make demo project link point to the correct branch (61392be)

4.2.2

4.2.2 (2024-02-15)

Dependency updates

• deps: update dependency scala to v3.3.2 (09b938b)

Documentation

• website: move to docusaurus v3 (#51) (bd2a581)

4.2.1

4.2.1 (2024-02-15)

Dependency updates

• deps: update dependency clsx to ^2.0.0 (730ca16)
• deps: update dependency io.cucumber:cucumber-core to v7.15.0 (3b94623)
• deps: update dependency io.cucumber:cucumber-scala to v8.20.0 (beea092)
• deps: update dependency it.unibo.tuprolog:solve-classic-jvm to v0.31.21 (1d81953)
• deps: update dependency org.scalatestplus:junit-5-10 to v3.2.18.0 (3f1f7fe)
• deps: update dependency org.wartremover:wartremover to v3.1.6 (5612b46)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.85 (b101e4d)
• deps: update node.js to 20.11 (a5031aa)
• deps: update scalatestversion to v3.2.18 (47efeaa)

Bug Fixes

• solver-tuprolog: add unimplemented methods on the term to 2pkt-Term visitor (4c41dff)

General maintenance

• update README (a429610)
• update readme and website (109df99)
• update website (0e1f197)

4.2.0

4.2.0 (2023-12-18)

Features

• dsl: add a - b term extension (a7e4fcf)

Dependency updates

• deps: update dependency it.unibo.tuprolog:solve-classic-jvm to v0.31.19 (623fd6f)
• deps: update dependency sbt/sbt to v1.9.8 (f851cc0)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.80 (7967401)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.81 (7f397de)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.82 (dd0e7cf)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.83 (57bdcbf)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.84 (98873dc)

General maintenance

• minor improvements (3f21c23)
• typo in a filename (06aebcc)
• update readme (1706104)
• website: add architectural design (2b95d8c)
• website: add diagrams to detailed design (5757b79)
• website: change Documentazione to Report (2494cda)
• website: edit architectural diagram (39bb5e7)
• website: fix errors (85c4ed0)
• website: remove unused title (f3c1264)
• website: update index (84551ef)
• website: update index page (ce99646)
• website: update readme (303e2e6)

4.1.0

4.1.0 (2023-12-10)

Features

• dsl: add method to create struct and numeric constants (ab57ca5)

Bug Fixes

• dsl: always create a new prolog theory when invoking the prologProgram builder (1fdc5f1)
• dsl: fix loosing first term when using ruleOf method in PrologDSL (181d684)

General maintenance

• website: draft implementations (152da12)

Refactoring

• dsl: use the power of mixins (23db53e)

4.0.4

4.0.4 (2023-12-10)

Documentation

• website: enable scala syntax highlighting (7e38081)

General maintenance

• website: add java to prism supported languages to enable scala syntax highlighting (2a93764)

4.0.3

4.0.3 (2023-12-10)

Documentation

• website: add some implementation stuff (7181763)

4.0.2

4.0.2 (2023-12-10)

Documentation

• website: add implementation (90edb7b)
• website: image link (c56d598)
• website: image link (1543aa9)

4.0.1

4.0.1 (2023-12-10)

Documentation

• website: fix typos on detailed design (5842996)

General maintenance

• uml: add plantuml diagrams (e382338)

4.0.0

4.0.0 (2023-12-09)

⚠ BREAKING CHANGES

• 2p-Kt-solver: reduce visibility of the tuprolog package

Features

• dsl: add G, I, J, K, M, O, P, Q, R, U and V variables (2fc8a14)

Documentation

• website: add requirements (2ddbcb2)
• website: begin writing detailed design stuff (0169133)

General maintenance

• fix logos links (1d2c463)
• update README (a07d825)
• website: add logos (12fadde)
• website: change website logos (432caea)

Style improvements

• comply with scalafmt (f006cfe)

Refactoring

• 2p-Kt-solver: reduce visibility of the tuprolog package (b179303)
• final override method functor directly in clause instead of in rule and in fact (4c0c285)