name=Goedel nameURL=http%3A%2F%2Fwww.cs.bris.ac.uk%2F%7Ebowers%2Fgoedel.html see= logo= type=L%20-%20Rule-based%20or%20logical desc=G%26ouml%3Bdel%20is%20an%20interpreted%20declarative%0D%0Alanguage%20based%20on%20typed%20first-order%20logic.%0D%0AIt%20was%20designed%20as%20a%20research%20vehicle%2C%20and%0D%0Aalso%20as%20a%20language%20for%20teaching%20logic%0D%0Aprogramming.%0D%0A%3Cbr%3E%0D%0AData%20types%20supported%20by%20G%26ouml%3Bdel%20include%0D%0Aintegers%2C%20rational%20and%20real%0D%0Anumbers%2C%20sets%2C%20strings%2C%20tuples%2C%20and%20symbols.%0D%0AThe%20language%20is%20strongly%20typed%2C%20and%20the%0D%0Atype%20mechanisms%20play%20an%20important%20role%20in%0D%0Adeclaring%20predicates.%0D%0AUnlike%20most%20logic-based%20languages%2C%20G%26ouml%3Bdel%0D%0Ahas%20a%20module%20system%20and%20cross-module%0D%0Atype%20enforcement.%0D%0A%3Cbr%3E%0D%0AG%26ouml%3Bdel%20is%20also%20intended%20for%20research%20%0D%0Ainto%20program%20generation%20and%20transformation%2C%0D%0Aparallel%20constraint%20programming%2C%20and%0D%0Ameta-programming.%0D%0A%3Cbr%3E%0D%0AThe%20only%20existing%20implementation%20of%20the%0D%0Alanguage%20was%20written%20on%20top%20of%20Prolog.%0D%0A%3Cbr%3E%0D%0AA%20substantial%0D%0Aimplementation%20of%20G%26ouml%3Bdel%20is%20available%20in%20source%0D%0Aform%2C%20as%20well%20as%20binaries%20for%20various%0D%0AUnix%20systems.%20%20Some%20documentation%20and%0D%0Aexample%20programs%20come%20with%20the%20distribution%2C%0D%0Abut%20real%20descriptions%20of%20the%20language%20are%0D%0Alimited%20to%20hardcopy%20books. origin=P.M.%20Hill%20%26amp%3B%20J.W.%20Lloyd%2C%201994. seealso=Escher%2C%20Prolog%2C%20Haskell remark=The%20developers%20of%20G%26ouml%3Bdel%20point%20out%20that%0D%0Asome%20of%20the%20weaknesses%20of%20Prolog%20%28lack%0D%0Aof%20data%20typing%2C%20lack%20of%20negation%20safety%2C%0D%0Aetc.%29%20are%20remedied%20by%20this%20newer%20language.%0D%0A%3Cbr%3E%0D%0AIt%20seems%20that%20development%20work%20%0D%0Aon%20G%26ouml%3Bdel%20has%20slowed%2C%20in%20favor%0D%0Aof%20work%20on%20Escher.%0D%0A links1=Goedel%20Download%20Area%20at%20U.%20of%20Bristol%3Dftp%3A%2F%2Fftp.cs.bris.ac.uk%2Fpub%2Fgoedel%2F links2=A%20simple%20Goedel%20example%20program%20explained%3Dhttp%3A%2F%2Fwww.cs.bris.ac.uk%2F%7Ebowers%2Fgoedel-example.html links3= links4= links5= date=Last%20updated%202%2F19%2F98 sample=%3Cpre%3E%0D%0A%25%20This%20is%20one%20of%20the%20example%20programs%20%0D%0A%25%20included%20with%20the%20V1.4%20distribution.%0D%0A%0D%0AMODULE%20%20%20%20%20EightQueens.%0D%0A%0D%0AIMPORT%20%20%20%20%20Lists.%0D%0A%0D%0A%0D%0APREDICATE%20%20Queen%20%3A%20List%28Integer%29.%0D%0A%0D%0AQueen%28x%29%20%3C-%0D%0A%20%20%20%20%20%20%20%20%20%20%20Safe%28x%29%20%26%0D%0A%20%20%20%20%20%20%20%20%20%20%20Permutation%28%5B1%2C2%2C3%2C4%2C5%2C6%2C7%2C8%5D%2C%20x%29.%0D%0A%0D%0APREDICATE%20%20Safe%20%3A%20List%28Integer%29.%0D%0ADELAY%20%20%20%20%20%20Safe%28x%29%20UNTIL%20NONVAR%28x%29.%0D%0A%0D%0ASafe%28%5B%5D%29.%0D%0ASafe%28%5Bx%7Cy%5D%29%20%3C-%0D%0A%20%20%20%20%20%20%20%20%20%20%20NoDiagonal%28x%2C1%2Cy%29%20%26%0D%0A%20%20%20%20%20%20%20%20%20%20%20Safe%28y%29.%0D%0A%0D%0APREDICATE%20%20NoDiagonal%20%3A%20Integer%20%2A%20Integer%20%2A%20List%28Integer%29.%0D%0ADELAY%20%20%20%20%20%20NoDiagonal%28_%2C_%2Cz%29%20UNTIL%20NONVAR%28z%29.%0D%0A%0D%0ANoDiagonal%28_%2C_%2C%5B%5D%29.%0D%0ANoDiagonal%28x%2Cy%2C%5Bz%7Cw%5D%29%20%3C-%0D%0A%20%20%20%20%20%20%20%20%20%20%20y%20%7E%3D%20Abs%28z%20-%20x%29%20%26%0D%0A%20%20%20%20%20%20%20%20%20%20%20NoDiagonal%28x%2Cy%2B1%2Cw%29.%0D%0A%3C%2Fpre%3E _store=1 _add=Godel _usertab=1 _usersearch=0 _format=full = name=GPSS nameURL= see= logo= type=M%20-%20Mathematical%20or%20Simulation desc=GPSS%2C%20the%20General%20Purpose%20Simulation%20System%2C%0D%0Ais%20a%20family%20of%20mostly-declarative%20languages%20designed%0D%0Afor%20discrete-event%20simulation%20and%20system%0D%0Amodelling.%0D%0A%3Cbr%3E%0D%0AA%20GPSS%20simulation%20program%20consists%20of%20a%0D%0Aset%20of%20blocks%2C%20and%20connections%20between%20them.%0D%0ABlock%20types%20include%20generators%2C%20queues%2C%0D%0Aservers%2C%20selectors%2Frouters%2C%20data%0D%0Acollectors%2C%20timing%20and%20computational%20nodes%2C%20and%20%0D%0Avarious%20other%20types.%20%20Data%20types%20supported%0D%0Ain%20simulation%20models%20varied%20between%0D%0Aversions%2C%20but%20usually%20included%20integers%2C%0D%0Areals%2C%20strings%2C%20and%20records.%20%20GPSS%20systems%0D%0Aalways%20had%20sophisticated%20random%20sample%0D%0Agenerators%20to%20model%20various%20probability%0D%0Adistributions%20that%20arise%20in%20modelling%20of%0D%0Areal-world%20processes.%0D%0A%3Cbr%3E%0D%0ASome%20versions%20of%20GPSS%20are%20still%20available%0D%0Afor%20sale%20commercially%2C%20no%20free%20versions%20%0D%0Aseem%20to%20be%20available.%20%20Documentation%20for%0D%0Athe%20language%20is%20not%20easily%20available%0D%0Aon-line. origin=G.%20Gordon%2C%20IBM%2C%201961. seealso=SLAM%2C%20Simscript remark=There%20were%20many%20dialects%20and%20editions%0D%0Aof%20GPSS%20in%20the%20period%20of%20about%201961-1991.%0D%0AIBM%20created%20GPSS%2C%20and%20sold%20GPSS%20II%20and%20III%2C%0D%0AGPSS%2F360%2C%20and%20GPSS%20V.%20%20Other%20vendors%0D%0Acreated%20advanced%20versions%20%28GPSS%2FH%2C%20%0D%0AGPSSR%2FPC%29%20and%20user-friendly%20versions%20%28GPSS%2FPC%29%2C%0D%0Aand%20Unix-oriented%20versions%20%28GPSS%2FC%29.%0D%0A%3Cbr%3E%0D%0AVersions%20of%20GPSS%20after%20about%201988%20supported%0D%0Avarious%20extensions%20for%20more%20sophisticated%0D%0Ainput%20and%20output.%20%20For%20example%2C%20GPSS%2FH%0D%0Asupports%20The%20Extended%20Simulation%20System%20%28TESS%29%2C%0D%0Awhich%20allowed%20simulations%20to%20employ%20relational%0D%0Adatabases%2C%20obtain%20input%20with%20forms%2C%20draw%0D%0Agraphs%2C%20etc.%20%20Some%20versions%20even%20supported%0D%0Aanimation%20of%20simulation%20execution.%0D%0A%3Cbr%3E%0D%0ABy%20the%20mid-1990s%2C%20GPSS%20had%20been%20largely%0D%0Asuperseded%20in%20industry%20by%20newer%20and%0D%0Amore%20interactive%20tools%2C%20and%20more%0D%0Asophisticated%20languages%20%28e.g.%20SimscriptII%29.%0D%0AIt%20may%20still%20be%20used%20as%20a%20teaching%20tool%0D%0Ain%20the%20study%20of%20discrete-event%20simulation%0D%0Atechniques. links1=GPSS%2FH%20at%20Meridian%20Marketing%3Dhttp%3A%2F%2Fwww.ppgsoft.com%2Fppgsoft%2Fwo_p1.html links2=GPSS%2FPC%20and%20other%20products%20at%20Meridian%20Marketing%3Dhttp%3A%2F%2Fwww.ppgsoft.com%2Fppgsoft%2Fgpssmain.html links3=Wolverine%20Software%2C%20home%20of%20GPSS%2FH%3Dhttp%3A%2F%2Fwww.wolverinesoftware.com%2F links4= links5= date=Last%20updated%201%2F2%2F98 sample=A%20simple%20model%20of%2020%20barbers%20serving%20a%20%0D%0Astream%20of%20customers.%0D%0A%3Cpre%3E%0D%0A%20BARBERS%20%20STORAGE%20%20%2020%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20GENERATE%20%20%20RVEXPO%281%2C1.5%29%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20QUEUE%20%20%20%20%20%20%20%20%20CUSTOMS%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20ENTER%20%20%20%20%20%20%20%20%20BARBERS%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20UNLINK%20MIN%20BARBERS%2CBARBGO%2C1%2C%28UTIL%29PL%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20LINK%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20CUSTOMS%0D%0A%20%20CLEAVE%20AVANCE%20%20%20.5%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20TERMINATE%20%0D%0A%20%20%20%20%20%20%20%20%20%20%20%0D%0A%20BARBGEN%20%20GENERATE%20%20%20%2C%2C%2C20%2C5%2C1PH%2C1PL%20%20%20%20%20%20%20%20%20%20%20%2020%20BARBERS%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20ASSIGN%20%20%20IBARB%2CN%28BARBGEN%29%2C%2CPH%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20LINK%20%20%20%20%20%20BARBERS%2CFIFO%0D%0A%20%20BARBGO%20SEIZE%20%20%20%20%20PH%28IBARB%29%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20ADVANCE%20%20%20RVEXPO%281%2C30%29%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20RELEASE%20%20PH%28IBARB%29%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20LEAVE%20%20%20%20%20%20%20%20BARBERS%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20ASSIGN%20%20%20%20BUSE%2CFR%28PH%28IBARB%29%29%2C%2CPL%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20UNLINK%20%20%20%20CUSTOMS%2CCLEAVE%2C1%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20LINK%20%20%20%20%20%20%20BARBERS%2CFIFO%20%0D%0A%20%20%20%20%20%20%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20GENERATE%20%20%2060%2A10%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20TERMINATE%20%20%201%0D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20START%20%20%20%20%20%20%201%0D%0A%3C%2Fpre%3E _store=1 _add=GPSS _usertab=1 _usersearch=0 _format=full =