Search: in
GNU Prolog
GNU Prolog in Encyclopedia Encyclopedia
  Tutorials     Encyclopedia     Videos     Books     Software     DVDs  
       
Encyclopedia results for GNU Prolog

GNU Prolog





Encyclopedia results for GNU Prolog

  1. GNU Prolog

    Infobox software name GNU Prolog title GNU Prolog logo File screenshot File caption collapsible author developer Daniel Diaz released Start date YYYY MM DD discontinued latest release version 1.4.0 latest release date Start date and age YYYY MM DD latest preview version latest preview date Start date and age YYYY MM DD frequently updated DO NOT include this parameter unless you know what it does programming language C programming language C operating system Linux , Solaris, Windows, BSD, Mac OS X platform size language status genre Compiler license GNU General Public License v2 website http www.gprolog.org www.gprolog.org GNU Prolog also called gprolog is a compiler developed by http pauillac.inria.fr diaz Daniel Diaz with an interactive debugger debugging environment for Prolog available for Unix , Microsoft Windows Windows and Mac OS X . It also supports some extensions to Prolog including constraint programming over a finite set finite domain , parsing using definite clause grammar s, and an operating system interface. The compiler converts the source code into byte code that can be interpreted by a Warren abstract machine WAM and converts that to standalone executable s. See also Portal Free software SWI Prolog External links official website http www.gprolog.org GNU DEFAULTSORT Gnu Prolog Category Prolog programming language family Category Constraint programming Category GNU Project software Prolog Category Free compilers and interpreters Category Windows software Category Unix programming tools Unix stub es GNU Prolog it GNU Prolog pt GNU Prolog ru GNU Prolog ...   more details



  1. Prolog

    BProlog , Ciao programming language Ciao , ECLiPSe , GNU Prolog , Jekejeke Prolog , Logic Programming Associates , Poplog Prolog, P Sharp P , Quintus, SICStus , Strawberry Prolog Strawberry , SWI Prolog , tuProlog , XSB , YAP Prolog dialects ISO Prolog, Edinburgh Prolog influenced Visual Prolog , Mercury ... for Java. It includes a small IDE and a few libraries. http www.gnu.org software gnuprologjava GNU Prolog ... , Strand programming language Strand , KL0 , KL1 , Datalog file ext .pl .pro .P wikibooks Prolog Prolog is a general purpose logic programming language associated with artificial intelligence and computational ... first2 Christopher S. title Programming in Prolog year 2003 publisher Springer Verlag location ... Ivan title Prolog programming for artificial intelligence year 2001 publisher Addison Wesley location ... first1 Michael A. title Natural language processing for Prolog programmers year 1994 publisher Prentice Hall location Englewood Cliffs, N.J. isbn 978 0 13 629213 5 pages ref Prolog has its roots in first order logic , a formal logic , and unlike many other programming language s, Prolog is declarative ... , France , in the early 1970s and the first Prolog system was developed in 1972 by Colmerauer with Philippe ... ref Prolog was one of the first logic programming languages, ref See Logic programming History ... in Prolog publisher Springer Verlag location Berlin year 1989 pages isbn 0 387 97016 9 oclc doi ... control system s. Modern Prolog environments support creating graphical user interface s, as well as administrative and networked applications. Syntax and semantics Main Prolog syntax and semantics In Prolog, program logic is expressed in terms of relations, and a computation is initiated by running a query over these relations. Relations and queries are constructed using Prolog s single ... ref Relations are defined by clauses . Given a query, the Prolog engine attempts to find a resolution ... applied, is a logical consequence of the program. This makes Prolog and other logic programming ...   more details



  1. Prolog++

    Prolog is an Object oriented programming object oriented toolkit for the Prolog logic programming language. It allows Class computer science classes and Inheritance computer science class hierarchies to be created within Prolog programs. Prolog was developed by Logic Programming Associates and first released in 1989 for MS DOS PCs. Support for other platforms was added, and a second version was released in 1995. A book about Prolog by Chris Moss was published by Addison Wesley in 1994. Two other approaches to object oriented Prolog include Prolog Development Center PDC Visual Prolog once known as Borland Turbo Prolog , SICStus Prolog and the almost implementation neutral Logtalk framework. See also Logtalk Visual Prolog References Chris Moss, Prolog The Power of Object Oriented and Logic Programming ISBN 0201565072 External links http www.lpa.co.uk ppp det.htm Prolog toolkit , the Logic Programming Associates page. http foldoc.org index.cgi?query prolog 2B 2B&action Search Prolog in the Free On line Dictionary of Computing Compu lang stub Category Object oriented programming Category Prolog programming language family ...   more details



  1. GNU

    GNU logo Image Heckert GNU white.svg 128px Logo family Unix like latest release version latest release ... kernel type Microkernel ui None license GNU General Public License and other free software ... url http gnu.org GNU IPAc en audio En gnu.ogg n u ref cite web url http www.gnu.org title What is GNU? work The GNU Operating System date September 4, 2009 publisher Free Software Foundation accessdate October 9, 2009 quote The name GNU is a recursive acronym for GNU s Not Unix it is pronounced g noo , as one syllable with no vowel sound between the g and the n . ref gnu is not a possible English pronunciation is a Unix like computer operating system developed by the GNU Project , ultimately aiming to be a complete Unix compatible software system ref cite web url http www.gnu.org gnu manifesto.html title GNU Manifesto publisher Gnu.org date accessdate 2011 07 27 ref composed wholly of free software . Development of GNU was initiated by Richard Stallman in 1983 and was the original ..., GNU remains incomplete Its kernel, Hurd, has never really made it out of the starting blocks ... system. ref ref name Hillesley Hillesley, Richard. http www.h online.com open features GNU HURD Altered visions and lost promise 1030942.html GNU HURD Altered visions and lost promise , June 30, 2010. See especially http www.h online.com open features GNU HURD Altered visions and lost promise ... never achieved production quality. ... Some of us are still wishing and hoping for the real deal, a GNU operating system with a GNU kernel. ref ref Lessig, Lawrence. The Future of Ideas The Fate of the Commons ..., but he was missing the core. ref The latest Alpha test alpha release of the GNU system is GNU 0.401, released on 1 April 2011, featuring GNU Hurd as the system s kernel computing kernel . Other non GNU kernels, most famously the Linux kernel , can also be used with GNU. The FSF maintains that Linux , when used with GNU tools and utilities, should be considered a GNU variants variant of GNU , and promotes ...   more details



  1. The Gnu

    The Gnu sometimes known as I m a Gnu or The Gnu Song is a humorous song about a talking gnu by Flanders and Swann . The word gnu is consistently pronounced with two syllables as g noo , with the g clearly enunciated, and the n palatalization unpalatalised . The song also plays on silent letter s in other words such as k now and w ho , and adds initial Voiced velar plosive g s to various words beginning with n . As a prelude, Michael Flanders goes off into a completely irrelevant but very witty monologue about a car &mdash great big flashy thing, with teeth. Engine at both ends &mdash that is the bane of his existence since it constantly occupies the one spot in his road where he can comfortably get from wheelchair to car and vice versa. The licence number turns out to be 346 GNU. The song itself then begins, and consists of a brief piano introduction and two quite similar sung verses, each preceded by a verse spoken by Michael Flanders . Donald Swann neither speaks nor sings in this item. In the first verse, the singer is at the zoo when he meets a man who claims to know all the animals, but misidentifies a gnu as an elk the gnu corrects him. In the second verse, he has taken furnished lodgings, and wakes up in the night to see a stuffed hunting trophy above his bed he is trying to decide whether the animal s head could be a bison , an okapi or a hartebeest , when he seems to hear a voice, asserting indignantly that it is a g nu, a g nother g nu . Flanders and Swann first performed ... mentions The Gnu in connection with the naming of the GNU project in a 2002 interview. ref cite web ... Stallman interview title Technically Speaking An Interview With Richard Stallman, Inventor Of The GNU ... was the basis of the character Gary Gnu from The Great Space Coaster . Gary Gnu even performed ... fas hat gnu.html The Gnu on the Flanders and Swann website Flanders and Swann DEFAULTSORT Gnu, The Category Flanders and Swann songs Category Songs about animals song stub pl The Gnu ...   more details



  1. Strawberry Prolog

    Strawberry Prolog is a programming language dialect dialect of the Prolog programming language . Its syntax of programming languages syntax is very close to that of ISO Prolog but it has many extensions which are not part of the standard. The main idea of Strawberry Prolog is to be very easy to use and that is why some university universities use it for their Prolog courses. History Strawberry Prolog is produced by the http www.math.bas.bg Institute of Mathematics and Informatics at Bulgarian Academy of Sciences . The first version was released in 1996. The leader of the Strawberry team is Dimiter Dobrev. Some extensions Global variables Arrays Definition of functions and Built in predicates Prolog CGI Scripts OLE Automation COM and ActiveX Strawberry Prolog as OLE server Databases through ODBC Download The compiler can be downloaded from the Strawberry Prolog website. A restricted edition is available as freeware . Sample programs Chess.spj Chess Playing Program. You can play against the computer. This program is included in the standard installation of Strawberry Prolog. You will find it in the folder Games . Fractals.pro You will see an infinite fractals field in which you can move and even get lost. The goal is to find the target place in the field. This is a clever program which uses the Pseudorandom number generator pseudo random numbers in order to generate infinite but constant fractals field where you can come back and to find there the same picture as before. This sample demonstrate the graphical power of Strawberry Prolog. You will find it in the folder Programs in the standard installation of the Light edition. Debugger Strawberry Prolog has a unique debugger . You can watch the execution of your program in the Proof Tree window computing window . See also Prolog External links http www.dobrev.com Strawberry Prolog website http www.dobrev.com help Strawberry Prolog Help , online help Category Prolog programming language family Category Free compilers and interpreters ...   more details



  1. SWI-Prolog

    Infobox software name SWI Prolog logo File screenshot File caption collapsible author developer released ... programming license LGPL website http www.swi prolog.org swi prolog.org Portal Free software SWI Prolog is an open source implementation of the programming language Prolog , commonly used for teaching .... SWI Prolog runs on Unix , Microsoft Windows Windows , and Apple Macintosh Macintosh platforms. SWI Prolog has been under continuous development since 1987. Its main author is http staff.science.uva.nl ... Computer Studies . User interface SWI Prolog is called by a command swipl Initially, it expects only ... should be stored in a file and then read into the Prolog interpreter, by means of the query ref name ... for SWI Prolog, Lisp programming language Lisp and other interactive and dynamically typed language s. Although XPCE was designed to be language independent, it has gained popularity most with Prolog. The development XPCE graphic toolkit started in 1987, together with SWI Prolog. It supports Button ... GUI widget s. XPCE is available for all platforms supported by SWI Prolog. PceEmacs PceEmacs is a SWI Prolog builtin editor. PceEmacs is an Emacs clone implemented in Prolog and XPCE . It supports proper indentation , syntax highlighting , full syntax checking by calling the SWI Prolog parser, warning ... the Prolog database. JPL JPL is a bidirectional interface between Java and Prolog. ref http www.swi prolog.org packages jpl ref It requires both SWI Prolog and Java SDK. ref http www.swi prolog.org packages jpl installation.html ref It is installed as a part of SWI Prolog. ref http stackoverflow.com questions 914495 how to use jpl bidirectional java prolog interface on windows ref See also Prolog Comparison of Prolog implementations References Reflist External links http www.swi prolog.org SWI Prolog website http www.rainer keuchel.de wince swi prolog.html SWI Prolog for WinCE http www.swi prolog.org packages xpce XPCE the SWI Prolog native GUI library Category Free compilers and interpreters ...   more details



  1. Visual Prolog

    Infobox software name Visual Prolog screenshot Image Visual Prolog IDE Screenshot.png 350px caption IDE ... Prolog Development Center latest release version 7.3, Build 7303 latest release date release date 2010 ... prolog.com www.visual prolog.com Visual Prolog , also formerly known as PDC Prolog and Turbo Prolog, is a strongly typed object oriented extension of Prolog . As Turbo Prolog it was marketed by Borland , but it is now developed and marketed by the Danish firm Prolog Development Center PDC that originally developed it. Visual Prolog can build Microsoft Windows GUI applications, console application ... Connectivity ODBC . Visual Prolog is compiled rather than Interpreter computing interpreted ... Prolog typical Run time program lifecycle phase run time errors to compiler warnings, which ensures ... Prolog are Horn clause s, pattern matching and controlled Nondeterministic algorithm non determinism like in traditional Prolog, but unlike traditional Prolog, Visual Prolog has always been Data type ... in Visual Prolog 7.2 New Features in Visual Prolog 7.2 . Version 7.3 introduced generic classes ... prolog.com index.php?title New Features in Visual Prolog 7.3 New Features in Visual Prolog 7.3 . Hanoi Example In the Towers of Hanoi example, the Prolog inference engine figures out how to move ... of disks, as an initial argument. In real life, Visual Prolog is especially suited for intricate problems, such as resource planning, etc. As the example shows, Visual Prolog can be used for quick programming ... , hanoi hanoi 4 . syntaxhighlight Visual Prolog Video Tutorials http www.visual prolog.com video HelloWorld default.htm Hello World Visual Prolog Video Tutorial demonstrates basic IDE features while ... Prolog Video Tutorial demonstrates how to create a form and link it to a menu item. http www.visual prolog.com video IntelliSpeed default.htm IntelliSpeed Visual Prolog Video Tutorial demonstrates the Autocomplete autocompletion facility in the IDE. Books about Visual Prolog Thomas W. de Boer, http ...   more details



  1. YAP (Prolog)

    Infobox Software name YAP Prolog logo screenshot caption developer latest release version 6.2.0 latest release date 2010.10.28 operating system Linux , Microsoft Windows Windows , Solaris operating system Solaris , Mac OS X platform Programming language license Artistic License Perl Artistic License 2.0 website http www.dcc.fc.up.pt vsc Yap YAP is an open source , high performance implementation of the Prolog programming language developed at LIACC University of Porto Universidade do Porto and at COPPE Sistemas Universidade Federal do Rio de Janeiro UFRJ . Its Prolog engine is based in the WAM Warren Abstract Machine , with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO Prolog standard and with Quintus and SICStus Prolog. YAP has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on Motorola 68000 family m68k based machines. See also Comparison of Prolog implementations External links http www.dcc.fc.up.pt vsc Yap YAP Prolog website Category Free compilers and interpreters Category Prolog programming language family compu lang stub ...   more details



  1. Jekejeke Prolog

    Infobox software name Jekejeke Prolog logo File Jekpro.png screenshot caption developer XLOG Technologies GmbH released latest preview version 0.9.3 latest preview date April 12th, 2012 latest release version latest release date programming language Java programming language Java , Android operating system Android operating system Cross platform language English status genre Prolog license website http www.jekejeke.ch Jekejeke Home Page Jekejeke Prolog is implementation of Prolog written in 100 Java programming language Java , available as an interpreter only. The interpreter exists in two flavors. The runtime library provides an embeddable Prolog interpreter without any user interface. The development environment provides a simple console interface whereby the developer can execute and debug Prolog texts. The implementation of the language mainly follows the Prolog ISO Prolog ISO core standard . ref Citation url http www.jekejeke.ch idatab doclet prod en docs 05 run 07 compliance 04 discrepancies package.html title Runtime Library, Compliance chapter Discrepancies accessdate February 10th, 2012 ref The implementation also features an application programming interface. It is possible to write Prolog applications that use Java foreign predicates and that make use of multi threading. To a great extend such applications can already be tested in the development environment before they are independently deployed via the runtime library. Features Since release 0.9.0 Jekejeke Prolog features Just in time clause indexing ref Citation url http www.jekejeke.ch idatab doclet prod en docs ... environment of Jekejeke Prolog features a customizable ref Citation url http www.jekejeke.ch idatab ... 0.9.2 Jekejeke Prolog features Lambda calculus lambda abstraction ref Citation url http www.jekejeke.ch ... links http www.jekejeke.ch Jekejeke Home Page Category Prolog programming language family de Jekejeke Prolog ...   more details



  1. B-Prolog

    B Prolog is a high performance implementation of the standard Prolog language with several extended features ..., arrays and hash tables, declarative loops, and tabling. First released in 1994, B Prolog is now a widely used constraint logic programming CLP system. The constraint solver of B Prolog was ranked top ... http www.cs.kuleuven.be dtai events ASP competition index.shtml ref B Prolog underpins the PRISM system , a logic based probabilistic reasoning and learning system. B Prolog is a commercial product, but it can ... input arguments. The compilation of matching clauses is much simpler than that of normal Prolog ... to be more compact and faster. The B Prolog compiler and most of the library predicates are written in matching clauses. A matching clause takes the following form source lang prolog H, G B source ... clauses that merges two sorted lists source lang prolog merge ,Ys,Zs Zs Ys. merge Xs, ,Zs Zs Xs ... reconstructing the term, we can rewrite the clause into the following source lang prolog merge ... of logic programming. To overcome this, B Prolog provides a simple and yet powerful language, called ... general notion than delay constructs in early Prolog systems and processes in concurrent logic programming ... prolog H, G, E B source where code H code is a pattern for agents, code G code is a sequence of conditions ... O code is a Prolog term that contains the information to be transmitted to the agents. The built in code post E code posts the event code E code . Consider the following examples source lang prolog ... code echoes whatever message it receives. For example, source lang prolog ? echo X ,post event X,hello ... a time event, it prints the message code ping code . For example, source lang prolog ? timer T,1000 ... for compiling Constraint Handling Rules CHR and Answer Set Programs ASP . CLP FD Like many Prolog based finite domain constraint solvers, B Prolog s finite domain solver was heavily influenced by the CHIP system. The first fully fledged solver was released with B Prolog version 2.1 in March 1997 ...   more details



  1. Prolog (Ljubu?ki)

    Infobox settlement official name Prolog Ljubu ki other name native name nickname settlement type Village motto image skyline imagesize image caption image flag flag size image seal seal size image map mapsize map caption pushpin map pushpin label position bottom pushpin mapsize pushpin map caption subdivision type Country subdivision name flag Bosnia and Herzegovina subdivision type1 Cantons of Bosnia and Herzegovina Canton subdivision name1 West Herzegovina Canton subdivision type2 Municipalities of Bosnia and Herzegovina Municipality subdivision name2 Ljubu ki government footnotes government type leader title leader name established title established date area magnitude unit pref Imperial area footnotes area total km2 area land km2 population as of population footnotes population note population total population density km2 timezone Central European Time CET utc offset 1 timezone DST Central European Summer Time CEST utc offset DST 2 latd latm lats latNS N longd longm longs longEW E elevation footnotes elevation m elevation ft postal code type postal code area code blank name blank info website footnotes Prolog Ljubu ki is a village in Bosnia and Herzegovina . According to the 1991 census, the village is located in the Municipalities of Bosnia and Herzegovina municipality of Ljubu ki . ref Official results from the book Ethnic composition of Bosnia Herzegovina population, by municipalities and settlements, 1991. census, Zavod za statistiku Bosne i Hercegovine Bilten no.234, Sarajevo 1991. ref References reflist coord 43 11 06 N 17 26 40 E region BA type city source kolossus frwiki display title Category Populated places in Ljubu ki WestHerzegovinaCanton geo stub fr Prolog Ljubu ki hr Prolog Ljubu ki, BiH sr ...   more details



  1. Prolog (Livno)

    Infobox settlement official name Prolog other name native name nickname settlement type Village motto image skyline imagesize image caption image flag flag size image seal seal size image map mapsize map caption pushpin map pushpin label position bottom pushpin mapsize pushpin map caption subdivision type Country subdivision name flag Bosnia and Herzegovina subdivision type1 Entities of Bosnia and Herzegovina Entity subdivision name1 Federation of Bosnia and Herzegovina subdivision type2 Municipalities of Bosnia and Herzegovina Municipality subdivision name2 Livno government footnotes government type leader title leader name established title established date area magnitude unit pref Imperial area footnotes area total km2 area land km2 population as of population footnotes population note population total population density km2 timezone Central European Time CET utc offset 1 timezone DST Central European Summer Time CEST utc offset DST 2 latd latm lats latNS N longd longm longs longEW E elevation footnotes elevation m elevation ft postal code type postal code area code blank name blank info website footnotes Prolog Livno is a village in the Municipalities of Bosnia and Herzegovina municipality of Livno , Bosnia and Herzegovina . ref Official results from the book Ethnic composition of Bosnia Herzegovina population, by municipalities and settlements, 1991. census, Zavod za statistiku Bosne i Hercegovine Bilten no.234, Sarajevo 1991. ref References reflist coord 43 48 N 16 50 E display title region BA type city source GNS enwiki Category Populated places in Livno Canton10 geo stub fr Prolog Livno ...   more details



  1. Mali Prolog

    Infobox settlement official name Mali Prolog other name native name nickname settlement type Village motto image skyline imagesize image caption image flag flag size image seal seal size image map mapsize map caption pushpin map Croatia pushpin label position bottom pushpin mapsize pushpin map caption subdivision type Country subdivision name flag Croatia subdivision type1 List of regions of Croatia Region subdivision name1 Dalmatia subdivision type2 List of counties of Croatia County subdivision name2 Dubrovnik Neretva County subdivision type3 Municipalities of Croatia Municipality subdivision name3 Pojezerje government footnotes government type leader title leader name established title established date area magnitude unit pref Imperial area footnotes area total km2 area land km2 population as of population footnotes population note population total population density km2 timezone Central European Time CET utc offset 1 timezone DST Central European Summer Time CEST utc offset DST 2 latd 43 latm 8 lats 46 latNS N longd 17 longm 29 longs 2 longEW E elevation footnotes elevation m elevation ft postal code type postal code area code blank name blank info website footnotes Mali Prolog is a village in Dubrovnik Neretva County , Croatia on the border with Bosnia and Herzegovina . It is connected by the D222 Croatia D222 highway , just northwest of Pojezerje . In 2001 it had a population of 55. ref cite web url http www.dzs.hr Hrv censuses Census2001 Popis H01 01 03 H01 01 03.html title STANOVNI TVO PREMA PRISUTNOSTI ODSUTNOSTI U NASELJU POPISA, PO NASELJIMA, POPIS 2001. publisher Croatian Bureau of Statistics accessdate 26 January, 2011 ref References Reflist Category Populated places in Dubrovnik Neretva County DubrovnikNeretva geo stub hr Mali Prolog ...   more details



  1. Veliki Prolog

    Infobox settlement official name Veliki Prolog other name native name nickname settlement type Village motto image skyline imagesize image caption image flag flag size image seal seal size image map mapsize map caption pushpin map pushpin label position bottom pushpin mapsize pushpin map caption subdivision type Country subdivision name flag Croatia subdivision type1 List of regions of Croatia Region subdivision name1 Dalmatia subdivision type2 subdivision name2 subdivision type3 subdivision name3 government footnotes government type leader title leader name established title established date area magnitude unit pref Imperial area footnotes area total km2 area land km2 population as of 493 population footnotes population note population total population density km2 timezone Central European Time CET utc offset 1 timezone DST Central European Summer Time CEST utc offset DST 2 latd latm lats latNS N longd longm longs longEW E elevation footnotes elevation m elevation ft postal code type postal code 21277 area code blank name blank info website footnotes Veliki Prolog is a village in Croatia . It s known for partly being in Bosnia and Herzegovina Bosnia and Herzegovina. coord 43 11 N 17 26 E display title region HR type city source GNS enwiki Category Populated places in Split Dalmatia County SplitDalmatia geo stub hr Veliki Prolog ...   more details



  1. Comparison of Prolog implementations

    rh http jlogic.sourceforge.net JLog JVM GNU General Public License GPL yes yes yes yes ISO Prolog rh http jlogic.sourceforge.net JScriptLog Web Browser GNU General Public License GPL yes ISO Prolog ... yes yes yes yes yes yes yes yes ISO Prolog, Edinburgh Prolog rh tuProlog JVM GNU Lesser General Public ... Triple store rh BProlog yes rh Ciao programming language Ciao Yes Yes Yes Yes Yes Yes rh GNU Prolog ... yes yes yes rh GNU Prolog rh Jekejeke Prolog rh SICStus Prolog yes rh SWI Prolog rh Visual Prolog ... rh Ciao programming language Ciao yes Yes yes Yes yes Yes ? rh GNU Prolog yes Yes yes Yes ? ? rh Jekejeke ...The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language . Portability There are Prolog implementations that are radically different, with different syntax and different semantics e.g. Visual Prolog ref name portability2011 cite doi 10.1007 978 3 642 18378 2 8 ref and sub ... conforms to the ISO Prolog core language is portable across ISO compliant implementations. However, the ISO standard for modules was never accepted by most Prolog implementors. ref name portability2011 ... http www.swi prolog.org download publications porting.pdf Portability of Prolog programs theory and case ... 3 Platform colspan 8 Features colspan 3 Toolkit colspan 1 Prolog Mechanics style background ffdead ... yes yes yes yes yes yes yes ISO Prolog, plus event handling, CLP FD , and tabling rh Ciao programming language Ciao Unix , Microsoft Windows Windows , Mac OS X GPL , GNU Lesser General Public License LGPL yes yes yes yes yes yes yes yes yes ISO Prolog, plus extensions rh http www.lpa.co.uk dos.htm DOS PROLOG MS DOS Shareware yes yes yes yes yes yes Edinburgh Prolog rh GNU Prolog Unix , Microsoft Windows Windows , Mac OS X GNU General Public License GPL , LGPL yes yes yes yes yes yes ISO Prolog rh Jekejeke Prolog JVM , Dalvik software Dalvik w o Toolkit Distributable otherwise Evaluation yes ...   more details



  1. GNU (disambiguation)

    Wiktionarypar gnu Gnu GNU GNU or Gnu may refer to The Wildebeest or Gnu, an animal The GNU Project , to develop a complete Unix like operating system which is free software GNU , a computer operating system GNU General Public License , a free software license GNU Free Documentation License , a copyleft license for free documentation Gyeongsang National University , a key national university in the Republic of Korea The Government of National Unity South Africa , a constitutional arrangement Good News Unlimited, an evangelical non denominational Christian ministry The Gnu , a song by Flanders and Swann 9965 GNU , an asteroid named after the GNU Project Gnu Snowboards produced by Mervin Manufacturing disambig Category Initialisms cs Gnu de Gnu es u desambiguaci n eo GNU apartigilo fr Gnou homonymie gl u hom nimos he it GNU disambigua ja GNU pl Gnu pt GNU desambigua o ru GNU simple Gnu sr fi Gnu ...   more details



  1. GNU toolchain

    The GNU toolchain is a blanket term for a collection of programming tool s produced by the GNU Project . These tools form a toolchain suite of tools used in a serial manner used for developing application software applications and operating system s. The GNU toolchain plays a vital role in development of Linux kernel , Berkeley Software Distribution BSD , and software for embedded system s. Parts of the GNU toolchain are also directly used with or Porting ported to other platforms such as Solaris operating system Solaris , Mac OS X , Microsoft Windows via Cygwin and MinGW MinGW MSYS and PlayStation 3 Sony PlayStation 3 . ref http www.sony.net Products Linux Sony Global Source Code Distribution Service Bot generated title ref Projects included in the GNU toolchain are make software GNU make Automation tool for compilation and build GNU Compiler Collection GCC Suite of compilers for several programming languages GNU Binutils Suite of tools including linker, assembler and other tools GNU Bison Parser generator GNU m4 m4 computer language m4 macro processor GNU Debugger GDB Code debugging tool GNU build system autotools Autoconf Autoheader Automake Libtool See also Portal Free software Glibc GNU C Library GNU Classpath Concurrent Versions System CVS MinGW Cygwin References Reflist GNU DEFAULTSORT Gnu Toolchain Category GNU Project software Category Computer programming tools programming software stub cs GNU toolchain da GNU toolchain de GNU Toolchain el GNU es GNU toolchain fr GNU toolchain ko GNU ml ja GNU pt Conjunto de ferramentas GNU ru GNU toolchain uk GNU toolchain zh GNU toolchain ...   more details



  1. GNU m4

    notability Products date September 2011 unreferenced date September 2011 Infobox software name GNU m4 logo developer GNU Project screenshot caption latest release version 1.4.16 latest release date release date 2011 03 01 latest preview version latest preview date operating system Unix like platform genre m4 language m4 macro preprocessor license GNU Lesser General Public License website http www.gnu.org software m4 m4.html GNU m4 is an implementation of the m4 language m4 macro preprocessor . Developed by the GNU Project , GNU m4 is designed to avoid many kinds of limits found in traditional m4 implementations, such as maximum line lengths, maximum size of a macro and number of macros. Removing such arbitrary limits is one of the stated goals of the GNU Project. Citation needed date March 2012 The GNU Autoconf package makes extensive use of the features of GNU m4. GNU m4 is currently maintained by Gary V. Vaughan and Eric Blake. Released under the terms of the GNU Lesser General Public License , GNU m4 is free software . See also Portal inline Free software External links Official website http www.gnu.org software m4 m4.html Compu lang stub GNU Category Macro programming languages Category GNU Project software M4 ar 4 fr GNU M4 zh GNU m4 ...   more details



  1. GNU linker

    notability date August 2011 primary sources date August 2011 Infobox software name GNU linker logo screenshot caption collapsible author GNU Project developer GNU Project released latest release version 2.22 latest release date release date 2011 11 21 latest preview version latest preview date frequently updated programming language operating system GNU platform size language status genre Linker computing Linker license GNU General Public License website GNU linker or GNU ld is the GNU Project s implementation of the Unix command ld Unix ld . GNU ld runs the Linker computing linker , which creates an executable file or a library software library from object file s created during compiler compilation of a software project. A linker script may be passed to GNU ld to exercise greater control over the linking process. ref http ftp.gnu.org old gnu Manuals ld 2.9.1 html node ld 6.html GNU Manuals Online binutils ref The GNU linker is part of the GNU Binary Utilities binutils . The name of the command originated as an abbreviation for Loader computing load . Citation needed date March 2009 GNU linker is free software , distributed under the terms of the GNU General Public License . See also Portal Free software Binary File Descriptor library libbfd Gold linker External links http sourceware.org binutils docs 2.21 ld GNU linker manual man 1 ld The GNU linker References Reflist GNU DEFAULTSORT Gnu Linker Category Free compilers and interpreters Category GNU Project software Free software stub fr GNU linker ja GNU ld ...   more details



  1. GNU Manifesto

    Image Heckert GNU white.svg 235px thumb GNU logo NOTOC Image Richard Matthew Stallman.jpeg thumb 235px Cover picture for O Reilly Media s book Free as in Freedom Richard Stallman s Crusade for Free Software Free as in Freedom The GNU Manifesto was written by Richard Stallman and published in March 1985 in Dr. Dobb s Journal Dr. Dobb s Journal of Software Tools ref cite journal url http www.math.utah.edu ftp pub tex bib toc dr dobbs 1980.html 10 3 March 1985 title Dr. Dobb s Journal volume 10 issue ... Stallman accessdate 2011 10 18 ref as an explanation and definition of the goals of the GNU Project ... as a fundamental philosophical source. The full text is included with GNU software such as Emacs , and is available on the web. ref name GNU Manifesto cite web url http www.gnu.org gnu manifesto.html title The GNU Manifesto GNU Project Free Software Foundation FSF first Richard last Stallman authorlink Richard Stallman work Gnu.org date March 1985 accessdate 2011 10 18 ref Summary The GNU Manifesto begins by outlining the goal of the project GNU , which stands for GNU s Not Unix. The current contents of GNU at the time of writing are then described and detailed. Richard Stallman then goes ..., and also why computer users will benefit from the project. A large part of the GNU Manifesto is also focused on rebutting possible objections to GNU s goals. Objections described here include ... works, and why it would be a good choice for the technology industry to follow. ref name GNU Manifesto ... Open Letter to Hobbyists References Reflist 2 External links http www.gnu.org gnu manifesto.html GNU Manifesto GNU DEFAULTSORT Gnu Manifesto Category GNU Project Category Free software culture and documents ... Political manifestos Category 1985 works Activism stub ar ca Manifest GNU cs GNU Manifest es Manifiesto GNU fa fr Manifeste GNU ko GNU it Manifesto GNU ml ja GNU pl Manifest GNU pt Manifesto GNU ru GNU sk GNU Manifesto tr GNU Bildirisi ...   more details



  1. GNU cflow

    Infobox software name GNU cflow logo developer The GNU Project frequently updated no operating system GNU Linux , UNIX genre call graph flowgraph generator license GNU General Public License GPL free software website http www.gnu.org software cflow www.gnu.org software cflow Portal Free software GNU cflow is a call graph flow graph generator that is part of the GNU Project . It reads a collection of C programming language C source files and generate a C flow graph of external references. It uses only sources and doesn t need running the program. History It was initially an implementation of the GNU cflow cflow UNIX utility cflow UNIX utility. cflow UNIX utility cflow is a List of Unix utilities unix utility generating a C language flowgraph. Besides GNU, there are other implementations of cflow , like the one for Tru64 Unix ref name true64 http h30097.www3.hp.com docs base doc DOCUMENTATION V51B HTML MAN MAN1 0569 .HTM cflow Tru64 Unix , HP website , 2011. ref . References Reflist External links http savannah.gnu.org git ?group cflow Source code on the GNU Savannah platform. http directory.fsf.org wiki Cflow GNU cflow on the Free Software Directory . GNU DEFAULTSORT Cflow, Gnu Category C programming language Category GNU Project software Cflow Category Compiler construction Category Documentation generators fr GNU cflow ...   more details



  1. GNU Hello

    Unreferenced date July 2011 Infobox Software name GNU Hello logo developer GNU Project latest release version 2.8 ref cite mailing list last Thomas first Reuben title hello 2.8 released publisher lists.gnu.org date 2012 04 20 url http lists.gnu.org archive html info gnu 2012 04 msg00007.html accessdate 2012 04 20 ref operating system GNU , GNU Linux genre Application software license GNU General Public License website Official site http www.gnu.org software hello GNU Hello is an almost trivial free software program that exists in order to demonstrate how a range of functionality can be implemented according to the GNU coding standards and GNU maintainer practices. As such, it can serve as a template for new, more serious, software projects. See also Hello world program References Reflist External links http www.gnu.org software hello Category GNU Project Free software stub fr Hello world GNU hello ...   more details



  1. GNU Chess

    Infobox software name GNU Chess logo screenshot Image XBoard GNUChess.png 250px GNU Chess 6.0.0 on XBoard 4.5.1 caption GNU Chess 6.0.0 on XBoard 4.5.1 developer The GNU Chess Team latest release version 6.0.2 latest release date release date and age 2012 03 04 operating system GNU Linux , Unix , Mac OS X genre Computer chess license GNU General Public License Version 3 GPL v3 or later website http www.gnu.org software chess GNU Chess GNU Chess is a computer program which plays a full game of chess against a human or other computer program. The goal of GNU Chess is to serve as a basis for research. It has been used in numerous research contexts. GNU Chess is free software , licensed under the terms of the GNU General Public License Version 3 GNU General Public License version 3 or any later ... for Unix based computers and one of the earliest available with full source code. GNU Chess has been ported to many other platforms. Features On basic, current computer chess architecture, GNU Chess ... Protocol were based on GNU Chess s command line interface. Version 6 also supports the Universal Chess Interface UCI . History The first version of GNU Chess was written by Stuart Cracraft. This project is one of the older parts of the GNU package of software, having started in 1984, the author having collaborated with Richard Stallman , pre GNU. Versions from 2 to 4 were written by John ... of programmers have enhanced and expanded GNU Chess. In 2011, GNU Chess underwent transition to version ... with heavy use of invariant assertions, and very few bugs. Some GNU Chess enthusiasts still maintain the 5.07 code base, ref http alpha.uhasselt.be Research Algebra Toga gnuchess release 5.07 GNU Chess ... ccrlchess.org.uk ccrl 404.live cgi compare engines.cgi?family GNU 20Chess&print Rating list&print Results ... of GNU Chess 5 is about 350 Elo stronger than the original FSF version. It is still weaker than GNU Chess 6 however. See also Portal Free software XBoard GNU Go References Reflist External links http ...   more details



  1. GNU lightning

    notability date August 2011 primary sources date August 2011 Infobox Software name GNU lightning developer GNU Project released start date 2001 1 19 ref name release history cite web url http ftp.gnu.org gnu lightning title ChangeLog accessdate 2009 02 22 publisher GNU Project ref latest release version hosted in git repository operating system Cross platform platform GNU genre Just in time compilation license GNU General Public License , GNU Lesser General Public License website http www.gnu.org software lightning Portal Free software GNU lightning is a free software library that generates assembly language code at run time. Supported backends are SPARC 32 bit , x86 32 and 64 bit and PowerPC 32 bit . An ARM port is under way ref name ARM http lists.gnu.org archive html lightning 2011 06 msg00000.html Message stating start of work of ARM port ref . Advantages Over Other Libraries The features GNU lightning provides make it useful for just in time compiler applications. As opposed to libraries such as LLVM or libJIT , it only provides a low level interface that assembles a standardized RISC architecture loosely based on the SPARC and MIPS architecture MIPS ref cite web url http www.gnu.org software lightning manual lightning.html title Using and porting GNU lightning accessdate 2009 02 22 ref into the target architecture s machine language. Disadvantages It does not provide register allocation , data flow analysis data flow or control flow analysis , or program optimization optimization . Projects that use GNU Lightning Racket programming language Racket , GNU Smalltalk , and CLISP ref cite web url http clisp.cons.org impnotes.html title Implementation notes for GNU CLISP accessdate 2009 02 23 ref make use of GNU lightning for just in time compilation . References references External links http www.gnu.org software lightning Using and porting GNU lightning GNU Category GNU Project software Free software stub pl GNU lightning ...   more details




Articles 1 - 25 of 7201          Next


Search   in  
Search for GNU Prolog in Tutorials
Search for GNU Prolog in Encyclopedia
Search for GNU Prolog in Videos
Search for GNU Prolog in Books
Search for GNU Prolog in Software
Search for GNU Prolog in DVDs
Search for GNU Prolog in Store


Advertisement




GNU Prolog in Encyclopedia
GNU Prolog top GNU Prolog

Home - Add TutorGig to Your Site - Disclaimer

©2011-2013 TutorGig.info All Rights Reserved. Privacy Statement