typedprolog

from The Free On-line Dictionary of Computing (8 July 2008)
TypedProlog

   <language> A {strongly typed} {logic programming} language.

   (1995-03-25)
    

[email protected]