home.social

#λprolog — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #λprolog, aggregated by home.social.

  1. Hacker News @[email protected] ·

    ΛProlog: Logic programming in higher-order logic

    lix.polytechnique.fr/Labo/Dale

    #HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

    #hackernews #λprolog #logicprogramming #higherorderlogic #technews
  2. Hacker News @[email protected] ·

    ΛProlog: Logic programming in higher-order logic

    lix.polytechnique.fr/Labo/Dale

    #HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

    #hackernews #λprolog #logicprogramming #higherorderlogic #technews
  3. Hacker News @[email protected] ·

    ΛProlog: Logic programming in higher-order logic

    lix.polytechnique.fr/Labo/Dale

    #HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

    #hackernews #λprolog #logicprogramming #higherorderlogic #technews
  4. Hacker News @[email protected] ·

    ΛProlog: Logic programming in higher-order logic

    lix.polytechnique.fr/Labo/Dale

    #HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

    #technews #higherorderlogic #logicprogramming #λprolog #hackernews
  5. Hacker News @[email protected] ·

    ΛProlog: Logic programming in higher-order logic

    lix.polytechnique.fr/Labo/Dale

    #HackerNews #ΛProlog #LogicProgramming #HigherOrderLogic #HackerNews #TechNews

    #hackernews #λprolog #logicprogramming #higherorderlogic #technews
  6. lambdageek @[email protected] ·

    Inside every build system is an ad-hoc, informally-specified, bug-ridden, slow implementation of λProlog

    #buildSystem #msbuild #make #cmake #lisp #prolog #λProlog

    #buildsystem #msbuild #make #cmake #lisp #prolog