Mercury 13.05.1

Logic Programmiersprachen gibt es schon seit mehr als zwanzig Jahren. Trotz der erwarteten Vorteile einer sehr hohen Programmiersprache Grundlage gut entwickelt Theorien Logiküber herkömmlichen Programmiersprachen (wie C, C ++, Pascal und Ada) sie nicht...