Todos os registros públicos

Exibição combinada de todos registros disponíveis para o Augusto Baffa Wiki. Você pode diminuir a lista escolhendo um tipo de registro, um nome de usuário (sensível a maiúsculas e minúsculas), ou uma página afetada (também sensível a maiúsculas e minúsculas).

(Mais novas | Mais antigas) Ver (50 posteriores | 50 anteriores) (20 | 50 | 100 | 250 | 500)

• 11h04min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/32/en (Criou página com 'Categoria:Prolog Tutorial')
• 11h04min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/26/en (Criou página com '[[Categoria:Prolog Tutorial{{#translation:}}]]')
• 11h03min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/26/qqq (Criou página com '[[Categoria:Prolog Tutorial{{#translation:}}]]')
• 11h01min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/31/en (Criou página com '* 2. Sample Programs * 2.1 Map colorings * 2.7 Special:MyLanguage/Listas e...')
• 11h00min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/30/en (Criou página com '== See also ==')
• 11h00min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/29/en (Criou página com '7. The 'halt' goal always succeeds and returns the user to the operating system.')
• 11h00min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/28/en (Criou página com '6. A compound or conjunctive goal asks that two individual goals be satisfied. Note the arithmetic goal (built-in relation), 'X>3'. Prolog will attempt to satisfy these goals...')
• 11h00min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/27/en (Criou página com '5. In the program just loaded is a definition of the logical predicate 'takeout'. The goal 'takeout(X,[1,2,3,4],Y)' asks that X be taken out of list [1,2,3,4] leaving remainde...')
• 11h00min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/26/en (Criou página com '4. Both "programs" now reside in memory, from the two source files 2_1.pl and 2_7.pl. The 2_7.pl file has many list processing definitions in it. (See Section 2.7.)')
• 11h00min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/25/en (Criou página com '3. The goal here, 'factorial(10,What)', essentially says "the factorial of 10 is What?". The word 'What' begins with an upper-case letter, denoting a logical variable. Prolog...')
• 10h59min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/24/en (Criou página com '1. A Prolog goal is terminated with a period "." In this case the goal was to load a program file. This "bracket" style notation dates back to the first Prolog implementations...')
• 10h59min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/23/en (Criou página com '1. A Prolog goal is terminated with a period "." In this case the goal was to load a program file. This "bracket" style notation dates back to the first Prolog implementations...')
• 10h59min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/22/en (Criou página com '== Notes ==')
• 10h59min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/21/en (Criou página com 'The comments appearing at the right at various spots in a sample session were added with a text processor. They also serve as reference signposts for the notes which appear be...')
• 10h59min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/15/en (Criou página com 'To illustrate some particular interactions with prolog, consider the following sample session. Each file referred to is assumed to be a local file in the user's account, which...')
• 10h59min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/14/en (Criou página com 'Notice that all of the displayed symbols need to be typed in, followed by a carriage return.')
• 10h58min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/12/en (Criou página com 'Interactive ''goals'' in Prolog are entered by the user following the '?- ' prompt. Many Prologs have command-line help information. SWI Prolog has extensive help information...')
• 10h57min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/10/en (Criou página com 'A startup message or banner may appear, and that will soon be followed by a goal prompt looking similar to the following')
• 10h57min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/9/en (Criou página com 'Under Windows, SWI-Prolog installs a start icon that can be double-clicked to initiate the interpreter. The interpreter then starts in its own command window.')
• 10h56min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/8/en (Criou página com '{We ''never'' type that last line: we employ Unix ''source'' files to start SWI-Prolog using additional command line arguments and/or switches for special purposes. The reader...')
• 10h56min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/6/en (Criou página com 'To start an interactive SWI-Prolog session under Unix, open a terminal window and type the approprite command (indicated in the installation instructions). For example, on our...')
• 10h55min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/5/en (Criou página com 'The examples in this tutorial use a simplified form of interaction with a typical Prolog interpreter. The sample programs should execute similarly on any system using an Edinb...')
• 10h55min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/3/en (Criou página com 'SWI-Prolog's website has lots of information about SWI-Prolog, a download area, and documentation. The upkeep for SWI-Prolog is excellent. The link ...')
• 10h55min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/2/en (Criou página com 'Other important prolog systems (Borland, XSB, LPA, Minerva ...) have been used for development and testing over the past 25 years. A new section of this tutorial is planned to...')
• 10h55min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/1/en (Criou página com 'The examples in this Prolog Tutorial were developed using either Quintus Prolog running on Digital Equipment Corporation MicroVAXes (ancient history) or using SWI Prolog on ei...')
• 10h54min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Como executar o Prolog/en (Criou página com 'How to Run Prolog')
• 10h54min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Como executar o Prolog/Page display title/en (Criou página com 'How to Run Prolog')
• 10h53min de 28 de dezembro de 2020 Abaffa discussão contribs marcou Como executar o Prolog para tradução
• 09h43min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/1/en (Criou página com '__FORCETOC__ This material was originally published by professor [https://www.cpp.edu/~jrfisher/ Dr. John R. Fisher, Ph.D.], professor emeritus at [https : //www.cpp.edu/ Cali...')
• 09h41min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/2/en (Criou página com 'See the table of contents for details.')
• 09h40min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/Page display title/en (Criou página com 'Prolog Tutorial')
• 09h39min de 28 de dezembro de 2020 Abaffa discussão contribs marcou Prolog Tutorial para tradução
• 09h38min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/27/en (Criou página com 'Prolog is a logical and a declarative programming language. The name itself, Prolog, is short for PROgramming in LOGic. Prolog's heritage includes the research on theorem prov...')
• 09h33min de 28 de dezembro de 2020 Abaffa discussão contribs marcou Prolog Tutorial para tradução
• 09h27min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/18/en (Criou página com 'For fuller treatments of Prolog the student is advised to see the textbooks by ''Clocksin e Mellish (1981,1992)''<ref name="clocksin_mellish">Clocksin, W.F., and Mellish, C.S....')
• 09h25min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/17/en (Criou página com 'Earlier versions of portions of this tutorial date back to 1988. The introductory material was originally used to help explain a Prolog interpreter developed by the author (no...')
• 09h25min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/16/en (Criou página com '== Final Author's Notes ==')
• 09h25min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/15/en (Criou página com '* Chapter 8 shows how to implement varios prolog prototypes. A new section (§8.4) develops an in...')
• 09h24min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/14/en (Criou página com '* Chapter 7 gives an introduction to Prolog's built-in grammar parser generator, and a brief overview of how Prolog c...')
• 09h24min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/13/en (Criou página com '* Chapter 6 presents a unique and extensive presentation of a logic meta-interpreter for normal logical rulebases. {Note 9/4/2006:...')
• 09h23min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/12/en (Criou página com '* Chapter 5 gives an outline for developing A* search programs in prolog. Section 5.3 has an αβ search program for the gam...')
• 09h23min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/11/en (Criou página com '* Chapter 4 gives an outlined view of the major built-in predicates of Prolog, many of which are exemplified in Chapter 2.')
• 09h23min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/10/en (Criou página com '* Chapter 3 explains the operation of the underlying inference engine of Prolog. Chapter 3...')
• 09h22min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/9/en (Criou página com '* Chapter 2 explains Prolog syntax and many essentials of Prolog programming through the use of carefully chosen sample...')
• 09h22min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/8/en (Criou página com '* Chapter 1 explains the Prolog programming environment for the beginner.')
• 09h21min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/7/en (Criou página com 'For a complete view of all content, see the table of contents.')
• 09h21min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/6/en (Criou página com '== Chapters ==')
• 09h21min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/5/en (Criou página com 'This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog p...')
• 09h20min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/4/en (Criou página com 'Prolog is the major example of a fourth generation programming language supporting the declarative programming paradigm. The Japanese Fifth-Generation Computer Project, announ...')
• 09h17min de 28 de dezembro de 2020 Abaffa discussão contribs criou a página Translations:Prolog Tutorial/3/en (Criou página com '== Introduction ==')

(Mais novas | Mais antigas) Ver (50 posteriores | 50 anteriores) (20 | 50 | 100 | 250 | 500)