20 skills found
sebdumancic / Pylo2Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
cryptoque / Prolog Blog EngineA dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.
taij33n / PicolispVery fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, namespaces and native function calls. This github is used to build the Arch Linux AUR package.
raydac / JprolYet another Java based Prolog engine
adrian-prantl / Adventurean advanced text adventure engine with a web interface, written in prolog
fatho / LogruLog(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.
tani / EprologProlog Engine in Emacs Lisp
CapelliC / Hitchhicker PrologJavascript porting of Paul Tarau latest Prolog Engine architecture
aarroyoc / TeruelTemplate engine for ISO Prolog, based on Jinja and Tera
leonardoalt / SolPrologV2A Prolog engine written in Solidity.
jamis / Logic EngineProlog-inspired logic engine in Ruby, with backtracking
SWI-Prolog / Packages PenginesPengines: Prolog engines
zebreus / Prolog ChessA simple minimax chess engine written in prolog
catseye / Cardboard PrologMIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme
UCL / Grid Engine Prolog ScriptsSome prolog/epilog Scripts we use with Grid engine on our cluster
espakm / Prolog4jEasy to use interface over Prolog engines for Java.
David-dp- / ATOMOriginally, ATOM (Automated Theory of Mind) was intended to be a rule-based simulation of how people form intentions from goals, beliefs, and other states. It also aimed to model how people monitor their progress on intentions. It was to be implemented in Prolog (for the agent reasoning parts) and in Java (for simulated physical environments for the agents, and for generating graphical views). The Prolog portion would require infrastructure that isn't built-in to Prolog in order for unit-testing to be possible, and we need automated testing for the ever-larger chunks of reasoning that each agent will be designed to do. Such tests require tight control of initial conditions, such as the environment, and the plan was that, eventually, the Prolog unit-tester would be integrated with a parent TestNG tester in Java. At this point, ATOM is an inference engine capable of both backward and forward-chaining, and of maintaining a trace of its reasoning. Such traces are used to verify the reasoning, and this aspect of the original design was achieved. However, the objective to simulate attributions of mental states, particularly now when we have chosen to use simple animations like Heider and Simmel's (1944), appears to require an ability to propagate constraints before committing to var bindings. For constraint propagation, we are moving away from Amzi Prolog (which nonetheless has the best Prolog debugger I've seen) to ECLiPSe which is another flavor of Prolog whose primary use is constraint propagation and which has an active user base that includes AI researchers. We plan to continue using ATOM as the core reasoning engine of the Wayang project, which is ECLiPSe-based and has already been embedded in Java (allowing for integrations such as Adobe SWF-parsing, visualizations, and the TestNG testing framework). --David Pautler 2009-12-04
DouglasRMiles / SxxMachineC++ Prolog/Datalog Inference Engine
mlisicki / InferenceEngineInference engine for 3D object recognition in Prolog
gpiancastelli / Tuprolog 5The core of tuProlog (a small and extensible Prolog engine) rewritten in Java 5.
