Goedel

(language)(After the mathematician Kurt G?del) Adeclarative, general-purpose language for artificial intelligence based on logic programming. It can beregarded as a successor to Prolog. The type system isbased 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 providesconstraint solving in several domains. It also offersmetalogical facilities that provide significant support formetaprograms that do analysis, transformation, compilation,verification, and debugging.

A significant subset of Goedel has been implemented on top ofSISCtus Prolog by Jiwei Wang .

FTP Bristol, UK, FTP K U Leuven.

E-mail: .

单词	goedel
释义	DictionarySeeKurt Godel Goedel Goedel (language)(After the mathematician Kurt G?del) Adeclarative, general-purpose language for artificial intelligence based on logic programming. It can beregarded as a successor to Prolog. The type system isbased 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 providesconstraint solving in several domains. It also offersmetalogical facilities that provide significant support formetaprograms that do analysis, transformation, compilation,verification, and debugging. A significant subset of Goedel has been implemented on top ofSISCtus Prolog by Jiwei Wang . FTP Bristol, UK, FTP K U Leuven. E-mail: .
随便看	florida basketball and volleyball association florida bay initiative, inc. florida beach patrol chiefs association florida bean florida bicycle association florida birding festival florida birth-related neurological injury compensation association florida black belt association florida black business expo florida black business investment board, inc. florida black business support corporation floridablanca, count of floridablanca, josé moñino, conde de florida blueberry growers association florida board of landscape architecture florida board of nursing florida board of professional engineers florida botanical gardens foundation, inc. florida brain tumor association florida breeders sales association florida breeding bird atlas florida business brokers association florida business incubation association florida business technology association florida business travel association