	Словари, Словарь Dictionary
	Словари, Словарь Dictionary Online computer dictionary - Свободный компьютерный английский словарь О сайте 10 самых Словари Обратная связь

! & ( * , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = @ %
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ { ~

L& L- L0 L1 L2 L6 LA LB LC LD LE LF LG LH LI LK LL LM LN LO LP LR LS LT LU LV LW LY LZ

Lambda-Prolog

Lambda-Prolog An extension of standard defined by D.A. Miller, in which terms are lambda-terms. s are s. The main novelties are on s and implication. The compiler uses the abstract memory system. {(ftp://ftp.irisa.fr/pm/pm.tar.Z)} E-mail: . Mailing list: prolog-mali@irisa.fr. ["Higher-order logic programming", Miller D.A. and Nadathur G., 3rd International Conference on Logic Programming, pp 448-462, London 1986]. [Nadathur G. "A Higher-Order Logic as a Basis for Logic Programming", Thesis, University of Pennsylvania, 1987]. (1995-02-21)

на заглавную

О сайте • 10 самых • Словари • Обратная связь

к началу страницы

XHTML | CSS

1.8.11