Well-Typed Logic Programs Are not Wrong

What this record says

We consider prescriptive type systems for logic programs (as in Goedel or Mercury). In such systems, the typing is static,

CATALOG · The abstract is indexed.