Language Reference

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:


 * Interfaces
 * Class declarations and
 * Class implementations

Which contain declarations and definitions of Prolog entities:


 * Domains
 * Constants
 * Predicates
 * Properties
 * Fact databases

The "actual" code of a Visual Prolog is the clauses, which are located in class implementations and which implements predicates. {{ifLRBook|inBook=|notInBook=

Language Reference in other Languages
Language Reference in Chinese }}