TypedProlog

<language>

A strongly typed logic programming language.

Last updated: 1995-03-25

Nearby terms:

type classtyped lambda-calculusTypedPrologtypefacetype inference

Try this search on Wikipedia, OneLook, Google


Loading