A polymorphic type system for prolog

1984/08/01 by Alan Mycroft, Richard A. O'Keefe, Richard O’Keefe · 4 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge

paper · doi:10.1016/0004-3702(84)90017-1

Cited by

• MaudeTypedLog: A Typed Interpreter for Prolog in Maude
• Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)
• A bottom-up polymorphic type inference in logic programming
• Exploiting Term Hiding to Reduce Run-time Checking Overhead