TypedProlog

(language)   A strongly typed logic programming language.

Last updated: 1995-03-25


Loading