翻訳と辞書 Words near each other ・ go gold ・ go root ・ go voice ・ go-faster stripes ・ go-go ・ goal ・ goal seek ・ gobble ・ godwin's law ・ godzillagram ・ goedel ・ gofer ・ goffin ・ gol ・ golden ・ golf ball printer ・ gom ・ gonk ・ gonkulator ・ good Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク goedel ： FOLDOC Goedel (After the mathematician {Kurt Gdel}) A declarative, general-purpose language for artificial intelligence based on logic programming. It can be regarded as a successor to Prolog. The {type system} is based on {many-sorted logic} with parametric polymorphism. Modularity is supported, as well as {infinite precision arithmetic} and {finite sets}. Goedel has a rich collection of system modules and provides constraint solving in several domains. It also offers {metalogical} facilities that provide significant support for {metaprograms} that do analysis, transformation, compilation, verification, and debugging. A significant subset of Goedel has been implemented on top of {SISCtus Prolog} by Jiwei Wang . {FTP Bristol, UK (ftp://ftp.cs.bris.ac.uk/goedel)}, {FTP K U Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel)}. E-mail: . (1995-05-02) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.