browse words by letter
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
goedel


goedel


  1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  Goedel 
 
    (After  the  mathematician  {Kurt  Gödel})  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  set}s. 
 
  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 
  {metaprogram}s  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)