typed prolog? 
Author Message
 typed prolog?

has any work been done on type-checking and/or -inference in prolog?
for a high-level language this is a glaring omission.

i've found that modifying someone else's prolog code is a pain
because of the lack of types.

        just curious,

        bert.



Sat, 07 May 1994 11:10:23 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. A Type checking/reconstruction procedure for Typed-Prolog

2. Typed Prolog Question (and Clark completion)

3. Typed Prolog Question

4. typed PROLOG

5. Typed Prologs/logic-languages -- any available?

6. Typed Prolog : Revised paper + code

7. ML-style type inference in Prolog??

8. Prolog type equivalence?

9. soft typing for prolog

10. soft typing in prolog

11. How does Prolog implement Primitive, Structured and User-defined data types.Y

12. Data type in Prolog

 

 
Powered by phpBB® Forum Software