Type inference in Prolog: A new approach

DOI10.1016/0304-3975(93)90338-TzbMath0783.68023MaRDI QIDQ1311964

K. Musumbu, Marc-Michel Corsini

Publication date: 20 March 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Prologtype inferenceabstract interpretation

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Bottom-up abstract interpretation of logic programs
• Automatic mode inference for logic programs
• Deriving descriptions of possible values of program variables by means of abstract interpretation
• Abstract interpretation based on oldt resolution
• A type system for logic programs