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


  1  definition  found 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
    (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  K  U 
  Leuven  (}. 
  E-mail:  .