All links of Leda

Imperial College London: Logic and Artificial IntelligenceImperial College London: Logic and Artificial Intelligence
XSBXSB
XEXE
PC AI - Logic ProgrammingPC AI - Logic Programming
Logic-Based Systems LabLogic-Based Systems Lab
TyRuBaTyRuBa
Axiomatic LanguageAxiomatic Language
DynaDyna
The World Wide Web Virtual Library: Logic ProgrammingThe World Wide Web Virtual Library: Logic Programming
COMPULOG NET: Network of Excellence: NoECOMPULOG NET: Network of Excellence: NoE
XcerptXcerpt
The Maude SystemThe Maude System
DBLP: Logic ProgrammingDBLP: Logic Programming
Journal of Logic ProgrammingJournal of Logic Programming
LPNMR ConferencesLPNMR Conferences
ALPALP
Informal introduction to StarlogInformal introduction to Starlog

Leda related site: