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.

Visual Prolog 7.2 Language Reference in other Languages

Visual Prolog 7.2 Language Reference in Chinese (PDF file)