Free/Shareware Extended Logic Languages

Contents

• Goedel Version 1.3

• Lygon

• Mercury 0.4

• SEL Version 2

• Wild_LIFE

• XOLDT on SICStus

• XSB Version 1.2