Difference between revisions of "Language Reference"

From wiki.visual-prolog.com

m (1 revision(s))
m (link using template)
Line 7: Line 7:
A Visual Prolog program consists of a ''goal'', and a number of:
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:
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}}.

Revision as of 22:50, 14 October 2008

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.