Computer manuals. Free downloads.
Astalaweb.com

Astalaweb.com  Home |  Menu 1  |  Menu 2  Last manuals |  In Spanish  |   
3 users connected   1537 resources collected

Menu

M Menu 2
L Last manuals
A Articles
A Astalaweb

Free Manuals

Free manuals - 2

60 - 60

Free manuals 3 - 4

60 - 60

Free manuals 5 - 6

60 - 60

Microsoft Office

Access - 2

11 - 8

Access - 3 - 4

20 - 20

Access - 5 - 6 - 7

20 - 20 - 9

Excel - 2 - 3

12 -13 -11

Excel 4 - 5 - 6

20 -20 -20

Excel 7 - 8 - 9

20 -20 -21

Office

0

Outlook

11

PowerPoint - 2

10 - 10

Word - 2

7 - 9

Operating Systems

Mac OS Apple 3
Linux - Unix - 2

17 - 17

Linux - Unix 3 - 4

13 - 17

MS - DOS

15

Windows - 2 - 3New 17 - 21 - 8
Other S.O

0

Programming languages

Assembly - 2

8 - 10

Cobol - 2

10 - 6

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

10

Pascal - 2

11 - 9

Visual Basic - 2

12 - 10

Visual Basic NET - 2

11 - 11

Programming languages II

Ajax - 2Upd

10 - 9

Matlab

14

Prolog - 2

6

Python - 2

8 - 8

Python 3

6

UML - 2

11 - 8

Internet programming

ASP

19

ASP.net

19

ASP.net 2 - 3 - 4

20 - 20 - 8

CSS  - 2

15 - 6

CSS 3 - 4  - 5

20 - 20 - 16

Html

14

Html 2 - 3

20 - 6

Java - 2

10 - 6

Javascript - 2

14 - 12

Perl

18

PHP - 2

10 - 9

VbScriptUpd

16

XML - 2

10 - 15

Social Network

Facebook

14

Facebook 2 - 3

20 - 19

Twitter

6

 
M Menu 2
L Last manuals
A Articles
A Astalaweb

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 Ads / Size



SWI-Prolog All versions "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. "
Wikipedia Prolog Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended as primarily a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.
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
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.

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)
 

Home

         
 

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