Skip to Content

Tags

1 document / tag : Cradle / 2P-Kt

Web Server per l’utilizzo di Solver di Logic Programming — Lorenzo Osimani

[ tag cloud / 2P-Kt ]

1 document / tag : Cradle / tuProlog

Web Server per l’utilizzo di Solver di Logic Programming — Lorenzo Osimani

[ tag cloud / tuProlog ]

2P

home • publications • talks • tags • people • documents • downloads • license • contacts • resources • related

2P / Resources

2P-Kt

releases • sources • docs • Web IDE

tuProlog

sources • guide

social

2P / Related

tuProlog • 2P-Kt • Arg2P • LPaaS • ReSpecT • TuCSoN

2P / License

The two implementations carry different licences.

2P-Kt — Apache 2.0

The Kotlin ecosystem is open source software, released under the Apache 2.0 License, which allows commercial derivative work.

Details on the 2P-Kt pages.

tuProlog — LGPL

The Java engine is released under the GNU Lesser General Public License — LGPL 2.1 for the early versions, LGPL 3.0 from version 2.8 on — which allows commercial derivative work as well.

Details on the tuProlog pages.