Difference between revisions of "Language Reference"

Revision as of 22:50, 14 October 2008

Language Reference
Basic Concepts Lexical Elements Compilation Units Interfaces Classes Implementations Objects and Polymorphism Generic Interfaces and Classes Bounded polymorphism Monitors Namespaces Program Sections Domains Constants Predicates Suspending Predicates Properties Facts Clauses Terms Conversion Exception Handling Built-in entities Directives Attributes

This document describes the syntax and semantics of the Visual Prolog programming language.

Visual Prolog is a strongly typed object oriented programming language based on the logical programming language Prolog.

A Visual Prolog program consists of a goal, and a number of:

Which contain declarations and definitions of Prolog entities:

The "actual" code of a Visual Prolog are the clauses, which are located in class implementations and which implements predicates.

@@ Line 7: / Line 7: @@
 A Visual Prolog program consists of a ''goal'', and a number of:
-* [[Language Reference/Interfaces|Interfaces]]
+* {{lang|Interfaces|Interfaces}}
-* [[Language Reference/Classes|Class declarations]] and
+* {{lang|Classes|Class declarations}} and
-* [[Language Reference/Implementations|Class implementations]]
+* {{lang|Implementations|Class implementations}}
 Which contain declarations and definitions of Prolog entities:
-* [[Language Reference/Domains|Domains]]
+* {{lang|Domains|Domains}}
-* [[Language Reference/Constants|Constants]]
+* {{lang|Constants|Constants}}
-* [[Language Reference/Predicates|Predicates]]
+* {{lang|Predicates|Predicates}}
-* [[Language Reference/Properties|Properties]]
+* {{lang|Properties|Properties}}
-* [[Language Reference/Facts|Fact databases]]
+* {{lang|Facts|Fact databases}}
-The "actual" code of a Visual Prolog are the [[Language Reference/Clauses|clauses]], which are located in [[Language Reference/Implementations|class implementations]] and which implements [[Language Reference/Predicates|predicates]].
+The "actual" code of a Visual Prolog are the {{lang|Clauses|clauses}}, which are located in {{lang|Implementations|class implementations}} and which implements {{lang|Predicates|predicates}}.