soft typing in prolog 
Author Message
 soft typing in prolog

Hi,

I'm interested in soft typing and prolog. I' would like to hear if
anybody knows of a soft typing system developed for prolog, either
theoretical or implemented.

Regards
S{*filter*}



Sat, 22 May 2004 18:25:18 GMT  
 soft typing in prolog
Hi,

I'm interested in soft typing, and I would like to hear if anybody
knows of a soft typing system developed for prolog, either i theory or
even implemented.

Thanks
S{*filter*}



Sat, 22 May 2004 18:43:29 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. soft typing for prolog

2. static vs dynamic/soft typing

3. soft typing for Scheme

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

5. ML-style type inference in Prolog??

6. Prolog type equivalence?

7. Typed Prolog Question (and Clark completion)

8. Typed Prolog Question

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

10. Data type in Prolog

11. Prolog data types/control structures

12. Visual Prolog's type system

 

 
Powered by phpBB® Forum Software