Turotial de visual prlog

Visual Prolog Version 5.x

Language Tutorial

(c) Copyright 1986-2001 Prolog Development Center A/S H.J. Holst Vej 3-5C, DK - 2605 Broendby, Copenhagen Denmark

Copyright
The documentation for this software is copyrighted, and all rights are reserved. It may not be reproduced, transmitted, stored in a retrieval system, or translated, either by electronic, mechanical or any other means,without the prior written consent of Prolog Development Center A/S. The software products described in these manuals are also copyrighted, and are licensed to the End User only for use in accordance with the End User License Agreement, which is printed on the diskette packaging. The prospective user should read this agreement carefully prior to use of the software. Visual Prolog is a registeredtrademark of Prolog Development Center A/S. Other brand and product names are trademarks or registered trademarks of their respective holders.

Table of Contents
Part 1 Introduction to Visual Prolog
Chapter 1, Using Visual Prolog's Visual Development Environment What Needs to be Installed for This Book? ....................................................... 6 Starting the Visual Prolog's VisualDevelopment Environment ........................ 7 Creating the TestGoal Project for Running the Examples ................................. 8 Opening an Editor Window ............................................................................. 11 Running and Testing a Program....................................................................... 11 Testing Language Tutorial Examples.............................................................. 12 Testing Examples in Test Goal .................................................................... 13 Remarks About Properties of the Test Goal Utility............................ 13 Testing Examples as Standalone Executables.............................................. 14 HandlingErrors................................................................................................ 15

Part 2 Tutorial Chapters 2 – 11: Learning Visual Prolog
Chapter 2, Prolog Fundamentals PROgramming in LOGic ................................................................................. 18 Sentences: Facts and Rules .......................................................................... 19 Facts: What Is Known........................................................................ 19 Rules: What You Can Infer from Given Facts ................................... 20 Queries ......................................................................................................... 21 Putting Facts, Rules, and Queries Together........................................ 22 Variables: GeneralSentences....................................................................... 24 Overview...................................................................................................... 25 Exercises............................................................................................. 26 From Natural Language to Prolog Programs ................................................... 26 Clauses (Facts and Rules)............................................................................ 26 More About Facts ............................................................................... 26 More About Rules .............................................................................. 27 Predicates (Relations) .................................................................................. 30 Variables (General Clauses)........................................................................ 31 How Variables Get Their Values........................................................ 32 Anonymous Variables ........................................................................ 33 Goals (Queries) ............................................................................................ 35 Compound Goals: Conjunctions and...