Logic and (concurrent) constraint programming

Organisations

Prolog

Downloadable prolog systems

Companies and various links

Alternatives and extensions

Online Tutorials and books

Examples

Computational and Mathematical Logic

Valid HTML 4.01!