包名 | 最新版本 | 版本数 | 类型 | 最近更新 |
---|---|---|---|---|
|- prolog.terms.Trail
|- prolog.interp.Unfolder
|- prolog.terms.FunBuiltin
|
0.2.3 | jar | 2022-09-08 17:47:53 | |
|- io.github.prolobjectlink.prolog.tuprolog.TuPrologList
|- io.github.prolobjectlink.prolog.tuprolog.TuPrologFalse
|- io.github.prolobjectlink.prolog.tuprolog.TuPrologInteger
|
1.1 | bundle | 2022-06-02 21:13:46 | |
|- io.github.prolobjectlink.prolog.jpl7.JplMap
|- io.github.prolobjectlink.prolog.jpl7.JplOperator
|- io.github.prolobjectlink.prolog.jpl7.JplTrue
|
1.1 | bundle | 2022-06-02 20:48:08 | |
|- io.github.prolobjectlink.prolog.jpl.JplClauses
|- io.github.prolobjectlink.prolog.jpl.JplCut
|- io.github.prolobjectlink.prolog.jpl.JplTerm
|
1.1 | bundle | 2022-06-02 20:32:15 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.2.3 | jar | 2024-02-16 01:12:38 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.2.2 | jar | 2024-02-16 01:05:03 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.2.1 | jar | 2024-02-15 23:48:06 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.2.0 | jar | 2023-12-18 22:55:49 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.1.0 | jar | 2023-12-11 06:30:43 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.0.4 | jar | 2023-12-10 23:56:16 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.0.3 | jar | 2023-12-10 19:57:16 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.0.2 | jar | 2023-12-10 18:50:40 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.0.1 | jar | 2023-12-10 09:12:50 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
4.0.0 | jar | 2023-12-10 02:38:10 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.visitors.ToInstanceTermVisitor
|- io.github.kelvindev15.prolog.core.PrologList
|
3.0.0 | jar | 2023-12-09 01:40:58 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.core.PrologList
|- io.github.kelvindev15.prolog.core.Struct
|
2.0.0 | jar | 2023-12-07 19:11:55 | |
|- io.github.kelvindev15.prolog.Application
|- io.github.kelvindev15.prolog.core.PrologList
|- io.github.kelvindev15.prolog.core.Struct
|
1.0.3 | jar | 2023-12-02 00:24:59 | |
|- io.github.prolobjectlink.prolog.jpl7.JplMap
|- io.github.prolobjectlink.prolog.jpl7.JplOperator
|- io.github.prolobjectlink.prolog.jpl7.JplTrue
|
1.1 | bundle | 2022-06-03 01:05:46 | |
|- io.github.prolobjectlink.prolog.jpl7.JplInteger
|- io.github.prolobjectlink.prolog.jpl7.JplCut
|- io.github.prolobjectlink.prolog.jpl7.JplConverter
|
1.0 | bundle | 2020-09-13 07:47:20 | |
|- io.github.prolobjectlink.prolog.jpl.JplNumber
|- io.github.prolobjectlink.prolog.jpl.JplProgram
|- io.github.prolobjectlink.prolog.jpl.JplConverter
|
1.0 | bundle | 2020-04-20 09:53:47 | |
|- io.github.prolobjectlink.prolog.jlog.JLogCut
|- io.github.prolobjectlink.prolog.jlog.JLogEngine
|- io.github.prolobjectlink.prolog.jlog.JLogNumber
|
1.1 | bundle | 2022-06-02 20:21:18 | |
|- io.github.prolobjectlink.prolog.tuprolog.TuPrologLogger
|- io.github.prolobjectlink.prolog.tuprolog.TuPrologEmpty
|- io.github.prolobjectlink.prolog.tuprolog.TuPrologJavaConverter
|
1.0 | bundle | 2020-04-20 09:56:01 | |
|- io.github.prolobjectlink.prolog.jpl7.swi7.SwiProlog7Console
|- io.github.prolobjectlink.prolog.jpl7.JplInteger
|- io.github.prolobjectlink.prolog.jpl7.JplCut
|
1.0 | bundle | 2020-09-13 07:55:43 | |
|- io.github.prolobjectlink.prolog.jlog.jLong
|- io.github.prolobjectlink.prolog.jlog.jFloat
|- io.github.prolobjectlink.prolog.jlog.JLogLogger
|
1.0 | bundle | 2020-04-20 09:46:58 | |
|- io.github.prolobjectlink.prolog.jtrolog.JTrologNil
|- io.github.prolobjectlink.prolog.jtrolog.JTrologCut
|- io.github.prolobjectlink.prolog.jtrolog.JTrologFormatter
|
1.0 | bundle | 2020-04-20 09:55:08 | |
|- io.github.prolobjectlink.prolog.jtrolog.JTrologAtom
|- io.github.prolobjectlink.prolog.jtrolog.JTrologDouble
|- io.github.prolobjectlink.prolog.jtrolog.JTrologFalse
|
1.1 | bundle | 2022-06-02 20:58:53 | |
|- io.github.prolobjectlink.prolog.jpl.yap.YapPrologJavaConverter
|- io.github.prolobjectlink.prolog.jpl.yap.YapPrologEngine
|- io.github.prolobjectlink.prolog.jpl.yap.YapPrologConverter
|
1.1 | bundle | 2022-06-03 00:41:19 | |
|- io.github.prolobjectlink.prolog.jpl.swi.SwiProlog
|- io.github.prolobjectlink.prolog.jpl.swi.SwiPrologConsole
|- io.github.prolobjectlink.prolog.jpl.swi.SwiPrologConverter
|
1.1 | bundle | 2022-06-03 00:36:13 | |
|- io.github.prolobjectlink.prolog.jpl.swi.SwiPrologScriptFactory
|- io.github.prolobjectlink.prolog.jpl.swi.SwiPrologConverter
|- io.github.prolobjectlink.prolog.jpl.swi.SwiPrologEngine
|
1.0 | bundle | 2020-04-20 09:59:26 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.9.117 | jar | 2016-11-03 01:06:41 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.9.97 | jar | 2016-06-27 18:51:00 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.9.77 | jar | 2016-06-13 18:55:03 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.22 | jar | 2015-11-13 19:56:58 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.21 | jar | 2015-09-28 22:13:10 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.20 | jar | 2015-09-28 18:56:16 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.19 | jar | 2015-09-28 17:23:48 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.18 | jar | 2015-09-24 18:18:11 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.17 | jar | 2015-05-12 23:27:35 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.16 | jar | 2015-05-01 17:07:58 | |
|- com.thesett.aima.logic.fol.prolog.builtins.BuiltInTransform
|- com.thesett.aima.logic.fol.prolog.builtins.True
|- com.thesett.aima.logic.fol.prolog.builtins.IntegerCheck
|
0.8.15 | jar | 2015-03-24 23:14:23 |