Computer manuals. Free downloads.
Astalaweb.com

Astalaweb.com  Home |  Menu 1  |  Menu 2  Last manuals |  In Spanish  |   
119 users connected   1989 documents and tutorials

Menu

M Menu 2
L Last manuals
A Astalaweb

Free Computer Manuals

Free manuals-2

91-42

Free manuals 3-4

74-95

Free manuals 5-6-7

42-30-19

Microsoft Office

Access-2

7-3

Access 3-4

20-20

Access 5-6-7

20-20-9

Excel-2-3

13 -13 -11

Excel 4-5-6

20 -20 -20

Excel 7-8-9

20 -20 -21

Office

0

Outlook-2

9-8

PowerPoint-2

10-9

Word-2

7-9

Ads

Operating Systems

Mac OS Apple 7
Linux-Unix-2

20-17

Linux-Unix 3-4

15-14

MS-DOS

15

Windows-2-3 17-19-6
Other S.O

0

Programming languages

Assembly-2

12-10

Cobol-2

11-11

Cobol 3-4

20-2

C/C++-2

10-10

C/C++ 3-4

10-6

C++/C#/Objective C

20

C++/C#/Objective C 2-3

20-5

Delphi-2

10-8

Fortran

17

Pascal-2

11-9

Visual Basic-2

12-10

Visual Basic 3-4

20-3

Visual Basic NET-2

11-11

Programming languages II

Ajax-2

8-9

Lisp-2

10 - 10

Lisp 3

10

Matlab-2

10 - 10

Prolog-2

8-8

Python-2

9-7

Python 3

7

Rexx -2

10-9

Rexx 3

8

UML-2

8-8

Internet programming

ASP

14

ASP.net

14

ASP.net 2-3-4

20-20-8

CSS-2

15-6

CSS 3-4 -5

20-20-16

Html

13

Html 2-3

20-6

Java-2

7-4

Javascript-2

14-12

Javascript 3

8

Perl

9

PHP - 2

10-9

Ruby On Rails-2

10-10

Ruby On Rails 3

3

VbScript

16

XML-2

10-15

Social Network

Facebook

14

Facebook 2-3

20-19

Twitter-2

6-20

Twitter 3-4-5

20-20-21

 
     
     
     

Prolog manuals. Programming languages.

Definition of Prolog

Short for Programming Logic, Prolog is a high-level programming language based on formal logic. Unlike traditional programming languages that are based on performing sequences of commands, Prolog is based on defining and then solving logical formulas. Prolog is sometimes called a declarative language or a rule-based language because its programs consist of a list of facts and rules. Prolog is used widely for artificial intelligence applications, particularly expert systems.
 

Legends

  xxxKb = Size of downloadable file in Kb  || - Manual on Internet (no downloadable)
- Htm Format |  - Microsoft Word (.doc) | - Acrobat PDF (.pdf)  | - Rich Format Text (.rtf) |  | - Unformatted text (.txt)
  - Power Point (..ppt, pps) | - Help (.chm)  |  - Installer (.exe)

Manual Description Online Format File

    


SWI-Prolog 5.4.1 "SWI-Prolog started life in 1986, it stresses connectivity to the C-language, few system limits, comprehensive memory management, modules, multi-threading, coroutining, constraints and a fast and interactive development environment. Portable libraries for graphics, databases, networking, web-services, XML, RDF and many more complete the system. SWI-Prolog is compliant to part one of ISO standard Prolog. In addition it provides functionality compatible to Quintus, SICStus, LPA, Ciao and many more. "
 
 
SWI-Prolog 5.10.5 Same as above but another version.
 
 
Prolog for Software Engineering The Prolog programming language offers several opportunities to tackle the fundamental problems of software engineering. By properly exploiting certain characteristics of Prolog, we can improve the clarity, robustness, and reliability of programs as well as improving communication between programmers.
But clear, reliable, and maintainable programs do not write themselves, even in Prolog. Therefore, this tutorial will focus on systematic development of small Prolog programs, the role of specifications, how to build interfaces to other languages and systems, standardized programming techniques and styles, approaches to performance measurement to increase efficiency, how to effectively rewrite for efficiency, and how to produce documentation in a literate programming style. Finally, there will be a description of a performance monitor and a tool for handling formal languages in Prolog.

 
 
Prolog. A tutorial introduction / Local Download 40 pages. PDF
 
 
Sicstus Prolog User's manual "This manual describes a Prolog system developed at the Swedish Institute of Computer Science. Parts of the system were developed by the project "Industrialization of SICStus Prolog". The system consists of a WAM emulator written in C, a library and runtime system written in C and Prolog and an interpreter and a compiler written in Prolog. The Prolog engine is a Warren Abstract Machine (WAM) emulator [Warren 83]. Two modes of compilation are available: in-core i.e. incremental, and file-to-file."
 
 
Sicstus Prolog User's manual Similar to the above.
 
 
Introduction to Prolog Introduction to Prolog.

Simple Facts (Exercise 1, Exercise 2)   Facts with Arguments
Variables and Unification (Exercise 3)    Rules (Exercise 4, Exercise 5)
Search (Exercise 6, Exercise 7)  Recursion (Exercise 8)  Lists (Exercise 9)

 
 
Prolog Tutorial Prolog, which stands for PROgramming in LOGic, is the most widely available language in the logic programming paradigm. Logic and therefore Prolog is based the mathematical notions of relations and logical inference. Prolog is a declarative language meaning that rather than describing how to compute a solution, a program consists of a data base of facts and logical relationships (rules) which describe the relationships which hold for the given application. Rather then running a program to obtain a solution, the user asks a question. When asked a question, the run time system searches through the data base of facts and rules to determine (by logical deduction) the answer.

 
 
 

Home

         
 

Manuals.astalaweb.net © 2005
Gabriel Chova Blasco  - All rights reserved