Infobox software name SWIProlog logo File screenshot File caption collapsible author developer released ... programming license LGPL website http www.swi prolog.org swi prolog.org Portal Free software SWIProlog is an open source implementation of the programming language Prolog , commonly used for teaching .... SWIProlog runs on Unix , Microsoft Windows Windows , and Apple Macintosh Macintosh platforms. SWIProlog has been under continuous development since 1987. Its main author is http staff.science.uva.nl wielemak Jan Wielemaker . The name SWI is derived from Sociaal Wetenschappelijke Informatica ... Computer Studies . User interface SWIProlog is called by a command swipl Initially, it expects only ... for SWIProlog, 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 SWIProlog. It supports Button ... GUI widget s. XPCE is available for all platforms supported by SWIProlog. PceEmacs PceEmacs is a SWI ... proper indentation , syntax highlighting , full syntax checking by calling the SWIProlog parser, warning ... prolog.org packages jpl ref It requires both SWIProlog and Java SDK. ref http www.swi prolog.org packages jpl installation.html ref It is installed as a part of SWIProlog. ref http stackoverflow.com ... Comparison of Prolog implementations References Reflist External links http www.swi prolog.org SWIProlog website http www.rainer keuchel.de wince swi prolog.html SWIProlog for WinCE http www.swi prolog.org packages xpce XPCE the SWIProlog native GUI library Category Free compilers and interpreters ... programming es SWIProlog it SWIProlog nl SWIProlog pt SWIProlog ru SWIProlog uk SWIProlog ... should be stored in a file and then read into the Prolog interpreter, by means of the query ref name bris http www.cs.bris.ac.uk Teaching Resources COMS30106 labs SWI gettingstarted.html ref tt ? consult ... more details
SWI can refer to Switzerland this is not the ISO 3166 1 code, which is CHE. The National Rail code for Swindon railway station , which serves the town of Swindon , Wiltshire in the United Kingdom In computing SWI is an assembler mnemonic to perform a Interrupt software interrupt on the ARM microprocessor family. SWIProlog , named after Sociaal Wetenschappelijke Informatica Social Science Informatics , the former name of the group at the University of Amsterdam where development of the system started. In medical imaging, specifically Magnetic Resonance Imaging MRI , Susceptibility weighted imaging . disambig it SWI pl SWI ... more details
II from CNRS, Marseille, France. Graphics Prolog systems that provide a graphics library are SWI ... prolog and B Prolog. Concurrency Prolog MPI is an open source SWIProlog extension for distributed ... SWIProlog, support server side web programming with support for web protocols, HTML and XML . ref ... is a bi directional Java Prolog bridge which ships with SWIProlog by default, allowing Java and Prolog ... layer. Supports XSB , SWIProlog and YAP. Prova provides native syntax integration with Java, agent ... BProlog , Ciao programming language Ciao , ECLiPSe , GNU Prolog , Jekejeke Prolog , Logic Programming Associates , Poplog Prolog, P Sharp P , Quintus, SICStus , Strawberry Prolog Strawberry , SWIProlog , tuProlog , XSB , YAP Prolog dialects ISO Prolog, Edinburgh Prolog influenced Visual Prolog , Mercury ... , Strand programming language Strand , KL0 , KL1 , Datalog file ext .pl .pro .P wikibooks PrologProlog 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 ... more details
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
of yeast SWI SNF family members and human ortholog s ref name pmid10601972 cite journal author ... been found that the SWI SNF complex in yeast is capable of altering the position of nucleosomes along ... JL, Owen Hughes T title Nucleosome mobilization catalysed by the yeast SWI SNF complex journal Nature ... Two mechanisms for nucleosome remodeling by SWI SNF have been proposed. ref name pmid12897850 cite journal ... and SWI SNF requires DNA translocation inside the nucleosome journal Nat. Struct. Mol. Biol. volume ..., as proposed in the figure below. Image SWI SNF Model.jpg center thumb 600px A study conducted by Zofall ... Reflist 2 External links http www.nextbio.com b home home.nb?q SWI 2FSNF 20complex&id 39051&type biogroup&name SWI 2FSNF 20complex&synonym cid 39051&tab lit Nextbio enzyme stub Transcription coregulators Category Enzymes Category Transcription coregulators es SWI SNF sv SWI SNF ... more details
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 SWIProlog 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
Context date March 2009 The protein ISWI or imitation SWI of drosophila melanogaster , is the first ATPase subunit which has been isolated in the ISWI chromatin remodeling family. This protein presents high level of similarity to the SWI SNF chromatin remodeling family in the ATPase domain. Outside the ATPase domain ISWI loses the similarity with the member of the SWI SNF family, possessing a SANT domain instead of the bromodomain. The protein ISWI can interact with several proteins giving three different chromatin remodeling complexes in drosophila melanogaster NURF nucleosome remodeling factor , CHRAC chromatin remodeling and assembly complex and ACF ATP utilising chromatin remodeling and assembly Factor . In vitro , the ISWI protein alone can assemble nucleosomes on linear DNA and it can move nucleosomes on linear DNA from the center to the extremities. Inside the CHRAC complex, ISWI catalyzes the inverse reaction, moving nucleosomes from the extremities to the center. ref name pmid10399913 cite journal author L ngst G, Bonte EJ, Corona DF, Becker PB. title Nucleosome movement by CHRAC and ISWI without disruption or trans displacement of the histone octamer. journal Cell volume 97 issue 7 pages 843 52 year 1999 pmid 10399913 doi 10.1016 S0092 8674 00 80797 7 ref Generation of loops in dsDNA A single molecule study using AFM atomic force microscopy and Thethered Particle Motion TPM has observed that ISWI can bound naked DNA in absence Adenosine triphosphate ATP wrapping DNA around the protein. In presence of Adenosine triphosphate ATP , the protein generates DNA loops while simultaneously generating negative supercoils in the template. ref name DOI 10.1002 jbio.200810027 cite journal author Lia G, Indrieri M, Owen Hughes T, Finzi L, Podesta A, Milani P, Dunlap D title ATP dependent looping of DNA by ISWI journal J. Biophotonics volume 1 issue 4 pages 280 86 year 2008 doi 10.1002 jbio.200810027 pmid 19343651 ref The first figure in this paper shows three AFM images ... more details
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
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
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
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
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
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
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
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
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
Windows , Unix Freeware , Commercial yes yes yes yes yes Not ISO Prolog extensions rh SWIProlog ... yes yes yes yes rh SICStus Prolog yes Yes Yes rh SWIProlog yes yes yes yes yes yes yes rh Visual ... yes yes yes rh GNU Prolog rh Jekejeke Prolog rh SICStus Prolog yes rh SWIProlog rh Visual Prolog ... Yes yes Yes ? rh SWIProlog ? yes Yes ? yes Yes rh Visual Prolog yes Yes compile time yes Yes compile ...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 ... 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 Yes via Java yes Yes 16 bit yes Yes via Java yes yes yes yes Yes CERFs ISO Prolog, Java API 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 ... more details
COI date August 2010 Infobox company company name Prolog Development Center A S company type Privately held foundation 1984 location Copenhagen, Denmark industry Software company slogan Artificial Intelligence with a human touch homepage http www.pdc.dk www.pdc.dk Prolog Development Center A S PDC is a software company based in Copenhagen . About Prolog Development Center PDC PDC was founded in 1984 by Leo Schou Jensen and Finn Gr nskov who are still the business managers and sole owners of the company. Today, PDC employes 65 people in Denmark and 15 people in St. Petersburg, Russia, working with software development, consultancy and support. PDC supply advanced planning and scheduling solutions as well as speech based applications for manufacturing, retail and service businesses, larger public institutions, airlines and airports. Apart from other IT companies PDC also specializes in development of the Visual Prolog programming language, which is the main development platform for the PDC planning applications. History Once upon a time... there were three Danish electronic engineering students who got interested in the Prolog programming language. Based on research from the Technical University of Denmark and a good deal of innovation they developed a Prolog compiler for the IBM PC ..., Prolog was developed out of scientific curiosity for problems that required artificial intelligence ... on Prolog appeared. Master Thesis Work Became a Living So the students founded Prolog Development Center. The company started out in a small apartment in Copenhagen. There, the Prolog compiler was matured ... under the name of Turbo Prolog and due to their success PDC s Prolog system was sold all over the world in great numbers. Turbo Prolog became the most widespread Prolog system in the world ... Prolog . Consultancy The Prolog technology especially the capability to efficiently deal with rules ... management Agile Team software Agile Team . Software Visual Prolog ARGOS DSS PDC Aviation Suite ... more details
Main Prolog The syntax and semantics of the PrologProlog programming language is the set of rules that defines how a Prolog program is written and how it is interpreted. The rules are laid out in ISO ... Prolog . International Organization for Standardization , Geneva. ref although there are differences in the Comparison of Prolog implementations Prolog implementations . Data types Prolog s single data ... by the Prolog reader as a single unit. Atoms are usually bare words in Prolog code, written with no special ... point floats or integer s. Many Prolog implementations also provide unbounded integers and rational ... Unicode. Prolog programs Prolog programs describe relations, defined by means of clauses. Pure Prolog is restricted to Horn clauses , a Turing completeness Turing complete subset of first order ... true. Evaluation Execution of a Prolog program is initiated by the user s posting of a single goal, called the query. Logically, the Prolog engine tries to find a Resolution logic resolution refutation of the negated query. The resolution method used by Prolog is called SLD resolution . If the negated ... to the user, and the query is said to have succeeded. Operationally, Prolog s execution strategy ... by means of recursive predicates. Prolog systems typically implement a well known optimization technique ... loops in other languages. Negation The built in Prolog predicate code 1 code provides negation as failure ... in the rule legal X illegal X . is evaluated as follows Prolog attempts to prove the code illegal .... Procedurally, however, it is often important to take into account Prolog s execution strategy ... of evaluation matters. Also, as Prolog interpreters try to unify clauses in the order they re ... rewriting rules, resulting in ordinary Prolog clauses. Most notably, the rewriting equips ... example A larger example will show the potential of using Prolog in parsing . Given the sentence expressed ... This can be written in Prolog using DCGs, corresponding to a predictive parser with one token look ... more details
Infobox album Name Ksi ga Tajemnicza. Prolog Type Studio Artist Kaliber 44 Cover Ksi ga Tajemnicza. Prolog cover.jpg Alt Released Start date 1996 Recorded 1995 1996 Genre Hip hop music Hip hop Length Duration m 46 s 16 Label S.P. Records Producer Kaliber 44 , Rahim, Jajonasz Last album This album Ksi ga Tajemnicza. Prolog br 1996 Next album W 63 minuty dooko a wiata br 1998 Ksi ga Tajemnicza. Prolog is the debut album of Polish hip hop group Kaliber 44 , released in 1996, on S.P. Records. The album is one of the most influential releases in the Polish hip hop history of Polish hip hop . Fact date April 2012 The album was entirely produced by Kaliber 44, except two track that were produced by Rahim from 3xKlan and Jajonasz. The sound of Ksi ga Tajemnicza. Prolog is dark, gloom and the minimalist. An important role during the recording sessions was a marijuana that members of Kaliber 44 smoked. They called themselves. The Knights of Mary Mary in Polish slang means marijuana . The style of group to some extent resembles the style such group as Gravediggaz and Wu Tang Clan . Tracklist class wikitable Tytu Producer Sample notes Time 1 Wej cie small Dialogue from Poszukiwacze z ota 0 19 2 Nasze m zgi wype nione s Mari Jajonasz, Magik rapper Mag Magik I 3 50 3 Us ysz m j g os Mag Magik I 2 07 4 Brat nie ma ju mi o ci dla mnie Mag Magik I small Scratches by DJ Feel X 4 04 5 Psychoza Lord MM Dab small Scratches by DJ Feel X 4 12 6 To czyni mnie innym od was wszystkich Lord MM Dab small Scratches by DJ Feel X 4 23 7 Wi cej szmalu 2 Mag Magik I small Scratches by DJ Feel X 3 58 8 Do boju zakon Marii Jajonasz, Mag Magik I small Movie excerpt from Braveheart 3 56 9 Bierz m j miecz i masz Jajonasz, Mag Magik I small Dialogue from Thumbelina Scratches by DJ Feel X 4 15 10 i Mag Magik I 4 55 11 Moja obawa b d a kl kn Rahim 4 01 12 Psychodela small feat. 3xKlan Rahim 5 48 13 Bez wyj cia small Dialogue from Poszukiwacze z ota 0 31 pl Ksi ga Tajemnicza. Prolog Category 1996 debut ... more details
name moura 2003 Logtalk uses standard Prolog syntax with the addition of a few operators and directives. Logtalk is distributed under an open source license and can run using ISO compliant Prolog ... , and automatic generation of documentation. For Prolog programmers, Logtalk provides predicate namespace ... than Prolog modules, simple and intuitive meta predicate semantics, and Lambda calculus lambda expressions . Examples Logtalk s syntax is based on Prolog source lang text ? write Hello world ... source Prolog back end compatibility As of October 2011, supported back end Prolog compilers include BProlog B Prolog , CxProlog, ECLiPSe , GNU Prolog , LeanProlog, Qu Prolog, SICStus Prolog, SWIProlog , XSB , and YAP Prolog . ref http logtalk.org compatibility.html ref Logtalk allows seamless use of the back end Prolog compiler libraries from within object and categories. Developer tools Logtalk ... version of the traditional Procedure Box model found on most Prolog compilers , a unit test framework, and is also compatible with selected back end Prolog profilers and graphical tracers. ref http ... language Prolog Visual Prolog External links official website http logtalk.org http www.di.ubi.pt pmoura P. Moura , creator s site http blog.logtalk.org Logtalking blog From Plain Prolog to Logtalk ... Object oriented programming languages Category Logic programming languages Category Prolog programming ... more details
In computer science , the occurs check is a part of algorithm s for syntactic unification computer science unification . It causes unification of a logic variable V and a structure S to fail if S contains V . In theorem proving , unification without the occurs check can lead to unsound inference . For example, the Prolog goal X f X . will succeed, binding X to a cyclic structure. Clearly however, if f is taken to stand for a function rather than a constructor, then the above equality is only valid if f is the identity function . By default, Prolog implementations omit the occurs check for reasons of efficiency. The worst case complexity of unifying term1 with term2 O max size term1 , size term2 is reduced without occurs check to O min size term1 , size term2 In the frequent case of variable term unifications, an O size term runtime shrinks to O 1 . A naive omission of the occurs check leads to the creation of cyclic structures and may cause unification to loop forever. Modern implementations use rational tree unification to avoid looping. ISO Prolog implementations have the built in predicate unify with occurs check 2 for sound unification but are free to use unsound or even looping algorithms when unification is invoked otherwise. Implementations offering sound unification for all unifications optionally, via a runtime flag are ECLiPSe , XSB and SWI Prolog . Weijland 1990 defines a complete unification algorithm in terms of Colmerauer s consistency algorithm . References Semantics for Logic Programs without Occur Check , W.P. Weijland, Theoretical Computer Science 71 1990 pp 155 174. FOLDOC Category Automated theorem proving Category Logic programming Category Programming constructs de Occurs check ... more details
programming solvers. To simplify porting tasks, compatibility libraries for Prolog ISO Prolog ISO Prolog and other Prolog dialects C Prolog, Quintus , SICStus, SWIProlog are provided. Various other ... on SourceForge . Language The ECLiPSe language is largely backward compatible with Prolog and supports ... . Beyond the basic Prolog data types, the following are available String computer science strings ... Category Free compilers and interpreters Category Logic programming languages Category Prolog ... more details
Objlog was a frame based language combining objects and Prolog II from CNRS , Marseille, France. The Inheritance Processes in Prolog , C. Chouraki et al., GRTC 187bis Mars 1987 CNRS . FOLDOC Category Prolog programming language family Compu lang stub ... more details
, it is used to extend a host language with constraints. Current host languages include Prolog , Java programming language Java and Haskell programming language Haskell . Prolog is by far the most popular host language and CHR is included in many Prolog implementations, including SICStus and SWIProlog ... critical pairs are joinable . Example program The following SWIProlog program contains four CHR rules ... of constraints. The CHR constraint store is a multi set . In contrast to Prolog, the rules ... symmetric leq constraints by an equality constraint handled by Prolog unification computing unification ... more details
Encyclopedia
top
