Links

  • Old issues (pre 2010) of the ALP Newsletters
  • Planet Prolog blog (mantained by Tom Schrijvers)
  • National associations for logic programming:
    • GULP: Gruppo Ricercatori e Utenti Logic Programming (Italy)
  • Prolog systems:
  • Answer set programming systems:
  • Extensions of logic programming:
    • Logtalk Object-oriented logic programming language
    • TOY A constraint functional logic system
    • The ProB Animator and Model Checker