TypedProlog

A strongly typed logic programming language.

1
Show
Maximize