Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
LogtalkDotOrg / logtalk3
Logtalk 3.x development version
-
LogtalkDotOrg / logtalk2
Logtalk 2.x development version
-
Joelbyte / verdi-neruda
Interpreters interpreting interpreters interpreting...
-
cth / banpipe
BANpipe is logic-based pipeline programming language
-
igler / ESProNa
Declarative Business Processes Modeling
-
java-prolog-connectivity / mapquery
The MapQuery application allows a user to query geographical data with a RIA interface using logic. It is conceived as a validation and usage example of the JPC library.
-
Joelbyte / weak-bases
An encoding of the Boolean co-clone lattice in Logtalk, with tools for constructing weak bases.
-
koryonik / logtalk-experiments
Prolog and Logtalk experiments, stuff
-
pmoura / lgtstep
Automatically exported from code.google.com/p/lgtstep
-
l-flat / lflat
L-FLAT - Logtalk Formal Language and Automata Toolkit
-
pmoura / weak-bases
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
-
jamiepg1 / weak-bases
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
-
jamiepg1 / mapquery
The MapQuery application allows a user to query geographical data with a RIA interface using logic. It is conceived as a validation and usage example of the JPC library.
-
jamiepg1 / banpipe
BANpipe is logic-based pipeline programming language
-
pmoura / banpipe
BANpipe is logic-based pipeline programming language
-
jburse / logtalk3
Logtalk 3.x development version
-
brianleepzx / logtalk3
Logtalk 3.x development version
-
jamiepg1 / logtalk3
Logtalk 3.x development version
-
hyiltiz / logtalk3
Logtalk 3.x development version
-
jamiepg1 / ESProNa
Declarative Business Processes Modeling
-
jamiepg1 / logtalk2
Logtalk 2.x development version
-
jamiepg1 / verdi-neruda
Interpreters interpreting interpreters interpreting...
-
LogtalkDotOrg / logtalk-experiments
Prolog and Logtalk experiments, stuff