UP      FCUP      DCC      CRACS      Yap Prolog

• Contact
• Bio
• Research
  • Service & Events
  • Projects
  • Prototypes
  • Alumni
  • Key Papers
  • Links
• Publications
• Talks & Posters
• Teaching

Useful Links

Association for Logic Programming

Association of Logic Programming Newsletter

World Wide Web Virtual Library: Logic Programming

Yap Prolog System

XSB Prolog System

SICStus Prolog System

CIAO Prolog System

SWI Prolog System

GNU Prolog System