Source : Free On-Line Dictionary of Computing

TypedProlog
     
         A {strongly typed} {logic programming} language.
     
        (1995-03-25)