Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Logtalk 2.x development version
-
BANpipe is logic-based pipeline programming language
-
Interpreters interpreting interpreters interpreting...
-
Prolog and Logtalk experiments, stuff
-
Declarative Business Processes Modeling
-
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.
-
Example for logtalk of predator prey simulation
Logtalk 3 -
An encoding of the Boolean co-clone lattice in Logtalk, with tools for constructing weak bases.
-
L-FLAT - Logtalk Formal Language and Automata Toolkit
-
Automatically exported from code.google.com/p/lgtstep
Logtalk 2 -
BANpipe is logic-based pipeline programming language
-
Prolog and Logtalk experiments, stuff
-
Logtalk 3.x development version
-
Logtalk 2.x development version
-
Logtalk 3.x development version
-
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
-
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
-
Interpreters interpreting interpreters interpreting...
-
Declarative Business Processes Modeling
-
BANpipe is logic-based pipeline programming language
-
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.
-
Logtalk 3.x development version
-
L-FLAT - Logtalk Formal Language and Automata Toolkit
-
Logtalk 3.x development version
-
Logtalk Built by
