Similar repositories to logtalk-actions/setup-ciao-prolog:

• logtalk-actions/setup-ciao-prolog github similar
• Hookscript/lang-prolog-swi github similar
• PaulBrownMagic/LgtTclTk_injecting_egs github similar
• GavinMendelGleason/typo github similar
• PaulBrownMagic/Frames github similar
• igler/ESProNa github similar
• java-prolog-connectivity/mapquery github similar
• logtalk-actions/setup-swi-prolog github similar
• GunterMueller/C-Prolog github similar
• Joelbyte/verdi-neruda github similar
• cth/banpipe github similar
• swi-to-yap/swicli github similar
• SWI-Prolog-Education/talespin-annie github similar
• mndrix/prolog_library_ideas github similar
• LogtalkDotOrg/logtalk2 github similar
• VivoMind/unicode_data github similar
• leuschel/logen github similar
• ptarau/TypesAndProofs github similar
• haldai/Jurassic.pl github similar
• vscosta/yap github similar
• TheClause/learn-prolog github similar
• didoudiaz/gprolog github similar
• ClioPatria/ClioPatria github similar
• friguzzi/cplint github similar
• cdglabs/prolog-viz github similar
• josd/eye github similar
• wouterbeek/prolog_library_collection github similar
• fnogatz/CHR.js github similar
• arthwang/vsc-prolog github similar
• ciao-lang/ciao github similar
• vangelisv/thea github similar
• triska/clpfd github similar
• trealla-prolog/trealla github similar
• Web-Prolog/swi-web-prolog github similar
• LogtalkDotOrg/logtalk3 github similar
• hakank/hakank github similar
• webyrd/mediKanren github similar
• antalsz/hs-to-coq github similar
• SRI-CSL/yices2 github similar
• seahorn/seahorn github similar