Difference between revisions of "Language Reference"
From wiki.visual-prolog.com
m (1 revision(s)) |
|||
| (15 intermediate revisions by 3 users not shown) | |||
| Line 5: | Line 5: | ||
Visual Prolog is a strongly typed object oriented programming language based on the logical programming language Prolog. | 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'' | A Visual Prolog program consists of a ''goal'' and a number of: | ||
* | * {{lang|Interfaces|Interfaces}} | ||
* | * {{lang|Classes|Class declarations}} and | ||
* | * {{lang|Implementations|Class implementations}} | ||
Which contain declarations and definitions of Prolog entities: | Which contain declarations and definitions of Prolog entities: | ||
* | * {{lang|Domains|Domains}} | ||
* | * {{lang|Constants|Constants}} | ||
* | * {{lang|Predicates|Predicates}} | ||
* | * {{lang|Properties|Properties}} | ||
* | * {{lang|Facts|Fact databases}} | ||
The "actual" code of a Visual Prolog | The "actual" code of a Visual Prolog is the {{lang|Clauses|clauses}}, which are located in {{lang|Implementations|class implementations}} and which implements {{lang|Predicates|predicates}}. | ||
{{ifLRBook|inBook=|notInBook= | |||
=== Language Reference in other Languages === | |||
[[Language Reference in Chinese]] | |||
}} | |||
Latest revision as of 14:04, 10 March 2013
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 is the clauses, which are located in class implementations and which implements predicates.