TypedProlog
<language>
A strongly typed logic programming language.
Last updated: 1995-03-25
Nearby terms:
type class ♦ typed lambda-calculus ♦ TypedProlog ♦ typeface ♦ type inference
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
