翻訳と辞書 Words near each other ・ loglan ・ loglan'82 ・ loglan-88 ・ loglisp ・ logo ・ logol ・ logon ・ lojban ・ lol ・ lolita ・ lolli ・ lom ・ longitudinal parity ・ longitudinal redundancy check ・ look ・ look ahead left-to-right parse, rightmost-derivation ・ look ahead lr ・ look and feel ・ looking glass ・ looks Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク lolli ： FOLDOC Lolli (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic, written by Josh Hodas . Lolli can be viewed as a refinement of the {Hereditary Harrop formulas} of Lambda-Prolog. All the operators (though not the {higher order unification}) of Lambda-Prolog are supported, but with the addition of linear variations. Thus a Lolli program distinguishes between clauses which can be used as many, or as few, times as desired, and those that must be used exactly once. Lolli is implemented in SML/NJ. {(ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-0.7.tar.Z)}. [Josh Hodas et al, "Logic Programming in a Fragment of Intuitionistic Linear Logic", Information and Computation, to appear]. (1992-11-18) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.