17 skills found
LogtalkDotOrg / Logtalk3Logtalk - declarative object-oriented logic programming language
LogtalkDotOrg / Logtalk2Logtalk 2.x development version
sandogeorge / WebtalkFramework for creating web applications using Logtalk
l-flat / LflatL-FLAT - Logtalk Formal Language and Automata Toolkit
PaulBrownMagic / TicTacToeTalkTicTacToe implemented in Logtalk
lindseyspratt / Bacon LogtalkBacon system based on "Scientific Discovery" by Langley, Simon, Bradshaw, and Zytkow.
koryonik / Logtalk ExperimentsProlog and Logtalk experiments, stuff
logtalk-actions / Setup Swi PrologSetup SWI-Prolog action
LogtalkDotOrg / Logtalk.orgLogtalk website
LogtalkDotOrg / Pack RegistriesA list of public available Logtalk and Prolog pack registries
PaulBrownMagic / SituationsProtocols for Situation interpretations in Logtalk
PaulBrownMagic / SitCalcA generic framework for passing round "state" in Logtalk applications based on Situation Calculus
LogtalkDotOrg / Asdf Logtalkasdf plugin for Logtalk
LogtalkDotOrg / TalkshowA collection of Logtalk packs from various sources
Joelbyte / Weak BasesAn encoding of the Boolean co-clone lattice in Logtalk, with tools for constructing weak bases.
PaulBrownMagic / FramesA framework for frames in Logtalk
PaulBrownMagic / STRIPStateA STRIPS/Situation Calculus handler for handling state in Logtalk applications without mutation.
