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