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